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