Lambda the Ultimate

type	title	author	last post
Story	Extensible Effects -- An Alternative to Monad Transformers Good point by Matt M I'm sure they are equivalent by Matt M So you can resume it multiple times by Matt M Handling effects is more than just typing them by Matt M This is probably what my Processes are by Matt M	naasking	2013-08-01 13:03
Forum topic	Typographical extensions for programming languages: breaking out of the ASCII straitjacket You only have to type it once by Matt M	Sean McDirmid	2013-07-28 00:17
Forum topic	A New Kind of Type System How about The Constraint-o-matic Typenator by Matt M	Sean McDirmid	2013-07-03 18:06
Story	the gnu extension language Ok I read through this new by Matt M What is abstractive power? by Matt M Thanks, I'll check this out by Matt M Thanks for the link. I'll by Matt M This is what I'm implementing with my three day weekend by Matt M I didn't start the fire by Matt M	Manuel J. Simoni	2013-06-28 14:23
Story	Foundations of Inference I'm not up to date on the by Matt M	Paul Snively	2013-05-21 03:54
Story	Observational Equality, Now! Halting problem remains unsolved by Matt M	James Iry	2013-05-16 02:24
Story	Dependent Types for JavaScript Ok, good luck by Matt M Type theory is static in the by Matt M Type theory needs to be by Matt M Inferring types at run-time by Matt M The correspondence between by Matt M "Type Theory" by Matt M Technically true by Matt M Type assertions vs. orindary assertions by Matt M Let's try this again... by Matt M I was apparently confused by Matt M ...	naasking	2013-04-18 10:44
Forum topic	Five "laws" of programming paradigms Well... by Matt M Fifth law by Matt M	Peter Van Roy	2013-04-07 20:15
Story	LtU is migrating from Drupal Well, it's been clear that by Matt M	Ehud Lamm	2013-04-02 07:38
Forum topic	Best maintainable evaluation strategy? Mutable references by Matt M Lexical scoping? by Matt M	tkirchner	2013-03-31 18:09
Forum topic	Seeking thoughtful criticisms of functional programming and languages If you don't care, you don't care by Matt M Can matter by Matt M Even constraint and logic by Matt M Why does it need to be explicit? by Matt M You are correct that you can by Matt M I'm not saying anything too deep by Matt M You can think of the monadic by Matt M Seeking examples by Matt M Much disagreement by Matt M Why bother... by Matt M ...	scottmcl	2013-03-31 00:40
Forum topic	Scheme language conundrum regarding delay and force. Both by Matt M Okay by Matt M Thunk conversion? by Matt M	Ray Dillinger	2013-03-10 11:15
Forum topic	Why say Actor Model instead of message passing? Something to do with math by Matt M Recursion by Matt M Look, I don't care by Matt M Fancy book learn'n by Matt M Lambda calculus doesn't have Unicode support by Matt M	Clarkd	2013-03-10 08:48
Forum topic	Fixpoint theory, induction and recursion On the other hand we need by Matt M	hbrandl	2013-03-08 04:14
Forum topic	What will programming look like in 2020? Thanks for the thoughtful comment by Matt M Pain points of units by Matt M Memos are an (essential) by Matt M The incrementalization / by Matt M Objects as reactive elements by Matt M My meaning wasn't clear, by Matt M My apologies by Matt M Not dead yet by Matt M lenient != non-strict by Matt M	Sean McDirmid	2013-03-01 03:45
Forum topic	indentation yet again? isFeatureEasy :: Feature -> Bool by Matt M	raould	2013-02-05 16:10
Forum topic	Numbers and how to represent them. Summing numbers in a list by Matt M I want the real reals by Matt M Exactly by Matt M One thought by Matt M	Ray Dillinger	2013-02-03 20:13
Forum topic	Units and Numerical niceties. Angles are not vectors by Matt M Convert first by Matt M Good question by Matt M OK... by Matt M What's the compiler error? by Matt M What is a radian? by Matt M Phantom dimensions by Matt M Another example by Matt M Those dimensions are also arbitrary by Matt M Dimensions are arbitrary by Matt M	Ray Dillinger	2013-01-31 16:27
Forum topic	Links in long topics don't work That's a decent work-around by Matt M	Alan Eliasen	2013-01-23 18:17
Forum topic	Relational Model Considered Obsolete Data vs. Knowledge stores by Matt M	Hewitt	2013-01-12 03:12
Story	Rob Pike on Go at Google Ok. Maybe we disagree. by Matt M You're hung up on 'dev time' by Matt M The important point of my by Matt M Agree with the second half by Matt M Dev time isn't fuzzy by Matt M All fuzziness at dev time by Matt M	Ehud Lamm	2013-01-09 22:52
Forum topic	A Proposal for Simplified, Modern Definitions of "Object" and "Object Oriented" Arguably those languages by Matt M	w7cook	2013-01-08 20:02
Forum topic	Google's Dart announced Predicate subtypes by Matt M I didn't say that by Matt M I'm really not schizophrenic by Matt M What are you getting at? by Matt M It also depends on other choices Scala has made by Matt M Wouldn't the Haskell type be more like... by Matt M We're not too far apart, I think by Matt M Powerful type systems should be unsound by Matt M	vieiro	2012-12-30 17:29
Forum topic	The Pooh language / Learnable programming in action This is (generally) true if by Matt M Bug or feature? by Matt M	Michael Moser	2012-12-24 15:42
Forum topic	Multimap unification I strongly believe that by Matt M	Robbert van Dalen	2012-12-23 23:20
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