Concurrent-CLEAN fonctionne sur GNU/Linux,...
...il faut juste souffrir un peu :)
PS: A part ça je ne sais pas qui a parlé de CAML(otte) et de ces dérivés...
Mais c'est tout sauf exemplairement "pure" en terme de langages fonctionnelles orthogonaux.
Quelques manquement en terme de consistance et de complétude syntaxique, sémantique, /etc. (quel dommage) Pourquoi ne pas utiliser le lambda-PHP .... kheu....
Heureusement, il n'y a pas que les monades dans la fille.
Le mieux c'est d'éventuellement demander à quelqu'un comme ce Monsieur:
Il semble avoir quelques notions concernant l'incomplétude de l'éventuel morphisme entre Monades informatique et Monoïdes mathématiques aux environs d'une certaines théorie des domaines applicable dans une "non ABC-Machine", mais presque g-Usine.
:: gaz(_|_) <-- Maibe(usine) or not to B ?
Prolog: Fête comme si j'avais chuchoté à reculont.
[^] # Re: Déjà répondu... mais l'usine ?
Posté par gnujeek . En réponse au message Haskell : IO [Int]. Évalué à 1.
Non :: Je préfère Concurrent-CLEAN pour 64'000 raisons (-1)
Mais pour faire quelques petit tests d'apprentissage avec types et inférence de type assez sévères, ghci convient scolairement parlant.
Les monades auraient comme un arrière-goûts de limaille verte.
Ils séparent effectivement l'EVEN du HELL mais les calculs de types restent approximativement en vigueur.
Ben oui, puisque 0 =~ 1 (et reciproquement).
http://clean.cs.ru.nl/
Concurrent-CLEAN fonctionne sur GNU/Linux,...
...il faut juste souffrir un peu :)
PS: A part ça je ne sais pas qui a parlé de CAML(otte) et de ces dérivés...
Mais c'est tout sauf exemplairement "pure" en terme de langages fonctionnelles orthogonaux.
Quelques manquement en terme de consistance et de complétude syntaxique, sémantique, /etc. (quel dommage) Pourquoi ne pas utiliser le lambda-PHP .... kheu....
Heureusement, il n'y a pas que les monades dans la fille.
Le mieux c'est d'éventuellement demander à quelqu'un comme ce Monsieur:
http://www.math.jussieu.fr/~alp/
Il semble avoir quelques notions concernant l'incomplétude de l'éventuel morphisme entre Monades informatique et Monoïdes mathématiques aux environs d'une certaines théorie des domaines applicable dans une "non ABC-Machine", mais presque g-Usine.
:: gaz(_|_) <-- Maibe(usine) or not to B ?
Prolog: Fête comme si j'avais chuchoté à reculont.