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の実
簡約!? λカ娘 Rock!の紹介とHaskell製Androidアプリの解説 - Metasepi
Table of contents Haskellで書いたAndroid NDKアプリってどんな感じ？ CubeVertices.hsファイルについて glVertexPointerとglColorPointerの呼び出し AndroidEngine型の状態変更 全てをつなげる簡易フレームワーク この記事は Android Advent Calendar 2013 - Qiita [キータ] の12/17(火曜)分じゃなイカ。 だいぶ息切れしてきた関数型プログラミングの本 簡約!? λカ娘 Rock! がコミックマーケット85 3日目 西地区 す-03a で出るでゲソ。みんな買ってほしいでゲソ! 第1章 λカ娘探索2? 第2章 僕のカノジョはスナッチャー # <= コレ書いた がもくじで、 @master_q は第2章を書いたらしいでゲソ。 この記事では Android NDK に付属して
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
