Lambda the Ultimate

type	title	author	last post
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
Forum topic	Implementing arrays However, the asymptotic by Philippa Cowderoy	dataangel	2006-09-02 09:52
Forum topic	Multi-Stage Languages Only that's not much good if by Philippa Cowderoy It's an incredibly good idea by Philippa Cowderoy	cdiggins	2006-09-01 19:59
Forum topic	Advantages of Soft Typing Nastier: in case of by Philippa Cowderoy I think the point is that it by Philippa Cowderoy You're still making by Philippa Cowderoy That's usually accomplished by Philippa Cowderoy	Curtis W	2006-08-29 22:21
Forum topic	Overloading : Why do some languages leave it out? At risk of going off-topic, by Philippa Cowderoy Yes. Implement a simple ML by Philippa Cowderoy	cdiggins	2006-08-08 21:28
Story	ContextL Haskellised layers? by Philippa Cowderoy	Ehud Lamm	2006-07-26 20:05
Forum topic	First Class Values, Types as values within a Programming Language Depends how wide your value by Philippa Cowderoy No. I might have more than by Philippa Cowderoy They are not the same thing, by Philippa Cowderoy I was rather dismayed by Philippa Cowderoy I also miss it sometimes. A by Philippa Cowderoy Not necessarily - it could by Philippa Cowderoy	Bruce Rennie	2006-07-20 00:50
Forum topic	OOP Parallel class hierarchies Presumably Felicia knows by by Philippa Cowderoy Pattern-matching on by Philippa Cowderoy They don't do the exact same by Philippa Cowderoy I think it's worth noting by Philippa Cowderoy Once we have a wiki by Philippa Cowderoy	dataangel	2006-07-18 19:50
Forum topic	How do Java generics correspond to System F-(omega)? Sort of. The easiest thing by Philippa Cowderoy But it doesn't quite work if by Philippa Cowderoy Consider a language with a by Philippa Cowderoy	Chung-chieh Shan	2006-07-12 22:39
Forum topic	HLVM - High Level Virtual Machine toolkit for dynamic languages Will post source somewhere by Philippa Cowderoy Fair enough. Don't suppose by Philippa Cowderoy I take it generating Neko by Philippa Cowderoy Haskell with the Dynamic by Philippa Cowderoy	nat	2006-07-09 21:57
Forum topic	What are the real benefits of FP? You can always rebuild by Philippa Cowderoy One good reason would be by Philippa Cowderoy	dataangel	2006-07-09 20:03
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