recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Dimensional Analysis in real world and Type Systems	sciomako	2013-05-19 22:59
Forum topic	what's a useful definition of equivalent functions? a riff on definitions by McCusker workable plan by McCusker Tangential, but interesting. by Ray Dillinger project sounds useful by McCusker Coinduction is an interesting new technique to me. by Ray Dillinger Mathematical functions. by Barry Watson Co-induction and Bisimilarity by Chris Warburton I mean useful equivalence for programming purposes. by Ray Dillinger clarification of terms? by McCusker True, all integers are also rational. by Ray Dillinger ...	Ray Dillinger	2013-05-19 21:34
Forum topic	TypeScript: Design-Time tool for Application-scale JavaScript development Tree shaking isn't quite a by naasking Just watched this today by Z-Bo The first LtU language I use in a commercial app! by Z-Bo Anders and Lars Bak Discuss... by Charles Torre Interesting by gasche JS code completion impl. implies widespread IDE support? by Krilnon I'll give you that they are by Krilnon Relevant by lmeyerov Google and ES6 by Andreas Rossberg Since large-scale JavaScript by dmbarbour ...	Charles Torre	2013-05-19 21:00
Forum topic	Typographical extensions for programming languages: breaking out of the ASCII straitjacket Set relations by Douglas McClean Emacs has it by Mattias Engdegård When I learn Chinese by Sean McDirmid Hmmm. It's slightly ambiguous from your link... by Ray Dillinger Menues for Unicode Characters by Hewitt I'd be interested mostly to by Douglas McClean there is an 'escapist' object. by Ray Dillinger Do you keep all the by Douglas McClean Making ascii aliases for many unicode chars. by Ray Dillinger rendering options by McCusker ...	Sean McDirmid	2013-05-19 20:56
Forum topic	Everybody Needs a Syntax Extension Sometimes Bug fixed by Countably Infinite Changing the economics by RobJellinghaus Epigrams on Programming, by neelk Where do these Alan Perlis by acn Felix system by skaller It is my strong preference by dmbarbour Obvious Risk by Countably Infinite Many logic programming and by dmbarbour One gets used to it by Countably Infinite I think I've understood by Barry Watson ...	danbst	2013-05-19 12:26
Forum topic	A reversible Javascript interpreter Cool, but can you by Sean McDirmid	Will Thimbleby	2013-05-19 10:42
Forum topic	MacroPy: Bringing Macros to Python. Quasiquotes, case classes, LINQ and more!	lihaoyi	2013-05-18 20:59
Forum topic	Virgil: a statically-typed language balancing functional and OO features * does language X lead to a by Andrew Moss i like it by raould ppig? by raould 'Empirical' implies certain things. by Ray Dillinger The empirical equivalent of by naasking It's a good question by Andreas Rossberg How should we evaluate by Jules Jacobs Empirical? by Andreas Rossberg Really? by Andrew Moss Empiricism for PL by Andreas Rossberg ...	Kartik Agaram	2013-05-16 19:11
Forum topic	getting feet wet re: Computational Thinking	raould	2013-05-16 18:25
Forum topic	Unordered pairs and their representation In practice, programs are by dmbarbour The crux by Douglas McClean That's fine. I thought that by Douglas McClean Pointers are in the same by dmbarbour I was vague there, sorry. by Douglas McClean Pointers as I meant them are by Douglas McClean Ordering Pointers by dmbarbour Question..... by Barry Watson Wrong words, but I think I am being consistent by Douglas McClean I would be interested if you by Chris Warburton ...	Douglas McClean	2013-05-16 16:11
next page last page