Retourner au contenu associé (dépêche : Sortie du Glorious Haskell Compiler 7.8)
Posté par Axioplase ıɥs∀ (site web personnel) le 30 avril 2014 à 23:15. En réponse à la dépêche Sortie du Glorious Haskell Compiler 7.8. Évalué à -2.
Tu peux faire f :: m a -> int mais pas "g :: m -> b" où m est une monade, ni "h :: m a -> m". Pour moi, ça fait que les monades ne sont pas citoyens de première classe.
f :: m a -> int
m
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: cat troll.hs
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse à la dépêche Sortie du Glorious Haskell Compiler 7.8. Évalué à -2.
Tu peux faire
f :: m a -> intmais pas "g :: m -> b" oùmest une monade, ni "h :: m a -> m".Pour moi, ça fait que les monades ne sont pas citoyens de première classe.