-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
____/ The Ghost In The Machine on Thursday 17 July 2008 20:41 : \____
> In comp.os.linux.advocacy, Homer
> <usenet@xxxxxxxxxx>
> wrote
> on Thu, 17 Jul 2008 18:56:58 +0100
> <cod4l5-9vs.ln1@xxxxxxxxxx>:
>> Verily I say unto thee, that Roy Schestowitz spake thusly:
>>
>>> Bug free software to come from EU open source Type Theory project
>>
>> Haven't they heard of ML? It's a self-proving language that's been
>> around for three decades.
>>
>> http://en.wikipedia.org/wiki/ML_programming_language
>>
>
> Interesting language; beats me how I missed this one. ;-)
>
> While most languages would probably implement reverse() recursively as
> e.g. C++, using a substring method:
>
> std::string reverse(std::string inp)
> {
> if(inp.size() == 0) return "";
> else return reverse(inp.substr(1,inp.size() - 1)) + inp[0];
> }
>
> or Java:
>
> String reverse(String inp)
> {
> if(inp.equals("")) return "";
> else return reverse(inp.substr(1)) + inp.substr(0,1);
> }
>
> ML uses a pattern-matching syntax:
>
> fun reverse([])=nil
> | reverse(h::t) = (reverse(t))@[h];
>
> Microsoft already has F#, which is apparently an ML derivative for .NET.
>
> For its part Linux appears to have similar functional
> languages OCaml, Haskell, and is working on a beta
> for Erlang. All three are in Gentoo's Portage tree,
> and wxhaskell is also available (presumably based on the
> wxPython widget set).
ML was one of the first P/Ls I was taught. SML in high school, then Moscow ML
(just a different implementation) in college. It's pretty useless for most
things we think of as 'applications', but good for language processing, AI,
etc.
ML is a nightmare to work with at a high pace. OpenGL, on the other hand, has
been lots of fun. programming for GPUs makes eye candy (bugs are very visual)
whereas ML is the very opposite -- CLI.
- --
~~ Best of wishes
Roy S. Schestowitz | Y |-(1^2)|^(1/2)+1 K
http://Schestowitz.com | RHAT GNU/Linux | PGP-Key: 0x74572E8E
run-level 5 Jul 14 10:32 last=S
http://iuron.com - help build a non-profit search engine
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iEYEARECAAYFAkiArg0ACgkQU4xAY3RXLo4/+gCeMWuwp89bTA9yaLuselWHFrvQ
gFQAnA5Bi61CZ3SX/E+GHI28YwGzQSNA
=pDwR
-----END PGP SIGNATURE-----
|
|
