Retourner au contenu associé (lien : Un langage de plus : Roc)
Posté par steph1978 le 28 novembre 2023 à 11:54. En réponse au lien Un langage de plus : Roc. Évalué à 2.
C'est là que le typage intervient
Prend la fonction map par exemple.
map arg1 arg2
Pas évident de savoir ce que son arg1 et arg2.
Si je te donne le type de cette fonction
map : (a -> b) -> List a -> List b
Tu comprends que map prend une fonction qui transforme un a en b, l'applique à une liste de a pour faire une liste de b.
Et ton IDE (moi j'utilise helix avec elm-language-server) va t'aider en te mettant un tooltip avec le type.
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: Elm
Posté par steph1978 . En réponse au lien Un langage de plus : Roc. Évalué à 2.
C'est là que le typage intervient
Prend la fonction map par exemple.
Pas évident de savoir ce que son arg1 et arg2.
Si je te donne le type de cette fonction
Tu comprends que map prend une fonction qui transforme un a en b, l'applique à une liste de a pour faire une liste de b.
Et ton IDE (moi j'utilise helix avec elm-language-server) va t'aider en te mettant un tooltip avec le type.