recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	The Monad.Reader Dijkstra jr by Victor Eijkhout theorem industry redux by el-vadimo Reply by Jeremy Haha by Matt Hellige Sneaky by Anton van Straaten Hmm... by Matt Hellige Implementable parameterized monads by Jeremy Parameterized Monads in Haskell by nicoduca After all that... by Paul Snively death by a thousand Dedekind cuts by el-vadimo ...	Wouter Swierstra	2012-04-11 12:54
Forum topic	iPod-compatible SICP Off-topic and/or spam. by Ehud Lamm iPod soft by silverman videos mislabelled? by pnkfelix IT Conversations by Luke Gorrie gems by mq_mattr Which gems? by shapr this stuff is great by mq_mattr	xamdam	2008-04-29 08:01
Forum topic	Cicada language -- a new dependently typed language	xieyuheng	2021-12-21 20:14
Forum topic	Using JavaScript-like syntax to program with Interaction Nets	xieyuheng	2023-09-24 02:50
Forum topic	cicada-nymph -- a forth-like language for to teach cicada-nymph is different from cicada-language by xieyuheng Joy is a more powerful by Josh Scholar	xieyuheng	2015-03-14 09:13
Forum topic	A case study of concatenative v.s. applicative syntax design Also true for postfix by shap That's all about the delimiters. by Ray Dillinger How about prefix notation? by Ivan V. without knowing all word arities, you can't read postfix code by James McCartney without knowing all word arities, you can't read postfix code by James McCartney	xieyuheng	2023-11-12 01:11
Forum topic	Co-continuations: a dual to shift/reset? Comonadic state by Charles Stewart	xkapastel	2018-10-08 14:34
Forum topic	BF Bignum: A Program Synthesis Game I guess I have to choose [c] by xkapastel Rule 4 is too vague by Michiel Helvensteijn	xkapastel	2018-08-13 13:12
Forum topic	Are "jets" a good idea? Same idea without jets by peterseymour Can give wildly varying results without feedback by James Hague This Resonates by Brandon Bloom Behavioral OBJ by dmbarbour type classes by skaller Simpler approach by dmbarbour Just want fundamental types by xkapastel Ah. by dmbarbour Examples of malicious blocks? by xkapastel Testing isn't proof. by dmbarbour ...	xkapastel	2018-03-16 14:28
Forum topic	XQuery transition to functional programming language complete ?	xquery	2013-11-16 08:18
first page previous page next page last page