Retourner au contenu associé (entrée de forum : Langage fonctionnel "bas niveau" (genre C))
Posté par neil le 07 mai 2015 à 20:34. En réponse au message Langage fonctionnel "bas niveau" (genre C). Évalué à 2. Dernière modification le 07 mai 2015 à 20:37.
ATS possède un puissant système de types (avec, plus ou moins, types dépendents et linéaires) et des performances temps et mémoire proches du C. On peut typiquement écrire des noyaux avec tout en faisant de la preuve de programmes.
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
# ATS
Posté par neil . En réponse au message Langage fonctionnel "bas niveau" (genre C). Évalué à 2. Dernière modification le 07 mai 2015 à 20:37.
ATS possède un puissant système de types (avec, plus ou moins, types dépendents et linéaires) et des performances temps et mémoire proches du C. On peut typiquement écrire des noyaux avec tout en faisant de la preuve de programmes.