merd, polymorphism and type inference

Introduction. The term polymorphism is very inaccurate. Here the various polymorphism aspects I want to explain:. inclusion polymorphism (subtyping ...

Type inference (example) wrap(str, width) = all = [] ; line ...

Type inference (example) wrap(str, width) = all = [] ; line = "" str.words.each.(l -> if size(line+l) >= width then all += [line] line = "" line += (line ...

Merd innovations Syntax: horizontal layout a * b+c parsed as a*(b+ ...

Merd innovations Syntax: horizontal layout a * b+c parsed as a*(b+c) Types structural equivalence and open world types experimentation of intersection ...

Memory management Static: everything must be known at compile time ...

Memory management Static: everything must be known at compile time Stack: enables recursion enables stack allocated arrays (growing data) Heap: pros: data ...

Functional syntax function declaration f(x) = x + 1 f := x -> x + ...

Functional syntax function declaration f(x) = x + 1 f := x -> x + 1 (anonymous function) fact(x) = if x == 0 then 1 else x * fact(x - 1) fact = 0 -> 1 x ...

Performance: the C case C's performance comes from low-level ...

Performance: the C case C's performance comes from low-level programming. The cost is hazardous behavior, safeness being the programmer's job, which doesn't ...

Type checking nbs = [ 1, 2, 5, 3 ] i = maximum(nbs) #=> 5 nbs ...

Type checking nbs = [ 1, 2, 5, 3 ] i = maximum(nbs) #=> 5 nbs = [ 1, 2, 5, "foo" ] i = maximum(nbs) #=> ill-typed at compile-time name, ...

Index of /pixel/language-study/various

Parent Directory 07-Feb-2005 06:21 - GetOpt.hs.pl 03-May-2002 05:37 4k GetOpt.hs.rb 03-May-2002 07:36 3k Makefile 20-Sep-2002 09:53 1k MetaOCaml-vs-Dynamic. ...

Memory management: Data sharing shallow vs deep copy shallow vs ...

Memory management: Data sharing shallow vs deep copy shallow vs deep comparison no such problem with purely functional data structures shallow and deep is ...

What's wrong with statically typed languages? explicitly typed ...

What's wrong with statically typed languages? explicitly typed languages (C++, Java) too verbose (explicit types can pollute the code) too rigid (no ...