Scalaで作るPackrat Parserコンビネータ - kmizuの日記
【急募】PEGパーサのメモ化の実装 http://twitter.com/anatoo/status/1253132392 とかあったんで、せっかくなのでサクっと実装してみた。 ポイントは、PEGパーサコンビネータでは、ParserがString => Option[(A, String)]を継承していたのを、Int => Option[(A, Int)]を継承するようにしたことと、Parserの外側のクラスに入力文字列を表すメンバinputを追加したこと。Stringを引数に取る形でも良いのだけど、そうすると、テーブルのルックアップコストが高くなってしまうので、メモ化する意味がほとんど無くなってしまう。 trait PackratParser[+A] { val input: String abstract class Parser[+A] extends (Int => Option[
Golangでparserをつくって、SQLを解析してみよう！ - Qiita
Golangで、sqlとか、プログラムとか、DSLのパースってできないのかな、と調べていたら下記を見つけました。 2014年時点ですでにできていたんですね。。 上記では、github.com/benbjohnson/sql-parserというリポジトリで説明してくれています。 おおまかな流れは、 Token作成 Lexer作成 Parser作成 といったところです。 で、それらを呼び出す、mainがない。。。ということで、フォークして、main.goを実装してみました。 package main import "strings" func main() { query := "select * from my_table" println(query) r := strings.NewReader(query) //parser生成。queryをくわせる。 parser := NewPar
Parsec 練習問題
以下のプログラムは Tiny C のパーサをParsec ライブラリを使って書きかけたものである。 Tiny Cの構文を適切な代数的データ型として定義し、Tiny Cのパーサーを完成させよ。 （Tiny CのBNFはこのページの最後に示す。） 補足: パーサプリミティブの説明 tinyCStyleとlexerは、 C言語のトークンの定義（実際にはJava言語のものを流用）に合わせて、後述の whiteSpace〜reservedOpを用意するための補助的定義である。 whiteSpace〜reservedOpは、C言語のトークンをパースするための パーサ関数である。また、runLexはパーサをテストするための関数である。 これらは組み合わせて、例えば次のように使用する。 Parser> runLex (do {parseId; parseAddSub; parseId; return ()
PEGのパーサ in Scala - kmizuの日記
ScalaのパーザコンビネータでParsing Expression Grammar(PEG)の文法を定義してみました。PEGのインタプリタ作る副産物としてできたもので、構文木も作ってくれます。まあ、使いたい人が居るかは激しく疑問ですが、パーサコンビネータの使い方の参考になるかもしれません。ちなみに、 各ルールはセミコロンで終端する ルールの定義に、<-だけでなく、=も使える 点は、Fordの論文に載っているPEGの定義と異なっている部分です。 object Ast { trait HasPosition { def pos: Pos } case class Pos(line: Int, column: Int) case class Grammar(pos: Pos, start: Symbol, rules: List[Rule]) extends HasPosition case
ANTLRのお勉強 - programming_wiki
ANTLRのお勉強 提供：programming_wiki 移動： 案内, 検索 「http://threeprogramming.lolipop.jp/mediawiki/index.php?title=ANTLR%E3%81%AE%E3%81%8A%E5%8B%89%E5%BC%B7&oldid=129」から取得 個人用ツール ログイン 名前空間 ページ 議論 変種 表示 閲覧 ソースを表示 履歴表示 操作 検索 案内 メインページ コミュニティ・ポータル 最近の出来事 最近の更新 おまかせ表示 ヘルプ ツールボックス リンク元 関連ページの更新状況 特別ページ 印刷用バージョン この版への固定リンク このページが最後に更新されたのは 2013年7月15日 (月) 10:38 です。 プライバシー ポリシー programming_wikiについて 免責事項
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
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
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - andrewcooke/ParserCombinator.jl: A parser combinator library for Julia
CSci 6221.BA5 Documents Spring 2011
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
School of Computer Science
MLULex
https://www.khoury.northeastern.edu/home/turon/manual.pdf
Scala - Language - Lex/Yacc tool for scala?
https://github.com/standardml/cmyacc
http://www.it.uu.se/edu/course/homepage/kompprojekt/vt13/examples/2/ml-yacc-calc/0README
Index of /~firebird/arch/sun4x_59/bin/sml/ml-yacc/examples/fol