Lambda the Ultimate

type	title	author	last post
Forum topic	Why not C++? My preferred subset is to reduce visual ambiguity. by Ray Dillinger	raould	2016-03-22 14:41
Story	Second-order logic explained in plain English Monstrosities, inc. by Ray Dillinger	Charles Stewart	2016-02-19 12:40
Forum topic	Subclass, superclass, or siblings under an abstract superclass? You are correct. My by Ray Dillinger Oh, for the love of braindead zombies... by Ray Dillinger There is probably a way to do that. I didn't find it. by Ray Dillinger You presume one-dimensional VMT's. by Ray Dillinger Types vary at interfaces between layers. by Ray Dillinger Well, yeah. There are SEMANTICALLY good OO systems. by Ray Dillinger I figured out how to do it. by Ray Dillinger This OO is no help. by Ray Dillinger Well, that makes performance sense at least. by Ray Dillinger That was kind of the whole by Ray Dillinger ...	Ray Dillinger	2015-09-29 15:36
Story	Draining the Swamp: Micro Virtual Machines as Solid Foundation for Language Development wrong metaphor... by Ray Dillinger	gasche	2015-08-22 15:22
Forum topic	Research vs implementation, theory vs practice, and LtU C++ headers badly designed. Yes, you need to compose them. by Ray Dillinger Hobbyist?! Are you nuts? by Ray Dillinger On going back to procedural by Ray Dillinger	Blaisorblade	2015-07-28 16:57
Forum topic	Mathematics self-proves its own Consistency (contra Gödel et. al.) Perhaps it's those who do by Ray Dillinger So? by Ray Dillinger check me on this... by Ray Dillinger Fixed points are not required for Godel's theorem to apply. by Ray Dillinger Yes but... by Ray Dillinger and in point of fact, by Ray Dillinger Wait.... It's not april first yet. by Ray Dillinger	Hewitt	2015-06-25 00:05
Forum topic	XKCD on type theory...	Ray Dillinger	2015-06-16 21:32
Forum topic	Types are fundamental to both logic and computation Two sides. by Ray Dillinger	Hewitt	2015-06-02 11:07
Forum topic	Why we don't believe in Visual Programming Part of it is that with by Ray Dillinger I don't believe in it for a different reason... by Ray Dillinger	Tiago Simoes	2015-04-14 15:24
Forum topic	Negation in Logic Languages Well, exactly! by Ray Dillinger Only 3-valued. by Ray Dillinger Logic is at least ternary. by Ray Dillinger	Keean Schupke	2015-02-19 17:21
Forum topic	Constraint-Based Type Inference and Parametric Polymorphism Right and wrong, pfah. There's only consistency & inconsistency by Ray Dillinger	Sean McDirmid	2015-02-13 23:43
Forum topic	symbols and loosely coupled concurrent apps part II FWIW, by Ray Dillinger	Rys McCusker	2015-02-10 22:23
Forum topic	Some notes on Rust, the language. What many don't do, not what they can't do. by Ray Dillinger You can't get ANY security that way. by Ray Dillinger Not "justified." The word you needed is "REQUIRED." by Ray Dillinger Here are some things you should be able to do. by Ray Dillinger Leaky Abstractions for the win! by Ray Dillinger The problem with garbage collected languages.... by Ray Dillinger	John Nagle	2015-02-09 07:25
Forum topic	How can languages help us in terms of achieving correct program design? There are limited proofs whose construction you can automate. by Ray Dillinger Why is there a compile time? by Ray Dillinger deliberate, as well as drastic by Ray Dillinger If we want to improve reliability, by Ray Dillinger Making it easy to do things well by Ray Dillinger I had this conversation once... by Ray Dillinger Hum, I think that may be backward... by Ray Dillinger Versatility. It's a sort of zen virtue. by Ray Dillinger PL's are simply tools. by Ray Dillinger Interesting point! by Ray Dillinger	bryanedds	2015-02-02 17:56
Forum topic	How can middle school algebra help with domain specific languages? It's the definition of "adding stuff" that's at issue. by Ray Dillinger	shahbaz	2015-01-21 17:18
Forum topic	managing closed worlds of symbols via alpha-renaming in loosely coupled concurrent apps Problems with mere unix permissions? Try ADEQUATE permissions. by Ray Dillinger When even considering the OS to access a filesystem.... by Ray Dillinger On topic, I think by Ray Dillinger Okay! by Ray Dillinger Not angry, just frustrated. by Ray Dillinger How does that answer his question? by Ray Dillinger Ah. I understand. by Ray Dillinger First-order and first-class, at the same time. by Ray Dillinger If that's your goal you'll need to know at least this. by Ray Dillinger It's a hobby lisp... by Ray Dillinger ...	Rys McCusker	2015-01-10 00:45
Forum topic	How can be a interpreter faster than C (aka: kdb+) Sure, if that works. by Ray Dillinger Side effects are okay, but misleading syntax for them is bad. by Ray Dillinger Again, that's going the wrong direction. by Ray Dillinger Look at it a different way. by Ray Dillinger Containers are good: Templates are a baroquification. by Ray Dillinger No irritation at all, I'm enjoying the discussion. by Ray Dillinger I've been thinking about it too.... by Ray Dillinger Still right. Still not on point. by Ray Dillinger Right, but not the point. by Ray Dillinger Hum. I recognize it but try to use "unary" instead. by Ray Dillinger ...	mamcx	2014-12-31 14:26
Forum topic	Function Readability & Understandability In Javascript syntax I like the second one better. by Ray Dillinger	Keean Schupke	2014-12-28 20:07
Forum topic	Let's kick continuations around for a while... I used a unification by Ray Dillinger Did you hear yourself? by Ray Dillinger Seriously, just write the code. You'll find the problem. by Ray Dillinger You're free to think so. by Ray Dillinger As I said elsewhere -- wrong word. by Ray Dillinger Sorry, I used the wrong word. by Ray Dillinger Is there a good reason why by Ray Dillinger Formally both arglists and returnlists are single values. by Ray Dillinger Garbage collection = Tail call optimization by Ray Dillinger I still don't know... by Ray Dillinger ...	Ray Dillinger	2014-12-26 18:05
Forum topic	Paged topics I found a way to do it, actually. by Ray Dillinger That's because there are by Ray Dillinger	raould	2014-12-09 21:59
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
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