Retourner au contenu associé (dépêche : GHC 8.4 et 8.6)
Posté par Guillaum (site web personnel) le 03 octobre 2018 à 16:01. En réponse à la dépêche GHC 8.4 et 8.6. Évalué à 2.
Avec grand plaisir. Même si ton seul argument pour idris c'est le strict par défaut, c'est dommage ;)
Idris est un super langage, mon seul regret c'est que c'est assez dur de trouver du boulot avec, alors que Haskell c'est plutôt trivial.
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: Et si on faisait une petite dépêche sur Idris?
Posté par Guillaum (site web personnel) . En réponse à la dépêche GHC 8.4 et 8.6. Évalué à 2.
Avec grand plaisir. Même si ton seul argument pour idris c'est le strict par défaut, c'est dommage ;)
Idris est un super langage, mon seul regret c'est que c'est assez dur de trouver du boulot avec, alors que Haskell c'est plutôt trivial.