Retourner au contenu associé (journal : De tout, de rien, des bookmarks, du bla bla)
Posté par reno le 21 février 2016 à 01:30. En réponse au journal De tout, de rien, des bookmarks, du bla bla. Évalué à 2.
L'article Test vs Types est intéressant, mais bon quand on clique sur le lien pour l'implémentation en Idris, ça calme carrément sur les types: autant de lignes et de difficultés pour prouver un bout de code trivial? Non, merci..
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
# Types a quel prix?
Posté par reno . En réponse au journal De tout, de rien, des bookmarks, du bla bla. Évalué à 2.
L'article Test vs Types est intéressant, mais bon quand on clique sur le lien pour l'implémentation en Idris, ça calme carrément sur les types: autant de lignes et de difficultés pour prouver un bout de code trivial?
Non, merci..