recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	type derivation for 'map map', yelp Algebraically speaking... by Sean Leather I agree. The OP is welcome by Ehud Lamm Maybe off-topic, but not inappropriate by Leon P Smith Map applies a function of by Jules Jacobs Not appropriate by Derek Elkins	numerodix	2008-08-22 20:07
Forum topic	How to learn about formal top-down approach to software architecture? Wow by Z-Bo Are you sure it's software architecture? by Andrew Moss A fun take on model-driven by lmeyerov Formal != top-down by Allan McInnes Somebody on Stack Overflow by Z-Bo	Obscure Hipster	2009-11-30 15:23
Forum topic	Orca chosen as default Syllable scripting language I fixed the orignal post. by Ehud Lamm a href="..." by dbfaken	obsidian	2006-05-23 15:39
Forum topic	Null, bottom, etc.? Nice. by Cyril It is not yet decided. But by hbrandl So you are saying one could by dmbarbour The ability to predict by Andreas Rossberg Of course it is dependent on by dmbarbour Of course it is by Andreas Rossberg the distinction between by dmbarbour Straw man by Andreas Rossberg What may have been part of by dmbarbour Your tracer is broken by Andreas Rossberg ...	oconnor0	2012-06-25 23:41
Forum topic	Learning math? notation by Anders Horn It's nothing terribly by Ray Dillinger notation by Anders Horn Another helpful suggestion by Scott Johnson and to mention an obvious point.... by Ray Dillinger This is a learning-style issue. by Ray Dillinger In that case, I just copy by Sean McDirmid I agree. I don't pronounce by Jason Grossman Why don't you just ask? by marco If so I suggest watching by Ehud Lamm ...	oconnor0	2012-09-27 07:12
Story	Seemingly impossible programs Actor Model Semantics by Hewitt Libel by Hewitt You can do a lot with by Sean McDirmid where's the libel? by dmbarbour On exactly which page of by dmbarbour Libels probably won't limit the future of Actors by Hewitt Proving theorems is a difficult and rigorous business by Hewitt Most ideas have one person by John Shutt Unicode is the future of programming languages by Hewitt Problem with form by gasche ...	Ohad Kammar	2015-04-18 02:15
Story	Simon Peyton Jones elected into the Royal Society Fellowship Well deserved by Matt M Congratulations by Jules Jacobs Very happy about this, for by Ehud Lamm Cheers to Satnam Singh... by Ohad Kammar	Ohad Kammar	2016-05-01 16:27
Story	Coq will be renamed Needs doing by davidb Very cool, by the way. by Thomas Lord	Ohad Kammar	2021-05-10 14:44
Forum topic	Of Course ML Has Monads! Interesting question by Mike Hicks Lightweight ML monads clarifications by Mike Hicks Can the same be done for comonads? by Jules Jacobs Two questions by gasche ML has monads implicitly by Mike Hicks ST monad is a type system: safe but limited by gasche "Benign Effects" by peteg ok by raould hear hear, and how by dmbarbour as a perpetually slow learner by raould ...	Ohad Kammar	2011-07-14 14:24
Forum topic	Elementary Category Theory Updated links by joel.neely so by jdgallag not even by jdgallag Category Theory for Dummies - slides available by xeo_at_thermopylae You're right by Walt Pohl Equalizers exactly express the property you want.... by neelk But what did equalizers add? by Ohad Kammar Look up "equalizers" by neelk Moot by Frank Atanassow Iso Blues by Marc Hamann ...	Ohad Kammar	2008-10-23 11:52
first page previous page next page last page