Lambda the Ultimate

type	title	author	last post
Story	Turnstile+: Dependent Type Systems as Macros You might have missed his point by cpurdy	Charles Stewart	2021-08-17 17:18
Forum topic	Why is there no widely accepted progress for 50 years? Well said, John, in many by cpurdy koolaid, oh yeah! by cpurdy A short reply by cpurdy Not being difficult by cpurdy a claim without substance by cpurdy Finally, a chance to use the word profundity by cpurdy Don't ask why until you answer whether by cpurdy	Milton Silva	2021-06-09 23:27
Forum topic	High level languages with optimal code generation Are there any languages that by cpurdy Not just "parity" by cpurdy	Milton Silva	2021-02-13 04:47
Forum topic	Loop and recursion Encapsulation by cpurdy General loops are generally by cpurdy	Mats	2021-01-21 21:50
Forum topic	Upward and downward polymorphism in object oriented languages. why oh why oh why by cpurdy	Ray Dillinger	2020-11-21 00:09
Forum topic	Use Cases for Shared-Memory Concurrency? implementation approach by cpurdy deep freeze by cpurdy	shap	2020-09-18 21:51
Forum topic	Is character as a type meaningless? Types are a PL construct, by cpurdy I suppose that "it depends" by cpurdy	Mats	2020-09-16 20:52
Forum topic	BNFT (Backus Naur Form Transformation) tool released Come back! by cpurdy	Poul Krogh	2020-09-11 19:42
Forum topic	Async/await vs coroutines? Bad assumption by cpurdy	Matthew OConnor	2020-09-10 16:33
Forum topic	The Way-Too-Early announce: Ecstasy Updates by cpurdy Article by cpurdy Interesting! by cpurdy what parts of the language by cpurdy	cpurdy	2019-11-11 13:37
Forum topic	Rope Amibitious by cpurdy	jocob_knight	2019-08-08 00:28
Story	The Left Hand of Equals The Quest for Equality by cpurdy Good points. I have no by cpurdy Sorry, analogies suck by cpurdy But the lens ... by cpurdy Some good points by cpurdy	naasking	2019-06-20 19:16
Forum topic	For a relational language, how treat KeyValues, Streams in relations with operators that add or remove "columns" It's a journey by cpurdy	mamcx	2019-06-08 16:17
Forum topic	Video on Unison/comparison to Haskell/Monads/distributed computing Well said. by cpurdy ambiguous by cpurdy Clarifying by cpurdy Not sure ... by cpurdy It's whatever you're used to by cpurdy	AntC	2019-02-25 23:25
Forum topic	Looking for papers on covariance and contravariance You have piqued my curiosity! by cpurdy Good papers by cpurdy	AaronNGray	2019-02-10 18:33
Story	The Little Typer Fairly steep learning curve by cpurdy Unfortunately ... by cpurdy	Anton van Straaten	2018-12-21 18:48
Story	On compositionality #if 0 by cpurdy pretty random claims by cpurdy what else? by cpurdy on modularity by cpurdy Nicely done by cpurdy Might not be that simple? by cpurdy Prolog operators by cpurdy	Charles Stewart	2018-10-23 17:45
Story	"C Is Not a Low-level Language" Bingo! by cpurdy	Allan McInnes	2018-08-02 15:16
Forum topic	C++ fun Pith lord by cpurdy	chrisoliver	2018-06-11 02:05
Forum topic	I have a problem with arguments passed as non-evaluated expressions Please, sir, I want some more? by cpurdy	artemonster	2018-06-01 10:46
Story	How to Write Seemingly Unhygienic and Referentially Opaque Macros with Syntax-rules Evolution by cpurdy Bingo by cpurdy	Andris Birkmanis	2018-05-21 07:37
Story	The Gentle Art of Levitation Turtles by cpurdy	Andris Birkmanis	2018-05-15 01:41
Forum topic	Are Monads a Waste of Time? Identity tends to work well in the real world by cpurdy	Keean Schupke	2018-03-16 00:59
Forum topic	Is there a functional language with explicit limits on the heap(s)? Measuring time by cpurdy Yes by cpurdy It wasn't clear from reading it ... by cpurdy Coincidence by cpurdy	Paulo Torrens	2018-03-13 11:45
Forum topic	Generics and Reverse Generics for Dynamic Languages Generic issue (no pun intended) by cpurdy +1 by cpurdy	Greg Buchholz	2018-03-06 18:06
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