暇なのか 暇じゃないのか 暇なのか というわけで、ATS言語の勉強も兼ねて、組み込みのドライバを書いてみます。 目標は、できるだけ安全なドライバを作ること。ATSの表現能力や、課題があるとしたら何なのかという事を探ってみることも目的です。 実用性とか、実際に動作するかどうかは、ぶっちゃけ余り気にしません。 まあ、動くようには作るつもりですが、実機も持ってないので……。 ATSとはなんじゃ？ という人は ATSは、証明プログラミングに対応したプログラミング言語です。 同様の言語は他にもありますが、その中でも「実際に動作するプログラムを記述することを前提にしている」「線形型の仕組みを採用することで、安全なリソース管理手法を提供している」のがATSの特徴です。……の、はずです。 詳しいことは、↓を参照してください。 Japan ATS User Group 公式サイト そもそも、証明プログラミン
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
