Lambda the Ultimate

type	title	author	last post
Story	Java Open Review Project The ST monad and Oleg's by Philippa Cowderoy	Ehud Lamm	2006-12-16 11:29
Forum topic	Abstractly typed languages But set != ordered set, and by Philippa Cowderoy	Matthew Willson	2006-12-15 04:58
Forum topic	unchecked exceptions are like runtime type checking? With nominal versus by Philippa Cowderoy For many functions units by Philippa Cowderoy I think it's a little unfair by Philippa Cowderoy If our ultimate language is by Philippa Cowderoy You're repeating the same by Philippa Cowderoy As an aside, now we have by Philippa Cowderoy I'd like to see a unit test by Philippa Cowderoy	lumpynose	2006-12-13 09:40
Forum topic	Extremely static language? To go a step further, by Philippa Cowderoy In the extreme, static by Philippa Cowderoy I've found myself faking by Philippa Cowderoy How tight is your spec and by Philippa Cowderoy	viergroupie	2006-12-09 01:28
Forum topic	Why type systems are interesting - part II Power = Rope = Ability to by Philippa Cowderoy I made this neat thing, I'll call it a wheel by Philippa Cowderoy	Ehud Lamm	2006-12-08 01:38
Story	Linear types for aliased resources And what we actually get is by Philippa Cowderoy More conventionally (at by Philippa Cowderoy	Ehud Lamm	2006-12-07 16:10
Forum topic	Understanding continuations Unfortunately that simple by Philippa Cowderoy	Keith Devens	2006-12-06 23:43
Forum topic	if Records - Labels = Tuples then Rows - Labels = what? Just out of interest, how by Philippa Cowderoy	cdiggins	2006-12-04 01:57
Forum topic	Haskell -> Javascript converter, kind of If you have no typing per se by Philippa Cowderoy	dbfaken	2006-11-22 18:12
Story	Future of software design? Making strong claims when by Philippa Cowderoy	Peter Van Roy	2006-11-21 20:18
Forum topic	Functional programming and software engineering And approaches such as by Philippa Cowderoy Translate the syntax into a by Philippa Cowderoy And how would it differ from by Philippa Cowderoy	Kay Schluehr	2006-11-20 17:36
Story	Second Life Faces Threat to its Virtual Economy It's a hell of a threat if by Philippa Cowderoy	Paul Snively	2006-11-18 09:04
Forum topic	Random "if it bends it is funny, if it breaks it isn't funny" line of thought Some may find flexibility by Philippa Cowderoy	raould	2006-11-15 21:08
Story	Stroustrup: A Brief Look at C++0x Nobody's said they are, only by Philippa Cowderoy The statements about first by Philippa Cowderoy First-classness and being a by Philippa Cowderoy	Ehud Lamm	2006-11-15 10:37
Forum topic	Static type inference & late binding? You can use static typing to by Philippa Cowderoy	raould	2006-11-13 16:16
Story	Run time type checking Just thought of this and by Philippa Cowderoy Yes, but type classes aren't by Philippa Cowderoy Passing an extra parameter by Philippa Cowderoy	Chris Rathman	2006-10-22 15:04
Forum topic	Constraint based hybrid typing and the Curry Howard Isomorphism In which case you're left by Philippa Cowderoy It depends on the things by Philippa Cowderoy I'm not sure I buy your by Philippa Cowderoy	Felicia Li Svilling	2006-10-20 15:07
Forum topic	Tradeoffs between Unique Types and Monads Sure. It's also possible to by Philippa Cowderoy A pure implementation of the by Philippa Cowderoy I can't see how you'd get by Philippa Cowderoy The foundations are totally by Philippa Cowderoy	mjstahl	2006-10-13 12:47
Story	Tim Bray: Dynamic-Language IDEs It won't help you until by Philippa Cowderoy Or rather, abstract by Philippa Cowderoy	Ehud Lamm	2006-10-04 11:37
Forum topic	SSA + Type Inference = "Compile time" dynamic typing, "runtime" static typing? SSI might be appropriate - by Philippa Cowderoy	Logan Capaldo	2006-09-25 16:45
Forum topic	Closures for Java or money back The type inferenced by Philippa Cowderoy If I'm going to use type by Philippa Cowderoy You can likely improve the by Philippa Cowderoy Not if you're interoperating by Philippa Cowderoy An IDE for a type-inferenced by Philippa Cowderoy	el-vadimo	2006-09-23 19:16
Story	Dynamic Languages Symposium Program Online I think most of us associate by Philippa Cowderoy	Erik Meijer	2006-09-20 17:21
Story	Lang .NET 2006 Then you're a bigger part of by Philippa Cowderoy	Erik Meijer	2006-09-18 18:32
Forum topic	Small Value Set Types Yes, type-checking in a by Philippa Cowderoy	cdiggins	2006-09-06 02:05
Story	Gradual Typing for Functional Languages It probably has to be in by Philippa Cowderoy	Paul Snively	2006-09-04 13:48
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