cpurdy

typetitleauthorlast post sort icon
Forum topicWhy is there no widely accepted progress for 50 years? Milton Silva2020-05-17 00:25
StoryTurnstile+: Dependent Type Systems as Macros Charles Stewart2020-03-10 16:31
Forum topicThe Way-Too-Early announce: Ecstasy cpurdy2019-11-11 13:37
Forum topicAdvantages of pointfree? John Nowak2019-10-17 16:20
Forum topicRope jocob_knight2019-08-08 00:28
StoryThe Left Hand of Equals naasking2019-06-20 19:16
Forum topicFor a relational language, how treat KeyValues, Streams in relations with operators that add or remove "columns" mamcx2019-06-08 16:17
Forum topicVideo on Unison/comparison to Haskell/Monads/distributed computing AntC2019-02-25 23:25
Forum topicLooking for papers on covariance and contravariance AaronNGray2019-02-10 18:33
StoryThe Little Typer Anton van Straaten2018-12-21 18:48
StoryOn compositionality Charles Stewart2018-10-23 17:45
Story"C Is Not a Low-level Language" Allan McInnes2018-08-02 15:16
Forum topicC++ fun chrisoliver2018-06-11 02:05
Forum topicI have a problem with arguments passed as non-evaluated expressions artemonster2018-06-01 10:46
StoryHow to Write Seemingly Unhygienic and Referentially Opaque Macros with Syntax-rules Andris Birkmanis2018-05-21 07:37
StoryThe Gentle Art of Levitation Andris Birkmanis2018-05-15 01:41
Forum topicAre Monads a Waste of Time? Keean Schupke2018-03-16 00:59
Forum topicIs there a functional language with explicit limits on the heap(s)? Paulo Torrens2018-03-13 11:45
Forum topicGenerics and Reverse Generics for Dynamic Languages Greg Buchholz2018-03-06 18:06
Story"8th" - a gentle introduction to a modern Forth Allan McInnes2017-10-14 05:08
StoryHappy Birthday, dear Lambda: 17 is good edition Ehud Lamm2017-08-18 06:51
Forum topicnotes on a C-ish memory manager design Rys McCusker2017-03-27 16:24
StoryFully Abstract Compilation via Universal Embedding naasking2016-08-04 09:26