Lambda the Ultimate

type	title	author	last post
Forum topic	Typographical extensions for programming languages: breaking out of the ASCII straitjacket Bluetooth keyboard, cheap, fits in pocket. by Ray Dillinger and likewise, the up-arrow. by Ray Dillinger Oh heck, steal as many as you want. by Ray Dillinger Hmmm. It's slightly ambiguous from your link... by Ray Dillinger there is an 'escapist' object. by Ray Dillinger Making ascii aliases for many unicode chars. by Ray Dillinger I don't know what you mean. by Ray Dillinger sort of like color blind people by Ray Dillinger although I could probably whomp up a name mangler... by Ray Dillinger and that is the reason why I took freshman calc twice. by Ray Dillinger ...	Sean McDirmid	2013-07-28 00:17
Forum topic	mobile web apps are slow -- and GC is to blame I like reference counting because of its promtness. by Ray Dillinger	Christian Lindig	2013-07-18 22:05
Forum topic	Are first-class environments enough? Mutable, Immutable, and nonlocal bindings -- and sanity. by Ray Dillinger	Alex Shpilkin	2013-07-04 15:49
Story	The Three Laws of Programming Language Design Interesting! by Ray Dillinger Yea, that's about what it's like. by Ray Dillinger Subtyping is usually done in error. by Ray Dillinger Okay, go on... by Ray Dillinger Hmm, forgot to mention.... by Ray Dillinger A container monad is not-a-container. by Ray Dillinger Versioned data - win or lose, depending. by Ray Dillinger Um, yeah. I think I'll plead bias. by Ray Dillinger A monad is state represented as nested function calls. by Ray Dillinger	bashyal	2013-07-04 14:32
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
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