Lambda the Ultimate

• Active forum discussions.
• Login to post a new forum topic.

	Topic	Replies	Created	Last reply
	"We Really Don't Know How to Compute!" by Gerald Sussman	178	14 years 13 weeks ago by puredanger	14 years 9 weeks ago by Sean McDirmid
	Explaining monads	174	21 years 28 weeks ago by Ehud Lamm	16 years 51 weeks ago by Philippa Cowderoy
	Why do they program in C++?	163	20 years 40 weeks ago by David Waern	18 years 48 weeks ago by Zombywuf
	A refutation of Gödel's first incompleteness theorem	161	8 years 40 weeks ago by Enrique Perez Arnaud	8 years 34 weeks ago by Enrique Perez Arnaud
	Why are objects so unintuitive?	159	16 years 41 weeks ago by Lee Chou	15 years 9 weeks ago by marco
	Closures for Java or money back	159	19 years 23 weeks ago by el-vadimo	19 years 18 weeks ago by Dave Griffith
	Bob Harper of CMU is blogging about programming languages and introductory CS education	156	14 years 44 weeks ago by vrijz	13 years 30 weeks ago by Cyril
	Are Monads a Waste of Time?	154	7 years 48 weeks ago by Keean Schupke	7 years 45 weeks ago by John Shutt
	Long rant on Erlang-style Actors: Lost Dimension	153	13 years 48 weeks ago by const	13 years 44 weeks ago by const
	How can languages help us in terms of achieving correct program design?	153	11 years 3 weeks ago by bryanedds	10 years 51 weeks ago by Paul Snively
	iPhone PL lockdown	152	15 years 41 weeks ago by Sean McDirmid	14 years 4 weeks ago by skaller
	Most Productive FP Lang?	149	20 years 19 weeks ago by David B. Held	20 years 17 weeks ago by Brandon J Van Every
	Non-determinism: a sublanguage rather than a monad	148	8 years 18 weeks ago by Greg Buchholz	8 years 12 weeks ago by Keean Schupke
	Thoughts about the Best Introductory Language	148	18 years 41 weeks ago by shlomif	18 years 38 weeks ago by Derek Elkins
	Limitations of Prolog-style clausal programs	147	12 years 7 weeks ago by Hewitt	11 years 49 weeks ago by Rys McCusker
	1ML — Core and modules united	147	10 years 45 weeks ago by Tom Primožič	10 years 11 weeks ago by Keean Schupke
	"Prep" in programming languages	145	10 years 26 weeks ago by Hewitt	10 years 26 weeks ago by Ross Angle
	Have tracing JIT compilers won?	145	15 years 46 weeks ago by Peter Michaux	10 years 34 weeks ago by Sean McDirmid
	First-class environments. Discuss. ;)	142	15 years 44 weeks ago by Manuel J. Simoni	15 years 9 weeks ago by el-vadimo
	On the Importance of Purity	142	18 years 13 weeks ago by naasking	18 years 8 weeks ago by Peter Russell
	Most powerful terminating semantics?	142	16 years 30 weeks ago by dataangel	16 years 27 weeks ago by dmbarbour
	On the (Alleged) Value of Proof for Assurance	136	15 years 45 weeks ago by shap	9 years 8 weeks ago by NickP
	The barrier to take-up of language innovation	135	15 years 15 weeks ago by ad1mt	15 years 11 weeks ago by marco
	Rank-0 Intersection Type System	132	11 years 37 weeks ago by Keean Schupke	11 years 32 weeks ago by Keean Schupke
	Abstraction Tiers of Notations	132	6 years 51 weeks ago by const	4 years 42 weeks ago by const
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