Lambda the Ultimate

type	title	author	last post
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
Forum topic	Most web developers prefer dynamic languages No by Matt M Is this related to Opa, by Matt M	Henri Binsztok	2012-10-08 22:31
Forum topic	Other free theorems I agree by Matt M Simpler with asymmetry by Matt M Parametricity after all? by Matt M Normalization by Matt M Parametricity by Matt M Update by Matt M	Matt M	2012-10-05 12:00
Story	Informed dissent: William Cook contra Bob Harper on OOP The One True Way by Matt M I disgree that subtyping is complexifying by Matt M I agree by Matt M Sub-typing vs. type systems that track sub-types by Matt M Subtyping is intuitive and mathematically simple by Matt M Compared to what? by Matt M	Ehud Lamm	2012-09-29 09:12
Forum topic	Power Rows Links are borked by Matt M	Henri Binsztok	2012-09-28 12:33
Forum topic	Are scalars "just" degenerate matrices? Grapheme Clusters by Matt M What is a string? by Matt M Wow by Matt M The associativity of matrix by Matt M Scalars are not matrices by Matt M	Douglas McClean	2012-09-22 21:38
Story	Tiny Transactions on Computer Science GOTO here then there. The by Matt M	Manuel J. Simoni	2012-09-13 23:12
Story	Oleg: An argument against call/cc First, let me say that I by Matt M If a function, say, filter, by Matt M Non-termination is better as an error than an effect by Matt M	bashyal	2012-09-13 17:06
Forum topic	Alien worlds, values, and you can't touch this Cool paper by Matt M	Sean McDirmid	2012-09-11 13:15
Forum topic	Less is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it. They are (by visual by Matt M	Matthew Markland	2012-09-05 03:19
Forum topic	IDE design for immediate feedback Thanks by Matt M Propositional equality might suffice by Matt M Decidable? by Matt M We don't want evaluation (do we?) by Matt M "Well understood" by Matt M V-tables I think of more by Matt M By type system, I meant by Matt M I agree with the above by Matt M The main difference between by Matt M Why time travel when you can by Matt M ...	David Wagner	2012-09-04 09:14
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