Lambda the Ultimate

type	title	author	last post
Story	Turnstile+: Dependent Type Systems as Macros You are correct (I think) by scottmcl Error is fine. Hubris is not fine. TRYING is mandatory :) by scottmcl Four Noble Truths? Another formalism. by scottmcl They they should NOT be programmers. by scottmcl	Charles Stewart	2021-08-17 17:18
Forum topic	Why is there no widely accepted progress for 50 years? Brilliant! Love it. by scottmcl Exactly! With a few purpose-driven constraints by scottmcl Conjecture: A Language Stack? by scottmcl Maybe Device Drivers? by scottmcl Exactly - The Bus Test by scottmcl	Milton Silva	2021-06-09 23:27
Forum topic	Reactive Programming Essential Reading on FRP? by scottmcl	J Storrs Hall	2014-08-06 03:32
Forum topic	Seeking thoughtful criticisms of functional programming and languages Boy, am I totally in the dark by scottmcl Odd comment on Bling's home page by scottmcl C++ is the best C we've got... by scottmcl What about the CLR and Scala 2.8? by scottmcl Exactly! by scottmcl Thank you! by scottmcl Transitioning, Learning, etc. by scottmcl Ah men, brother by scottmcl Not so sure about programmer (in)capabilities by scottmcl Is it such a weakness? by scottmcl ...	scottmcl	2013-03-31 00:40
Forum topic	What will programming look like in 2020? A few comments and predictions by scottmcl	Sean McDirmid	2013-03-01 03:45
Forum topic	Google's Dart announced Because most programming is by scottmcl	vieiro	2012-12-30 17:29
Forum topic	Supporting a spectrum from whole program to separate compilation to aid in efficient program generation	scottmcl	2012-12-25 21:32
Forum topic	Simple Question (I hope...): Forward declarations vs. "letrec" style or ML "and" style constructs What about member function defs (type class defs, etc.)??? by scottmcl	scottmcl	2012-12-02 19:19
Forum topic	Ela, dynamic functional language Looks very nice. Pleasantly by scottmcl	vorov2	2012-07-04 14:56
Forum topic	Bob Harper of CMU is blogging about programming languages and introductory CS education This is on target. The later by scottmcl This is a mere matter of by scottmcl "An object is quite by scottmcl Thanks! His musings on the by scottmcl	vrijz	2012-06-30 00:11
Forum topic	Brief Question on extension to ANF IR Whoops, a little mistake by scottmcl	scottmcl	2012-03-26 11:56
Forum topic	Go's proposed panic/recover exception-like mechanism My beef with exceptions.... by scottmcl	pgregory	2012-01-07 01:57
Forum topic	iPhone PL lockdown Don't despair too much by scottmcl Apple has a clear out on this issue by scottmcl "Originally Written" ? by scottmcl	Sean McDirmid	2011-12-24 05:49
Forum topic	John McCarthy has passed Very well said. by scottmcl	Thomas Lord	2011-12-11 10:31
Story	A bit of Scheming I don't really think (quote by scottmcl	Ehud Lamm	2011-12-01 13:44
Forum topic	"We Really Don't Know How to Compute!" by Gerald Sussman Maybe something like the old by scottmcl Sorry, I didn't mean to by scottmcl No, evolution is completely by scottmcl People erroneously believe by scottmcl	puredanger	2011-11-19 23:37
Forum topic	"Crutches in language design", accidental complexity and feature overlap Excellent counter by scottmcl	gasche	2011-11-07 11:46
Story	What needs to be done? I have no numbers at my fingertips by scottmcl I agree strongly. by scottmcl What Needs to Be Done is Mostly Boring by scottmcl	Ehud Lamm	2011-11-07 05:29
Story	Opa Agreed. by scottmcl	Ehud Lamm	2011-10-28 01:42
Forum topic	Simple Question - Beta reduction and pattern matching (compile time, static) Thanks, I'll look at the SPJ by scottmcl Thanks for the reference. by scottmcl	scottmcl	2011-10-12 13:47
Forum topic	F# type providers First impressions by scottmcl	Gabriel Horvath	2011-10-12 08:43
Forum topic	How to classify type of ML's exn ? (Naive question) Ah yes, roger that. by scottmcl So in a language with a by scottmcl	scottmcl	2011-09-19 08:06
Forum topic	Developer Phenomenology vs. Artifact Attributes in Language Design	scottmcl	2011-07-25 08:22
Forum topic	Middle History of Logic Programming PLT Newbie's Query by scottmcl	Hewitt	2011-06-28 02:49
Forum topic	modules are anti-modular Ha! IIRC, I asked about this by scottmcl	el-vadimo	2011-06-27 17:31
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