Lambda the Ultimate

type	title	author	last post
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
Forum topic	Giant list of visual PLs That much I know by marco Simulink and Labview by marco Showcases a computer developed in Minecraft by marco	Manuel J. Simoni	2014-05-02 16:09
Story	.NET Compiler Platform ("Roslyn") That sounds like a really good idea! by marco It just follows the grammar by marco On the efficiency by marco Parallel tests two alternatives by marco Tim Sweeny once posted numbers on that by marco The dream of programming without debugging is still just a dream by marco Spooky control flow II by marco Spooky control flow by marco Possible by marco Stuff just fell out of fashion by marco ...	Ehud Lamm	2014-04-22 23:53
Story	What Are The Resolved Debates in General Purpose Language Design? Lexical level is part of the grammar by marco Yeah, what would you do with it anyway... by marco As far as I know by marco Hmpf by marco R5RS and R6RS Scheme by marco If it is solved... by marco	James Iry	2014-03-31 20:55
Forum topic	Haxe 3.1 is here Haxe's developer used to by marco	raould	2014-03-07 00:50
Forum topic	Automatically learning grammars from text NP complete problem with approximations by marco	nabreit	2014-02-25 04:38
Forum topic	PuzzleScript Nice Teaching Device by marco	Tess Foley	2014-02-01 15:29
Forum topic	Print release of a textbook on the Coq proof assistant Watch the story telling by marco	Adam Chlipala	2014-01-15 13:50
Forum topic	Different approaches to letting a programmer define interface implementations. I would have loved to have avoided the Open discussion by marco Ah. Success and Goodbye. by marco Pattern matching on Types instead of values. by marco Turing Tarpit, again. by marco No I am not by marco Try it by marco Row polymorphism doesn't perform often by marco Closed vs Open by marco RTFM by marco Breaks too many invariants by marco ...	Kannan Goundan	2014-01-15 04:00
Story	The Genuine Sieve of Eratosthenes Guess so by marco Hehe by marco How silly of me by marco I might be stupid by marco I think the sequence by marco O(n)? Another argument? by marco Great analysis by marco Someone ... by marco Maybe by marco In one word... by marco	Ehud Lamm	2013-10-26 21:32
Story	Why Did M.I.T. Switch from Scheme to Python? To come back to your question by marco Ah by marco Mindset by marco German by marco	Leon P Smith	2013-09-12 17:06
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