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