“ATS Programming Foundations” — ATS Programming Foundations 0.2.0 documentation© Copyright 2015, Metasepi team. This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License..
Replacing Python: candidates - Thomas Leonard's blog
This post evaluates the programming languages ATS, C#, Go, Haskell, OCaml, Python and Rust to try to decide which would be the best language in which to write 0install (which is currently implemented in Python). Hopefully it will also be interesting to anyone curious about these languages. I'm not an expert in these languages (except Python). My test-case is to read the tutorial for each language
ML programmer's guide to ATS 日本語訳 - Metasepi
Table of contents MLプログラマ向けATS言語ガイド ATSのすばらしき世界 ノート: 線形論理(Linear Logic)について 拡張子 めくるめく静 異型(Atypical)の複合型 ノート: intの型はフラット 落ち着かない関数たち タグ付きのアロー型 stdio.h から例を この文書のTODO この記事は Theorem Prover Advent Calendar 2013 - Qiita [キータ] の12/23(月曜)分じゃなイカ。 ATS http://www.ats-lang.org/ という言語を知っているでゲソ？ 依存型と線形型が使えて、もちろん証明器にもなるでゲソ。 以下のようなプログラミングパラダイムをサポートしているでゲソ。 関数プログラミング 命令プログラミング 並列プログラミング モジュールシステム ATSのHello Worldの実
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
