La syntaxe est pourrie et on nous force à écrire les prédicats avant d'apprendre cette foutue syntaxe...
Puis après faut tout prouver...
Meme le CAML n'est pas aussi chiant.
Bref, le B, çaydlamerd.
ça s'enseigne et pas qu'un peu >_<
c'est pour nous apprendre à rédiger des prédicats en algorithmie... implanter une division en B par exemple x_x
C'est l'autre, car je reconnais l'intitulé de ce bouquin : The B-Book: Assigning Programs to Meanings, Jean-Raymond Abrial, Cambridge University Press, 1996. ISBN 0-521-49619-5.
Tiens, tu sais que Dassault, France Télécom, Microsoft, IBM et le CEA s'y mettent?
Les droits inaliénables du troll :
1) le droit d'avoir raison
2) le droit d'être péremptoire
3) le droit de ne pas lire
4) le droit de ne pas répondre
5) le droit d'être de mauvaise foi
6) Autant pour moi / Faignant / Vivent Tintin et Milou
Hippo> sur quoi plus précisément ? évidemment y a qques trucs genre analyse statique & co où ocaml est adapté, mais ça relève plus du domaine universitaire que du domaine industriel ^^
« The biggest civil liberty of all is not to be killed by a terrorist. » (Geoff Hoon, ministre des transports anglais)
Le compilo OCaml est très bien, c'est juste qu'il serait grand temps de réécrire le runtime pour qu'il gère correctement le multithreading (et l'allocation externe, gmp sur OCaml par exemple c'est pas ça), et une lib objet pour les réfractaires.
fabetal_ > Hier, je me suis fait monter par un pote
redangel > et en chevals, ça donne quoi?
Nil> OMG I think I'm gay
Et le Haskell ? Et le Erlang ?
Kochise
Si Dieu m'a de nouveau fait homme, cette fois il m'a pas raté : marcher sur l'eau et dupliquer les pains, ça marche p'us :/
Nan, c'est le caml de microsoft ?
Les droits inaliénables du troll :
1) le droit d'avoir raison
2) le droit d'être péremptoire
3) le droit de ne pas lire
4) le droit de ne pas répondre
5) le droit d'être de mauvaise foi
6) Autant pour moi / Faignant / Vivent Tintin et Milou
oui, du "ocaml.NET" en qque sorte ^^
« The biggest civil liberty of all is not to be killed by a terrorist. » (Geoff Hoon, ministre des transports anglais)
Dans F#, le pattern matching ne me convainc pas du tout, et puis de toutes façons, il faut une lib objet et fonctionnelle, pas juste l'accès au framework .Net...
Sinon, il y a un port de OCaml pour .Net qui fonctionne assez bien (mais les sources ne sont pas encore ouvertes, ça ne devrait pas tarder), c'est assez rigolo d'ailleurs comme fonctionnement, ça reconstruit les types du lambda code (en fait les types sont virés dès le passage du typeur dans le processus de compilation d'OCaml).
Kochise
fabetal_ > Hier, je me suis fait monter par un pote
redangel > et en chevals, ça donne quoi?
Nil> OMG I think I'm gay
Ah, et surtout, d'un point de vue runtime, la VM .Net n'est pas faite pour le fonctionnel bien typé (cf. managed code) efficace.
fabetal_ > Hier, je me suis fait monter par un pote
redangel > et en chevals, ça donne quoi?
Nil> OMG I think I'm gay
very Le 14/11/2006 à 21:08 Ouais enfin caml puis ocaml ça vient plus de ML que de l'objet, je vois pas ou l'on peut dire que c'est en "trop". ( bon et après MS l'a refait à sa sauce, là...)
Surtout que le caml à quand même des applications préférentieles assez distinctes des langages impératifs ou purement fonctionels classsiques. (objet ou non...)
«Les gens exigent la liberté d’expression pour compenser la liberté de pensée qu’ils préfèrent éviter.» - Sören Kierkegaard
La République, c’est comme la syphilis : quand on l’a attrapée, soit on se fait sauter le caisson, soit on essaie de vivre avec.
!
OCaml a effectivement une couche objet.
