sml

4La chaleur

5Répondre

BigInt pour Standard ML/NJ

Existe-t-il un équivalent Java BigInt pour Standard ML? Le type int normal renvoie une exception lorsqu'il déborde.

functional-programming sml smlnj 2009-07-18

---

1La chaleur

3Répondre

Standard ML: comment exécuter une autre fonction dans une fonction?

Actuellement, mon code ressemble à ceci: fun gradImage() = let val iImg = Gdimage.image(640,480) (0,0,0); val void = mapi gradient iImg; in Gdimage.toPng iImg "gradient.png"

sml 2010-01-01

---

3La chaleur

1Répondre

Standard ML: comment compiler un programme ML en utilisant mosmlc?

Je voudrais compiler mon programme ML dans un binaire exécutable en utilisant mosmlc. Cependant, je n'ai pas trouvé beaucoup d'informations sur la façon de le faire. Le code que je voudrais compiler e

sml 2010-01-02

---

1La chaleur

1Répondre

Signature à l'intérieur d'une structure

Je veux placer la signature/structure de paire dans une structure, comme ceci: structure Outer :> OUTER = struct signature INNER = sig ... end structure Inner :> INNER =

structure signature sml smlnj 2009-09-29

---

7La chaleur

2Répondre

Suppression de la sortie "val it" dans la norme ML

J'écris un "script" en ML standard (SML/NJ) qui configure l'environnement interactif à mon goût. La dernière chose que le script fait est d'imprimer un message indiquant que tout s'est bien passé. Pou

sml smlnj 2009-08-12

---

9La chaleur

2Répondre

GUI pour Standard ML?

J'ai commencé récemment à apprendre le Standard ML par curiosité. Donc ce que je sais c'est qu'il y a un compilateur efficace (MLton) qui nous permet d'utiliser librement des abstractions sans se souc

user-interface binding sml ml graphical-programming 2009-10-11

---

0La chaleur

2Répondre

assurer un résultat de type spécifique dans SML

Im essayant de faire une fonction qui renvoie un élément de type « point »: type point = {x : int, y : int}; fun pointadd (p1: point, p2: point) = (((#x p1) + (#x p2)), ((#y p1) + (#y p2))); mais S

sml 2009-07-07

---

0La chaleur

3Répondre

Quelles sont les causes de cette erreur de type Standard-ML?

je tente de faire une version récursive de cette fonction SML très simple: fun suffixes [] = [[]] | suffixes (x::xs) = (x::xs) :: suffixes xs; Au cours de cela, j'utilisais annotations de type

functional-programming type-inference sml hindley-milner 2009-12-05

---

4La chaleur

1Répondre

fonction polymorphes comme valeur de retour et la restriction de valeur dans SML

Fondamentalement, je veux avoir une fonction pour retourner une fonction polymorphique, quelque chose comme ceci: foo fun() = fn x => x Ainsi, la fonction foo prend une valeur de l'unité de type et re

sml smlnj 2010-01-27

---

3La chaleur

2Répondre

Existe-t-il un moyen d'obtenir une forme carrée des opérateurs binaires dans SML/NJ?

Par exemple, au lieu de - op =; val it = fn : ''a * ''a -> bool Je préférerais avoir - op =; val it = fn : ''a -> ''a -> bool pour une utilisation dans val x = getX() val l = getList() val l'

operators sml currying smlnj 2009-09-06

---