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