Lambda the Ultimate

type	title	author	last post
Forum topic	Explaining monads Oops by Matt M Understanding dissections by Matt M Agree, except... by Matt M Monads are a structure by Matt M IO and monads by Matt M Well by Matt M I responded because I by Matt M More technical? by Matt M	Ehud Lamm	2009-01-30 11:43
Story	2008 In Review - What Happened with Programming Languages? Combinator calculus by Matt M	James Iry	2009-01-28 12:15
Forum topic	Detailed discussion forum and/or IRC channel? Regarding IRC... by Matt M	strog	2009-01-28 05:29
Forum topic	Introducing Ambi Why? by Matt M	David Pratten	2009-01-27 02:42
Forum topic	Macro systems Look at by Matt M	cdiggins	2009-01-22 17:50
Forum topic	Nested functions - how many nesting levels are really needed? Nesting Level Irrelevant was my point by Matt M Still missing it by Matt M What am I missing? by Matt M Values shared across multiple closures by Matt M In Haskell... by Matt M For efficiency? by Matt M	strog	2009-01-22 12:00
Forum topic	Weird computability problem relating to state + lambda calculus Doesn't this reduce to the by Matt M	ellisk	2009-01-17 14:17
Forum topic	Fundamental Flaws in Current Programming Language Type Systems Did I miss your proposal in by Matt M Ah, but continuing my by Matt M The stronger typing can be by Matt M This module is only correct by Matt M Still missing the example by Matt M Basically, I'm suggesting by Matt M Fair by Matt M "code depends on interfaces, not classes" by Matt M How would it work? by Matt M MPEG-2 by Matt M ...	Bruce Rennie	2009-01-16 16:42
Forum topic	Any problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.) Yes, I think most everything by Matt M Agreed by Matt M This is a good example by Matt M Example? by Matt M A guess by Matt M Ya by Matt M From context by Matt M Another distinction by Matt M Parametricity at the type level? by Matt M then your language is aparametric by Matt M	scottmcl	2009-01-11 22:50
Story	Programmable Concurrency in a Pure and Lazy Language Right by Matt M	James Iry	2008-12-31 23:41
Forum topic	Garbage Collection Representations Static calls by Matt M What if you build a mask by Matt M You could probably parse the by Matt M	naasking	2008-11-03 22:37
Forum topic	To CPS or not to CPS Possibly... by Matt M	marco	2008-10-10 13:29
Forum topic	Help with Mixfix in Bison? Originally I was strongly in by Matt M	shap	2008-10-09 16:00
Forum topic	Clojure talk videos Huh? by Matt M Yes by Matt M Monads don't require static typing by Matt M	claudio	2008-10-09 15:57
Forum topic	Is API evolution of exceptions special? Type of handleException is wrong by Matt M Encapsulation by Matt M	Jaroslav Tulach	2008-10-02 16:17
Story	Safe and Secure Software in Ada These are all the same by Matt M As jeff_marshall notes by Matt M Ok, so it sounds like partly by Matt M CPU caches are also covert by Matt M	Ehud Lamm	2008-09-26 19:38
Forum topic	Multiple inheritance with a single global ordering of classes Mixins by Matt M	johnwcowan	2008-09-25 20:48
Forum topic	Specializing values in a functional language Data.Typeable sounds close by Matt M	marco	2008-09-24 16:22
Story	First-class Macros For example, I don't think by Matt M Macros and Interpreters by Matt M First, given a strict by Matt M We both would have the by Matt M Maybe somewhat equivalent by Matt M Macros vs. Meta-programming by Matt M Where do they end? A blank by Matt M	James Iry	2008-09-24 03:54
Forum topic	A graph puzzle Maybe related... by Matt M	Brett Gibson	2008-09-23 01:23
Story	Programming Language Beauty: Look Closure f == \x. f x by Matt M	Erik Meijer	2008-09-10 04:01
Forum topic	What makes backreferences impossible in a DFA regular expressions evaluator? Looks hard to me! by Matt M	Brandon Niemczyk	2008-09-04 11:52
Forum topic	Towards Hard Real-Time Erlang You don't need mutation to create cycles by Matt M	James Iry	2008-08-28 17:28
Forum topic	Error Messages in Dynamically Typed Languages Where, not what by Matt M	Jules Jacobs	2008-08-21 06:14
Forum topic	Patrick Logan on patterns Similar reaction by Matt M	Ehud Lamm	2008-08-13 15:29
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