Retourner au contenu associé (dépêche : Entretien avec Linus Torvalds sur ZEIT ONLINE)
Posté par Nicolas Boulay (site web personnel) le 18 novembre 2011 à 17:56. En réponse à la dépêche Entretien avec Linus Torvalds sur ZEIT ONLINE. Évalué à 2.
C'est une manière d'augmenter le typage.
Il me semble qu'il existe une théorie, au dessus du lambda calcul qui permet d'avoir des types paramétriques.
"La première sécurité est la liberté"
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: nouveau langage ?
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Entretien avec Linus Torvalds sur ZEIT ONLINE. Évalué à 2.
C'est une manière d'augmenter le typage.
Il me semble qu'il existe une théorie, au dessus du lambda calcul qui permet d'avoir des types paramétriques.
"La première sécurité est la liberté"