Programming Languages - Hyperpolyglot
Hyperpolyglot Programming Languages commonly used features in a side-by-side format Scripting Languages I: Node.js, PHP, Python, Ruby Scripting Languages II: Perl, Lua, Groovy GUI Scripting: JavaScript, Smalltalk, Tcl, AutoHotkey Command Line Interpreters: POSIX Shell, Cmd.exe, PowerShell Forth and PostScript: Forth, PostScript Prolog, Erlang, Elixir: Prolog, Erlang, Elixir Lisp Dialects: Common L
ML勉強会まとめ - type t (* void *)
僕がML情報が集まる会が欲しくて開催しました。 @blackenedgold さん、@khibino さんにご協力頂きましてありがとうございました。 connpass.com 発表一覧 ATSで捕捉されたリアルタイムOSのシステム状態(masterq さん） Real-time OS system state captured by ATS language from Kiwamu Okabe www.slideshare.net リアルタイムOSのChibiOSの紹介とATS2の宣伝（？） ChibiOSは内部的に状態を持っており、API関数を呼ぶときに普遍条件があるけども、 C言語から呼び出すとそれをキャプチャできないのでプログラムが危険になっていました。 それをATS2の依存型を用いて現在のOSのステートを型にエンコードして解決している話でした。 ステートを埋め込むだけならば幽霊型を
Comparing Objective Caml and Standard ML
This page compares point-by-point the Objective Caml (OCaml) and Standard ML (SML) programming languages, the two main representatives of the ML programming language family. The comparison includes language design and current tool availability, as well as further social factors. This page isn't meant to be a complete comparison, but rather to highlight differences that might lead to choosing one l
SML vs. Ocaml
Standard ML and Objective Caml, Side by Side This page gives a quick side by side comparison of program fragments in the two ML dialects Standard ML ('97 revision) and Objective Caml (version 3.12). It is primarily targetted at people who need to convert code between the two dialects. Where suitable we also mention common extensions to SML, or recent extensions of Ocaml. The comparison does not co
Amazon.co.jp: リストマニア
最強の言語ＭＬのコンパイラツクール 大和谷 潔 Schemeによる記号処理入門 "まず、関数型言語のおもしろさを体験しよう" Structure and Interpretation of Computer Programs (MIT Electrical Engineering and Computer Science) "schemeを使って、インタプリタ、コンパイラ、仮想マシン、制約プログラミングなどを解説。" 岩波講座 ソフトウェア科学〈〔基礎〕4〉プログラミング言語 "もっと強力な関数型言語のおもしろさを体験しよう" Elements of ML Programming, ML97 Edition "関数型プログラミングのすばらしさを実感したところで、「最強のプログラミング言語」(帯より)を勉強しよう" プログラミング言語StandardML入門 "私の指導教官もStandard
SMLのためのMessagePack実装 - ML-MessagePack：Rainy Day Codings：So-net blog
SML用のMessagePack実装を作りました。 https://github.com/tkob/mlmsgpack 対応するSML処理系としてはMLton, MLKit, Poly/ML, SML/NJ, Moscow ML, HaMLet, Alice ML, SML#です。これらすべてでコンパイルが通るようにしてありますが、テストケースが無傷で通るのは最初の3つだけで、他は処理系側で機能に制限があったりバグがあったりします。特にSML#は大半のテストが通りません。 [2014/4/5追記] SML#1.2.0ではテストが通りませんでしたがSML#2.0.0では通るようになりましたので、SML#を使う場合は2.0.0以上をお使いください。 * 使い方 扱いたいデータ型に対するpacker/unpackerを基本的なコンビネーターを組み合わせて作ります。こんな感じです。 > val o
ML-YACCの利用方法 : alldmp
3月26 ML-YACCの利用方法 カテゴリ:最新コンパイラ構成技法 ひとまず ml-yacc によりラムダ計算の構文解析が出来るようになった。 まともに動作するドキュメントが無いため、時間がかかってしまった。 ファイル一式 ファイル一式はgithubに置いた。 https://github.com/tknw/tiger/tree/master/ml-yacc-test lambda.lex … lexer lambda.grm … parser sources.cm … makeファイル errormsg.sml … エラーメッセージ用のストラクチャ exp.sml … 構文解析結果用ストラクチャ input.lambda … λ計算入力ファイル 構文解析器の作成手順 字句解析器を作成する。 $ ml-lex lambda.lex Number of states = 9 Number
サンプルでなんとなく理解するmllex - ::Eldesh a b = LEFT a | RIGHT b
やむを得ず調べてしまったので動く状態のサンプルを書き留めておきます。(タイガー本で書いたヤツとか忘れたわー(ノ｀´)ノミ┻┻) mllexとは mllexはlexのSML版です。トークンに対応する正規表現を並べておくと、それをストリームから切り出すレキサ(字句解析器)を生成してくれます。 SML/NJに付属するものとしてmllexが作られ、それをMLtonがforkして取り込んだようです。いくつか機能が追加されてるみたいですね。 SML/NJにはml-ulexというレキサジェネレータも付いてきますが別物です。こちらの方が後発で高機能なようです(が私は使ったことありません)。 SML#ディストリビューションにもmllexからfork(?)したsmllex*1が含まれており、これで構文のレキサを作っています。READMEを見る感じではバグフィックスが1つ入っただけでmllexと同じもののようで
CompileManager(SML用make)の使い方 - ::Eldesh a b = LEFT a | RIGHT b
CompileManager(以下CM)はSML/NJに付いてくるmakeシステムです. ある程度分かってきたのでメモしておきます. cmファイル(ライブラリファイル)は特定のソースファイルセットから, 指定した structure/signature/functor/funsig のみを公開してライブラリにすることが出来ます. (普通は).cmという拡張子を持ったファイルに記述します. ライブラリファイル(makeファイル)の書き方 たとえば (* monad.cm *) Library structure Monad (* 公開するstructure *) signature MONAD (* 公開するsignature *) (* functorとfunsigもあればここに書く *) is $/basis.cm (* 標準ライブラリをインポート *) monad-impl.cm (*
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://www.pllab.riec.tohoku.ac.jp/~ohori/texts/mlkaisetsu.pdf
http://www.ps.uni-saarland.de/~kornstae/Doc/JackeReport.pdf
Syllabus and Lecture Notes for Programming Languages
Scanning and Parsing
Grammars and parsing with Standard ML
MLULex
https://www.khoury.northeastern.edu/home/turon/manual.pdf
https://github.com/standardml/cmyacc
http://www.it.uu.se/edu/course/homepage/kompprojekt/vt13/examples/2/ml-yacc-calc/0README
NameBright - Coming Soon
Index of /~firebird/arch/sun4x_59/bin/sml/ml-yacc/examples/fol