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