Lambda the Ultimate

type	title	author	last post
Forum topic	Why do we need modules at all? These are not molehills. by Ray Dillinger No. Just ... no. by Ray Dillinger The problem with a database is that you have to know which one. by Ray Dillinger It is harder to write a compiler that gives good error messages. by Ray Dillinger Well, yes the simple useless case is easy. by Ray Dillinger In some version of the by Ray Dillinger The namespace wasn't literal, but it's real. by Ray Dillinger Some unit tests are drop-in. by Ray Dillinger What about "one program does one job?" by Ray Dillinger Actually more like a 'decompiler.' by Ray Dillinger ...	Sean McDirmid	2014-12-06 15:20
Story	Facebook releases "Flow", a statically typed JavaScript variant I'm pretty pragmatic about the valid/invalid thing. by Ray Dillinger But Dialyzer never says a program is valid. by Ray Dillinger No, I think that's right. by Ray Dillinger	James Iry	2014-12-03 08:59
Forum topic	Code Completion for Generic Programming It's all about leaving tools the latitude to optimize. by Ray Dillinger Iterators support synthesis at the cost of analysis. by Ray Dillinger Right. They're the by Ray Dillinger I define partitioning in by Ray Dillinger Yes but that's too low-level for humans to be productive. by Ray Dillinger The problem is figuring out where the mistake is. by Ray Dillinger That's also my experience. by Ray Dillinger This completely does not by Ray Dillinger I have never seen a by Ray Dillinger Sorry. Missed it because I don't care about iterators. by Ray Dillinger ...	Keean Schupke	2014-11-24 17:37
Forum topic	Impact of static type systems on productivity of actual programmers: first experiment I've seen documented. It's a language property, not an implementation property. by Ray Dillinger Maybe we disagree on the meaning of the term? by Ray Dillinger static vs. dynamic typing are increasingly fuzzy categories. by Ray Dillinger Yes, it is a fair question. by Ray Dillinger	Ray Dillinger	2014-11-18 03:22
Forum topic	Whither Flow Analysis? Yes, I've done something similar. by Ray Dillinger	raould	2014-11-14 11:54
Forum topic	A duality between exceptions and states - Dumas, Duval, Fousse, Reynaud Huh. by Ray Dillinger	chrisoliver	2014-11-10 17:57
Forum topic	Opposing Hierarchies of Complexity Isn't that just a question of what analogy you use? by Ray Dillinger One thing that sometimes by Ray Dillinger Sure. Language standard libraries. by Ray Dillinger The most important thing about type theory.... by Ray Dillinger	Keean Schupke	2014-11-05 22:20
Forum topic	Virgil: a statically-typed language balancing functional and OO features Localizing Ugliness by Ray Dillinger 'Empirical' implies certain things. by Ray Dillinger	Kartik Agaram	2014-10-25 23:08
Forum topic	Usable Live Programming Interaction between the programmer and what? by Ray Dillinger Strictly visual in his mind? by Ray Dillinger More like 'fait accompli' by Ray Dillinger Debugging, yes... by Ray Dillinger	Sean McDirmid	2013-10-20 06:05
Story	Mixed-Site Variance Larry Wall, for example... by Ray Dillinger Okay, let's pretend that. What's your point? by Ray Dillinger Unprofessional? by Ray Dillinger That goal is an infinite regress. by Ray Dillinger Unethical strategies -- strategies that scale? by Ray Dillinger Okay, did type theory. What's next? by Ray Dillinger	bashyal	2013-09-09 21:39
Forum topic	lambda cube... 3D Sorry. by Ray Dillinger dependency management can be a nonissue by Ray Dillinger	raould	2013-08-26 05:25
Forum topic	Future of Programs using Assertions, Goals, and Plans Pervasively Indeterminate but Eventually Consistent by Ray Dillinger OPS5, OPS83, ART, a few others... by Ray Dillinger For starters you have an invalid production. by Ray Dillinger A predictable search by Ray Dillinger See, that's the sort of thing... by Ray Dillinger LP is important, but classic implementations are problematic. by Ray Dillinger	Hewitt	2013-08-10 01:07
Forum topic	The Power of Interoperability: Why Objects Are Inevitable Objects are not the only abstraction that provides that. by Ray Dillinger	Sean McDirmid	2013-08-07 23:59
Forum topic	The Future of Programming according to Bret Victor assembly mnemonics. by Ray Dillinger	Christian Lindig	2013-08-02 14:28
Forum topic	Cryptography DSL.	Ray Dillinger	2013-07-29 22:49
Story	History of Logic Programming: What went wrong, What was done about it, and What it might mean for the future Limited models... by Ray Dillinger That's just the closed world assumption by Ray Dillinger	Ehud Lamm	2013-07-28 20:42
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
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