Lambda the Ultimate

type	title	author	last post
Forum topic	PuzzleScript Nice Teaching Device by marco	Tess Foley	2014-02-01 15:29
Forum topic	Print release of a textbook on the Coq proof assistant Watch the story telling by marco	Adam Chlipala	2014-01-15 13:50
Forum topic	Different approaches to letting a programmer define interface implementations. I would have loved to have avoided the Open discussion by marco Ah. Success and Goodbye. by marco Pattern matching on Types instead of values. by marco Turing Tarpit, again. by marco No I am not by marco Try it by marco Row polymorphism doesn't perform often by marco Closed vs Open by marco RTFM by marco Breaks too many invariants by marco ...	Kannan Goundan	2014-01-15 04:00
Story	The Genuine Sieve of Eratosthenes Guess so by marco Hehe by marco How silly of me by marco I might be stupid by marco I think the sequence by marco O(n)? Another argument? by marco Great analysis by marco Someone ... by marco Maybe by marco In one word... by marco	Ehud Lamm	2013-10-26 21:32
Story	Why Did M.I.T. Switch from Scheme to Python? To come back to your question by marco Ah by marco Mindset by marco German by marco	Leon P Smith	2013-09-12 17:06
Forum topic	SF-calculus Right by marco I know that.. by marco Someone should come up with a better term by marco Practical Application by marco Quelle Bordelle by marco Yeah by marco Nice by marco Still don't see it by marco I don't get all these arguments by marco	Barry Jay	2013-08-30 18:42
Forum topic	Beyond FRP: physics-inspired programming abstractions? Baffles me too by marco I agree by marco A more concrete post? by marco Off-topic by marco	Sean McDirmid	2013-08-22 19:13
Story	The Three Laws of Programming Language Design Duct tape by marco It ain't broke, it just lacks duck tape by marco Monads remind me of duck tape by marco I don't like the third law. by marco	bashyal	2013-07-04 14:32
Story	On the history of the question of whether natural language is “illogical” Endorphins not logic by marco	Ehud Lamm	2013-06-06 15:18
Forum topic	Continuation calculus Neat by marco	bgeron	2013-06-05 23:00
Forum topic	Janus: A Time-Reversible Language Data provenance and scientific software by marco Yeah well. by marco Verification tools by marco Yeah it is. by marco Reverse diverges on many plain functions by marco	Sean McDirmid	2013-05-25 11:38
Forum topic	Seeking thoughtful criticisms of functional programming and languages Bull by marco Referential Transparancy by marco Weaving by marco Explicit by marco You missed the point entirely by marco Language or Programming by marco Logging by marco Obligatory Superfluous Comment by marco Why? by marco Possibly by marco ...	scottmcl	2013-03-31 00:40
Forum topic	A Proposal for Simplified, Modern Definitions of "Object" and "Object Oriented" Work-stealing by marco Of course you should invent by marco I never was big on patterns. by marco Well, you can't please by marco Do you think its possible by marco Not OO by marco What was wrong with the old definition? by marco	w7cook	2013-01-08 20:02
Forum topic	"Fortress Wrapping Up" HPCC is hard by marco I am not surprised... by marco	Alan Eliasen	2012-11-11 23:51
Forum topic	Aha! Programming Language Deal by marco Dude by marco I do care by marco I don't care by marco dmbarbour, I give up. You by marco You seem to believe that by marco It was the first which came to mind, BUT by marco As a programmer, you should by marco Not really by marco Just a hunch by marco ...	rmovchan	2012-10-19 03:50
Forum topic	P = NP question The recognizer would be an by marco Ah well. by marco Ah well. by marco Underspecified by marco - by marco Yawn... by marco How does that lead us to by marco There are regular languages by marco You say tomato by marco - by marco ...	Carter Cheng	2012-10-10 22:26
Forum topic	Other free theorems Interesting by marco It's a property you would by marco Another view by marco	Matt M	2012-10-05 12:00
Forum topic	Proposed extension to C - array size declarations The problems I see are by marco How are you going to type by marco	John Nagle	2012-09-30 04:27
Forum topic	Designing a languge — what theory is a must? Unfortunately... by marco	pgregory	2012-09-28 19:01
Forum topic	Learning math? Why don't you just ask? by marco	oconnor0	2012-09-27 07:12
Forum topic	Are scalars "just" degenerate matrices? The real problem is that to by marco Are there implementations which solved Unicode lexing? by marco Unicode Consortium should provide Lexers by marco " Characters are the by marco Yeah, it really has become by marco	Douglas McClean	2012-09-22 21:38
Story	Oleg: An argument against call/cc Hmpf, too grumpy by marco Never doubt the wisdom of by marco I guess I thought too complex. by marco Leaky abstraction... by marco You were clear. by marco 1. Isn't any form of lazy by marco I agree. It's what you can by marco	bashyal	2012-09-13 17:06
Forum topic	A stratified implementation of a LISP-to-CIL compiler Strange... by marco Retired by marco	bryanedds	2012-09-11 21:54
Forum topic	Enso: William Cook's new programming model Oh, that... by marco Quote by marco	Rafael	2012-08-29 17:46
Forum topic	Overloading by return type without types Lovely by marco Cool by marco Great by marco + by marco Did you get what he puts in his hookah? by marco	vorov2	2012-08-12 23:50
first page previous page next page last page

---

Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation