>>8
how is more syntax better?
face it, offside-rule syntaxes are the FUTURE!
Name:
Anonymous2012-01-31 17:50
I don't understand how anyone in his right mind can design a new statically typed language and not use haskell style type signatures. They're just so obviously superior to those c style abominations, especially if you add parametrized types and additional keywords like implicit that clutter the type signatures even more (e.g, scala).
Haskell and ML don't look too bad (look the best) because they have type inference. Expect stuff to look much more scarier for larger programs.
Overall I prefer dynamicly typed languages more, so I can't judge. I didn't choose the Scheme-like because of syntax abuse - it wasn't homoiconic enough with the type declarations (CL does let you declare types as well, but it ain't that pretty either, because you usually don't declare types that often, unless you really want to overoptimize.)
>>16
Yes, it's probably the same in F# too. (It's great because the plebs can't tell it's statically typed.)
>>19
Satisfying types for the whole program really isn't that hard. If you know how to write in the various MLs, you will use the B&D nature of type system to enforce the correctness of your code in many areas. While satisfying types doesn't inherently make your program correct, being unable to satisfy your types does mean you can't write a correct program.
So what you said boils down to "writing larger programs is harder." The H-M type system is there to help you with that problem. Ignorance is not the solution.
>>12
Looks pretty but I prefer the types to be annotated, even if it's obvious.
Name:
Anonymous2012-02-01 2:28
http://rosettacode.org/wiki/Yin_and_yang#ALGOL_68
I prefer ALGOL 68's style, where function definition syntax is the same as variable assignment syntax. proc fib = (int a) int: (if a < 2 then a else fib(a - 1) + fib(a - 2) fi);
Name:
Anonymous2012-02-01 3:02
Lisp is UGLY
C is best
Name:
Anonymous2012-02-01 3:58
>>24
All `Haskell-like' languages have Pattern Matching; even Erlang, which isn't pure functional or Lazy.
>>29
I opened a can of Zyklon B in this thread. Maybe you Haifa Jews can find somewhere else to troll while you're on break from figuring out how to integrate DEC's goyish ALPHA technology into your Jew chips.
>>43
Intel Jews ``innovate'' by copying/stealing/buying ideas goys invented 40 years ago and then striking monopolistic deals with computer manufacturers.
>>44
Why didn't the dumb goys strike any deals with computer manufacturers? Because they're dumb and asocial, unlike the master race which is smart and very social.
procedure fib(a: int): int;
begin
if a < 2 then
return a;
else
return fib(a-1) + fib(a-2);
end;
end;
Is this supposed to be ..Pascal? Doesn't look like working Pascal code to me...
Name:
Anonymous2012-02-02 21:37
>>47
All of the examples were just general styles, not necessarily real languages, as you can see in the typed scheme and typed FIOC.