juin
2010
Le système d’exploitation MorphOS, un OS léger et convivial descendant de feu AmigaOS est enfin disponible en version 2.5 sur matériel Apple, eMac, Mac mini G4, en plus des plateformes déjà supportées (Pegasos 1 & 2 et EFIKA). La procédure d’enregistrement de MorphOS 2.5 est intégrée à la version de démonstration et consiste à : installer la version de démonstration librement téléchargeable utiliser l’outil RegTool pour s’enregistrer le paiement s’effectue à l’aide de PayPal Les […]
Un article de SpiceGuid 
juin
2010
Si vous ne l’avez pas déjà fait dépêchez-vous de visionner ou de télécharger la vidéo conférence de Heinrich Apfelmus sur les GADTs (Generalized Algebraic Data Types).
juin
2010
Un exercice simple pour débutant en ocaml c’est d’écrire un interpréteur pour un petit langage simple comme par exemple une calculatrice : type arithmetic = | Cst of int | Neg of arithmetic | Add of binary | Sub of binary | Mul of binary | Div of binary and binary = arithmetic * arithmetic Mais cet exercice anodin change complètement de nature quand on passe à un langage fortement normalisant, dans ce cas vous […]