Lambda the Ultimate

type	title	author	last post
Forum topic	Archaeological dig to find the first Lisp example of the Y-combinator Likely reference by John Shutt	filipallberg	2017-01-31 00:42
Story	Stroustrup's Rule and Layering Over Time Oh. by John Shutt Let's say by John Shutt A custom error combiner on by John Shutt explaining stuff by John Shutt Ideally, by John Shutt Deep understanding by John Shutt Word choice by John Shutt syntactic semantics by John Shutt Error messages on mud by John Shutt Rigid simplicity by John Shutt ...	Ehud Lamm	2017-01-04 21:43
Forum topic	Eliminating left recursion decent language by John Shutt That's not an ambiguity, it's a feature by John Shutt Priorities by John Shutt	skaller	2016-12-13 00:23
Forum topic	On the (Alleged) Value of Proof for Assurance Not even wrong? by John Shutt	shap	2016-11-24 01:04
Story	Philip Wadler: Category Theory for the Working Hacker error by John Shutt forest and trees by John Shutt The phrase "side effects" in by John Shutt I expect my best efforts by John Shutt Any type system by John Shutt side-effects by John Shutt He's just described the by John Shutt Turnstile by John Shutt	Ehud Lamm	2016-09-23 20:29
Forum topic	Term Rewrite System Implementations? I'm not sure of that by John Shutt Well, fwiw, by John Shutt They take a typed input and by John Shutt well, sort of by John Shutt Confluence by John Shutt Rewriting schemata as a language? by John Shutt That link isn't working. by John Shutt	Ivan V.	2016-09-18 00:10
Forum topic	Lecturing birds how to fly lecture styles by John Shutt I'm not sure "leader" by John Shutt Plato and Aristotle by John Shutt	Charles Stewart	2016-09-07 18:46
Forum topic	Programming Languages as Mathematical Representations state of mathematics by John Shutt applied by John Shutt thinking previously impossible thoughts by John Shutt o_O by John Shutt priorities by John Shutt Hmm by John Shutt problems by John Shutt human conversation by John Shutt programming intent by John Shutt	mfidelman	2016-09-03 23:25
Forum topic	Is there a language with the ability to write arbitrary type functions? Turing-powerful first-class types by John Shutt	davidb	2016-08-24 18:18
Forum topic	Microscript It's convenient to allocate by John Shutt	Ivan V.	2016-08-08 22:31
Forum topic	A language for blind uncomprehending idiots who have no idea how programs work. recessive genes by John Shutt Advanced organisms should be by John Shutt I favor higher-level views by John Shutt Well... by John Shutt Yeah, the gene-meme analogy by John Shutt And yet, memetics. by John Shutt The evolutionary approach to by John Shutt	Ray Dillinger	2016-08-08 13:51
Forum topic	how to design PL support for effects emerging from parallel non-determinism? Natural-language programming by John Shutt	Rys McCusker	2016-07-15 20:51
Forum topic	Theory of syntax extensions: does it exist? extensibility / IDE by John Shutt stasis by John Shutt My distrust of voting of by John Shutt crowdsourcing by John Shutt lol by John Shutt unsure by John Shutt Dangerous things should be by John Shutt Yes, it does seem curious by John Shutt Do you mean, what should the by John Shutt tuppence by John Shutt	johnwcowan	2016-05-30 10:47
Forum topic	STEPS Toward the Reinvention of Programming, 2012 Final Report From context, it looks to be by John Shutt Well, a PL without its by John Shutt Yes. by John Shutt How much is expressed by a by John Shutt Asymptotic by John Shutt	Greg Buchholz	2016-05-26 05:14
Forum topic	Was there a language with an explicit call stack? Hm by John Shutt abstract return addresses by John Shutt Values on the control stack are... by John Shutt	Alex Shpilkin	2016-05-13 11:57
Forum topic	PL's hotness challenge navigation-oriented structure? by John Shutt also true by John Shutt Accepted by John Shutt The grain of truth in what by John Shutt I conjecture there are by John Shutt sophonce by John Shutt Perhaps so. Although, by John Shutt Know thyself by John Shutt Those are some rather by John Shutt There's a long tradition of by John Shutt ...	Sean McDirmid	2016-05-10 06:04
Forum topic	Best successor to Scheme? yes by John Shutt Abnormal transfer of control by John Shutt I for one am fascinated by John Shutt fexprs + quote = bad hygiene by John Shutt translation emancipation by John Shutt Alas, not necessarily. by John Shutt The meaning of an encoded by John Shutt since the interpreter of by John Shutt e.g. by John Shutt It's the same block of code by John Shutt ...	raould	2016-05-03 06:31
Forum topic	Remora: An Array-Oriented Language with Static Rank Polymorphism Skynet by John Shutt not grokking in fullness by John Shutt Four-letter word by John Shutt	raould	2016-04-24 16:35
Forum topic	Binary Representation - Is it something to rise above? Kernel numbers? by John Shutt	Ray Dillinger	2016-04-24 02:14
Forum topic	Formalization and programming language design -- explained to all Presumably the problem isn't by John Shutt Ralph Waldo Emerson? by John Shutt	gasche	2016-04-01 05:40
Forum topic	Earl Grey; the story of a new programming language if then else endif by John Shutt parentheses by John Shutt Operator precedence and extensibility by John Shutt	Greg Buchholz	2016-03-31 23:37
Forum topic	Is the "Getting started"-guide up-to-date? Expressiveness by John Shutt	filipallberg	2016-03-29 06:03
Story	C is Manly, Python is for “n00bs”: How False Stereotypes Turn Into Technical “Truths” People also matter by John Shutt to boldly go by John Shutt Forward into the mud by John Shutt language modularity support by John Shutt verily by John Shutt sociopoliticoeconomics by John Shutt	Allan McInnes	2016-03-25 19:25
Forum topic	Logic Programming with Failure as an Exception Adding to the database by John Shutt Quoting, eww by John Shutt	Keean Schupke	2016-03-07 06:17
Forum topic	Whither actual generality/customizability/flexibility? miscue by John Shutt I suspect you're by John Shutt Basic research by John Shutt Open-closed by John Shutt	raould	2016-03-06 14:59
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