Lambda the Ultimate

type	title	author	last post
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
Forum topic	Simple Question (I hope...): Forward declarations vs. "letrec" style or ML "and" style constructs Parsing is some extra work, by Matt M If you allow the user to by Matt M I don't take your point by Matt M Implicit / Explicit again by Matt M	scottmcl	2012-12-02 19:19
Forum topic	Abolishing zeros The big bonus of my algebra by Matt M Zero fun by Matt M	Robbert van Dalen	2012-12-01 04:39
Forum topic	Learnable Programming Failure by Matt M Modes of failure by Matt M Are there any computer by Matt M You start with a big font, ego by Matt M Gimmicks by Matt M	dmbarbour	2012-11-29 21:57
Forum topic	Libraries suck Oh? And do you mean that by Matt M It isn't clear to me that by Matt M Many of my comments that by Matt M What is bicycling? by Matt M This conversation is too by Matt M If you "bind to the details by Matt M Correctness is always by Matt M After reading your other by Matt M Closer to agreement by Matt M You'ved placed the blame in the wrong spot by Matt M ...	Kartik Agaram	2012-11-26 22:16
Story	Records, sums, cases, and exceptions: Row-polymorphism at work What, no lmgtfy link? by Matt M	Manuel J. Simoni	2012-11-02 12:22
Story	Strange Loop 2012 Video Schedule Ultrafinitism is nutty by Matt M	Ehud Lamm	2012-10-28 21:46
Forum topic	Aha! Programming Language I don't understand what you by Matt M Ackermann by Matt M Feedback by Matt M I didn't notice the generics by Matt M Looks total to me by Matt M How would you define "pure" by Matt M You're arguing that Haskell by Matt M It sounds like we probably by Matt M The last points of my by Matt M Haskell programs are pure by Matt M ...	rmovchan	2012-10-19 03:50
Forum topic	DRAKON-Erlang: Visual Functional Programming My rib by Matt M We don't need another synonym for 'good.' by Matt M	Stepan Mitkin	2012-10-12 08:32
Forum topic	P = NP question You're probably right by Matt M Finite P=NP by Matt M	Carter Cheng	2012-10-10 22:26
Forum topic	In defense of semicolon Another case of implicit vs. explicit by Matt M	Sean McDirmid	2012-10-08 22:32
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