Lambda the Ultimate

type	title	author	last post
Forum topic	Making implicits less powerful? Duplicate post by marco C++ standards committee by marco It was something Stroustrup acknowledged in a talk by marco Is C++ spinning out of control? by marco	Vladimir Slepnev	2015-02-20 16:07
Forum topic	Looking for a good online forum on compiler design and implementation Yah. by marco Did anyone ever bootstrap Prolog? by marco Sure dude by marco Depends by marco What I wanted to say by marco The practice is horrible by marco Prolog = grammar with unification on attributes by marco Ah well by marco Generative vs Applicative. And don't. by marco The point? by marco ...	Talin	2014-12-03 22:33
Story	Open thread: RIP Steve Jobs The Last American by marco	Ehud Lamm	2014-10-05 00:19
Forum topic	Experiment LtU fails to load on iOs with Mathjax by marco Then use the right metrics by marco Opprobrious academic claims and simpleton arguments by marco You are using different dictionaries and metrics than I am by marco Driven by necessity by marco Popular vs Populist by marco C is a populist language? by marco Varied reasoning and moving goalposts by marco You're not going to solve it with applied philosophy either by marco Breaking abstraction allows for machine aimenable machine code by marco ...	Ehud Lamm	2014-10-01 17:10
Forum topic	A StackExchange Site for Programming Language Theory Going to do the experiment myself by marco Factoring. 14, 27, or many more bits? by marco Found Knuth on a Satisfiability Shootout by marco Yah. Seen it by marco Yeah well by marco Ah by marco Never heard of it. by marco Maybe you'll get lucky by marco Factoring naturally emerges in model checking by marco Only Einstein can discuss God by marco ...	aaditmshah	2014-09-27 15:30
Story	Cost semantics for functional languages If you can pay for the performance penalty you can use FP by marco Lies, damned lies, and functional programming by marco	gasche	2014-08-21 22:00
Story	Apple Introduces Swift PL design is a dead-end field by marco True Machine Intelligence by marco Co- and Contravariance? by marco	bashyal	2014-08-21 17:54
Forum topic	The broad ML Family workshop I thought of submitting by marco	Oleg	2014-07-31 10:07
Story	seL4: Formal Verification of an Operating-System Kernel The most common reason for bit rot by marco	James Iry	2014-07-29 07:19
Forum topic	Compositional let bindings Probably fast enough by marco I am thinking of a C based LLVM or GCC front end to it by marco I roughly implemented the same algorithm by marco I stand corrected. by marco Look at it after the match by marco Looks so by marco Uh, topology? by marco Not sure by marco The trivial type a=a->a by marco Informal reasoning about t0=t1, sub(t0, t1) t2, and Eq(t0, t1) by marco ...	Keean Schupke	2014-07-05 15:36
Forum topic	Ambiguous language namespaces Cannot be worse than Clean by marco	Sean McDirmid	2014-07-04 03:31
Forum topic	Math.js crashes my iPad Something like that may be it by marco It does it on my iOs device too by marco	Sean McDirmid	2014-07-03 16:05
Forum topic	Lambda: A Peek Under the Hood A thunk is a closure awaiting evaluation by marco Thunks expensive in Java by marco	Phil Miess	2014-06-19 21:58
Forum topic	Rank-0 Intersection Type System Fitting an LC by marco Cannot be true by marco Well. You're the one who wants to prove an equivalence by marco Well. You need to prove it I guess by marco Correctness of HM by marco Oleg has spoken by marco You take too big steps by marco You might need a bisimulation proof? by marco Two things I don't understand by marco Scala by marco ...	Keean Schupke	2014-06-15 11:52
Forum topic	Notation for debugging type derivations. Leslie Lamport's How to Write a Proof by marco Hurts my eyes by marco I agree, double is confusing by marco Why don't you copy the reasoning of the Wikipedia HM page? by marco	Keean Schupke	2014-06-06 19:04
Forum topic	Announcing Lang.NEXT 2014 - Registration is Free and Now Open I don't see that by marco One big difference by marco Well, I went overboard with that one by marco Monads by marco Comedy Central by marco UnsafePerformIO by marco A well-sold bullshit story by marco More suitable than a crude comparison by marco I agree. by marco Architecture: Everything with a door is a Donad by marco ...	Charles Torre	2014-06-04 00:59
Forum topic	Symbol visibility (public, private, protected, etc.) Legalities not appreciated by marco Energy, time, space by marco	Talin	2014-05-31 05:02
Story	Fifty Years of BASIC, the Programming Language That Made Computers Personal 1982! by marco	bashyal	2014-05-30 20:21
Forum topic	Those pesky higher-rank types. Or how to type \f x y. (f x, f y) Haskell does it by marco Prolog is Turing Complete by marco I wouldn't know by marco Not true by marco Yeah by marco Changing course by marco UnsafePerformIO is an impure deconstructor by marco Neat by marco Assembly typing by marco Not even wrong on both accounts by marco ...	marco	2014-05-26 17:22
Forum topic	Removing User Interface Complexity, or Why React is Awesome Well, it does make some sense somewhere. Or does it? by marco Oh. Never mind. Responded to the wrong post. by marco The discovery of the lazy (event) list by marco	Sean McDirmid	2014-05-23 15:12
Forum topic	type theory about programming language? Type soundness proofs are the dullest and least illuminating... by marco So what? by marco I completely agree! by marco Two undefined terms and a question by marco Whatever by marco EVERY LC TERM IS A PROGRAM! by marco Has used Type Theory to write a Darcs-like version by marco Type Theory is easy to compute, since it's just a form of LC by marco Curry-Howard Correspondence is Overrated by marco Change of mind: Type theory is philosophy by marco ...	Rys McCusker	2014-05-21 23:10
Forum topic	Safe interior references in the presence of mutation Defer the generalization of monomorphic variable to module by marco	Jules Jacobs	2014-05-20 20:26
Forum topic	Sectioning a chain of operators and dot as reverse application Just sharpening the conversation by marco Superficial notational observation by marco	Matt M	2014-05-12 18:17
Forum topic	Value-level programming But the grammar is statically determined at compile time by marco It isn't induction and Exceptions live at the module level by marco Well I can read it by marco - by marco That I'll buy by marco Lists are as fast as arrays! by marco Everything with a door is a Donad by marco Completely irrelevant observation by marco Indirection by marco Only Oleg writes code like that by marco ...	Vladimir Slepnev	2014-05-08 19:51
Forum topic	LtU now supports Mathjax This is a good thing by marco	Anton van Straaten	2014-05-05 14:47
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