cdiggins | Lambda the Ultimate

cdiggins

view
track

type	title	author	last post
Forum topic	Signature Based Polymorphism, Structural Subtyping and Duck Typing A huge disadvantage for the by cdiggins Thanks for the detailed response by cdiggins but then one would have to by cdiggins Okay I'll bite by cdiggins Given the value of some by cdiggins I don't follow by cdiggins What about structural subtyping? by cdiggins	cdiggins	2006-03-02 16:04
Forum topic	Concatenation Operators in Unimperative Obvious. by cdiggins	cdiggins	2006-02-16 05:27
Forum topic	A-Posteriori Subtyping: Which Languages? Whoops! Yes of course. by cdiggins Thank you. by cdiggins	cdiggins	2006-01-31 03:52
Forum topic	Implicit Behavioral Subtyping	cdiggins	2006-01-13 03:47
Forum topic	Functions as Classes: Which languages? Static method idea is solid by cdiggins Could be fixed by cdiggins Actually: by cdiggins But they are not a type. by cdiggins I don't see the disadvantage by cdiggins "Functions are isomorphic t by cdiggins Scala functions are objects but not classes by cdiggins	cdiggins	2005-07-02 12:45
Forum topic	Unimperative Programming Language - Teaser Hi again Achilleas, Unimp by cdiggins Some reasons why: by cdiggins Here are some more code examples: by cdiggins Thanks for the encouragement. by cdiggins	cdiggins	2005-02-04 04:31
Forum topic	ANN: YARD Parser Template Metaprogramming may be Ugly by cdiggins	cdiggins	2005-01-08 10:48
Forum topic	Definition of Type Those are sets of values, not neccesarily types by cdiggins I think I understand what is going on by cdiggins `a type is a semantic classi by cdiggins I meant: by cdiggins Dead Philosopher's Society by cdiggins hand-waving afoot ? by cdiggins This requires type to be predefined by cdiggins Type System by cdiggins "known not to have models in by cdiggins	cdiggins	2004-12-09 11:42
Forum topic	What's a definition of "type" that beginners can understand? False Analogy by cdiggins A type is a label associated by cdiggins Revisiting the definition of type by cdiggins Semantic => Meaning by cdiggins The fable is misleading. Both by cdiggins Are you suggesting that type by cdiggins Semantic Classification implies Intensional Information by cdiggins Type definition by cdiggins	Toby Donaldson	2004-12-06 00:33
Forum topic	Making C++ more Object-Oriented Second Follow-up article by cdiggins Follow up article by cdiggins	cdiggins	2004-11-29 12:33
Forum topic	Heron Language Specification I agree by cdiggins Java and .NET interoperability by cdiggins	cdiggins	2004-10-22 17:43
Forum topic	Metaprogramming in Heron Correction made, thank you! by cdiggins	cdiggins	2004-09-26 17:49
Forum topic	Tree programming languages 1-ary or k-ary? by cdiggins	Matt Estes	2004-09-13 12:23
Forum topic	Yet another programming language forum	cdiggins	2004-09-13 03:59
first page previous page next page last page