Lambda the Ultimate

type	title	author	last post
Forum topic	A New Kind of Type System Hmm, okay. by Ray Dillinger If you're the sort who'll go a mile for an acronym.... by Ray Dillinger I don't understand that. by Ray Dillinger	Sean McDirmid	2013-07-03 18:06
Forum topic	Library vs. domain specific language No syntax? by Ray Dillinger True. Is that a problem? by Ray Dillinger Well, yeah. We are. by Ray Dillinger Eh. I'd have said by Ray Dillinger Sigh. by Ray Dillinger	Gergely Buday	2013-06-28 15:39
Story	the gnu extension language Right... by Ray Dillinger Again, different goals. by Ray Dillinger Different goals, different needs. by Ray Dillinger In fact, I have. by Ray Dillinger One use of fexprs by Ray Dillinger I find it worthwhile to guard against this. by Ray Dillinger Extensions vs. libraries. by Ray Dillinger Among mainstream languages, by Ray Dillinger Don't mistake static type checking for usability. by Ray Dillinger	Manuel J. Simoni	2013-06-28 14:23
Forum topic	Define it twice -- preemptive bughunting or waste of time? Thank you! by Ray Dillinger Some paradigms promote similarity. by Ray Dillinger Okay, yeah, valid on functions not procedures. by Ray Dillinger	Ray Dillinger	2013-06-15 09:31
Forum topic	Teaching Garbage-Collection I do this in terms of work factors. by Ray Dillinger	shriramk	2013-06-13 16:51
Forum topic	A discussion from the trenches. Octal? Why? by Ray Dillinger synactic conveniences for common idioms by Ray Dillinger	Eric Biederman	2013-06-10 15:08
Story	On the history of the question of whether natural language is “illogical” Uh, yeah, that's clearly baloney. by Ray Dillinger	Ehud Lamm	2013-06-06 15:18
Forum topic	Nimrod: A new statically typed, compiled programming language which supports metaprogramming This is good work. by Ray Dillinger I think message passing is the only scalable model. by Ray Dillinger	dom96	2013-05-29 22:46
Forum topic	A reversible Javascript interpreter Not terribly difficult to build on top of existing debuggers. by Ray Dillinger	Will Thimbleby	2013-05-27 05:46
Forum topic	what's a useful definition of equivalent functions? Tangential, but interesting. by Ray Dillinger Coinduction is an interesting new technique to me. by Ray Dillinger I mean useful equivalence for programming purposes. by Ray Dillinger True, all integers are also rational. by Ray Dillinger	Ray Dillinger	2013-05-20 09:29
Story	Observational Equality, Now! Wow by Ray Dillinger	James Iry	2013-05-16 02:24
Forum topic	We're doing it wrong.... I was pointing out interesting rather than asking a question. by Ray Dillinger	Ray Dillinger	2013-05-15 19:34
Forum topic	texts & otherwise for bottom up teaching/learning I think computer science has not yet been fully formalized. by Ray Dillinger	mfidelman	2013-05-15 02:45
Forum topic	"Relational Model Outgrown" CACM May 2013 Huh. Well in that case.... by Ray Dillinger Can you unpack "updateable views?" by Ray Dillinger It's obvious since forever that shared-memory doesn't scale. by Ray Dillinger I think that it comes down to compilers. by Ray Dillinger	Hewitt	2013-05-10 01:56
Forum topic	The Unreasonable Effectiveness of C In C, non-leaking pointers FORCE leaking local vars. by Ray Dillinger C provides one highly useful non-leaking abstraction. by Ray Dillinger Previously on LtU: by Ray Dillinger	raould	2013-05-08 19:47
Forum topic	Nesting of quasi-quotation There are some hard cases of quasiquote. by Ray Dillinger	Jules Jacobs	2013-05-08 03:50
Forum topic	An interactive approach to teaching programming concepts Balancing can be done in many ways. by Ray Dillinger	Damian Gill	2013-04-29 12:22
Forum topic	Call-by-reference decided by caller I've been thinking about this because... by Ray Dillinger I say it's all right to require a trust declaration. by Ray Dillinger Can be a security issue. by Ray Dillinger	tkirchner	2013-04-27 23:23
Story	Dependent Types for JavaScript Already happens, for what it's worth. by Ray Dillinger By way of explanation... by Ray Dillinger No. Just ... No. by Ray Dillinger Sigh. Mea Culpa. by Ray Dillinger Sorry. I'm just getting impatient with this conversation. by Ray Dillinger Type theory can evidently use some inventions. by Ray Dillinger programs can be static even if the language isn't. by Ray Dillinger Constructively defining by Ray Dillinger Heh. Of course. In 1910, by Ray Dillinger What a relief. I was afraid it was something important. by Ray Dillinger ...	naasking	2013-04-18 10:44
Story	Rule 110 in HTML5 + CSS3 Hmm, there's a corollary in there. by Ray Dillinger	Z-Bo	2013-04-09 08:23
Forum topic	Best maintainable evaluation strategy? Yes, it is... by Ray Dillinger call-by-name by Ray Dillinger	tkirchner	2013-03-31 18:09
Forum topic	Type dispatch on continuations is isomorphic to type dispatch on calls. Why therefore is it considered "unsound?"	Ray Dillinger	2013-03-31 08:49
Forum topic	Seeking thoughtful criticisms of functional programming and languages a while ago, I wrote a brief on Scheme vs. Common Lisp. by Ray Dillinger Ordinary programmers are smart enough, with the right context. by Ray Dillinger	scottmcl	2013-03-31 00:40
Forum topic	general thread model motivations? undead continuations, continued... by Ray Dillinger Oh, alright, since you insist.... by Ray Dillinger You are correct... by Ray Dillinger Why stacks grow "upward" in my mind. by Ray Dillinger continuation as reified "return". by Ray Dillinger It's not so much that they never speak to one another... by Ray Dillinger Um, what? by Ray Dillinger It doesn't. by Ray Dillinger Well, that's exactly what this model strives to avoid. by Ray Dillinger agreed about callstacks.... by Ray Dillinger ...	Rys McCusker	2013-03-25 16:21
Forum topic	syntax and nesting: Lispy or Algol'ish? Well, okay... I guess I've reached a decision. by Ray Dillinger implications, a different way. by Ray Dillinger Um, no? by Ray Dillinger Oh ... lists are collections. by Ray Dillinger Right.... by Ray Dillinger Syntax... by Ray Dillinger Hmm. Now considering multi-arg dispatch methods.... by Ray Dillinger	Ray Dillinger	2013-03-15 18:02
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