Lambda the Ultimate

type	title	author	last post
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
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
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