還暦プログラマの挑戦(Haskell に挑む)
Haskell Parsec, a fast combinator parser Introduction 2. Users guide 2.2 Sequence and choice 2.3 Predictive parsers 2.4 Adding semantics 2.5 Sequences and seperators 2.6 Improving error messages 2.7 Expressions 2.8 Lexical analysis 2.9 Receipts: Lexeme parsers and Reserved words Write Yourself a Scheme in 48 Hoursでお勉強を初めて、Parsecライブラリのインポートの話になって、インターネットで調べていたら、この記事にぶつかった。 どうも、こちらを先
とりとめのないパーサー談義 - あどけない話
パーサーに関して、調べたことと疑問を書いておきます。パーサーに詳しい人に答えて頂けると、とても嬉しいです。 チョムスキー階層によれば、以下のような関係が成り立ちます。 正規文法 < 文脈自由文法 < 文脈依存文法 < 制限のない文法 それで、文脈自由文法の中は、こういう関係が成り立ちます。 LL法 < SL法 < LALR法 < LR法 < GLR法 GLR法は、文脈自由文法の全体を解析できる能力を持ちます。 疑問1) GLR法は、文脈依存文法(の一部)も解析できるのか？ LL(1) LL(1)に、収まっているのは XML や Lisp です。 LALR(1) LALR(1)に、収まっているのは、ほとんどのコンピュータ言語です。たとえば、C や Java。 GLR GLRに収まっているのは、C++ です。たとえば、D 言語の「テンプレート再訪」には、以下のように文脈がないと比較なのかテンプ
[Haskell] Parsec (Haskellのパーサーライブラリー) - yuumi3のお仕事日記
読み終わりました ^^) さすがに最後のパーサーの部分は難易度が高かったです。 型、クラス、モナドなどの理解が良く出来てないのが露呈し、またその部分を読みながらサンプルコードをなんとか読みきりました。 そこで、Parsecを使って、以下のBNFで表されるような 指数部付き整数 (? なんだそれですが・・・) <num> ::= <int> | <e_int> <int> ::= <uint> | - <uint> <uint> ::= <digit> | <uint> <digit> <digit> ::= 0 | 1 | ... | 9 <e_int> :: = <int> E <uint>のパーサーを Parsec を使って書いてみました。 import Text.ParserCombinators.Parsec num :: Parser Int num = do n <- try(
![[Haskell] Parsec (Haskellのパーサーライブラリー) - yuumi3のお仕事日記](https://cdn-ak-scissors.b.st-hatena.com/image/square/85d179ec66f55cde214f560a9b7f9004a8b58d0e/height=288;version=1;width=512/http%3A%2F%2Fecx.images-amazon.com%2Fimages%2FI%2F41mJTrvw2pL.jpg)
Parser Combinatorというもの(その2) - 純粋関数型雑記帳
このページにはいわゆる解説記事を載せるつもりは無かったのだが、 (たいていは他にもっとうまい説明のページがあるだろうから…) どうやらこれがそうなってしまいそうである。 もっとまともな解説は http://sky.zero.ad.jp/~zaa54437/programming/clean/CleanBook/part2/Chap5.html こちらをどうぞ。(って人のページなんだけどな…) 概要 パーザコンビネータはプリミティブパーザと パーザ同士を組み合わせるコンビネータとからなる。 小さいパーザを組み立てて最終的なパーザを作り上げるのである。 パーザ パーザはいろいろなものが考えられるが、 ここでは単純に、文字列を引数にとり、 解析したもの+残りの文字列を返す関数であるとする。 type Parser a = String -> (a,String) Stringもパラメータ化すると
Haskell: ミニコンパイラを試す - Accept Things
Haskellで実装された勉強用のコンパイラがないか探していたらありました。Haskellでコンパイラを書きたいと思っている方や、Pugsの実装に興味のある方は、今回紹介するミニコンパイラに興味を持ってもらえると思います。 Simple compiler example このコンパイラは、計算式を架空のスタックマシンのコードに変換するというものです。私たちが普段使っているPentiumマシンに搭載されているFPUもスタックマシンの一種ですね。(参考) 例えば、「1+2-3」をこの架空のスタックマシンのコードに変換すると、以下のようなコードに変換されます。 PushConst 1 PushConst 2 PushConst 3 SubToS AddToSでは、ソースをゲットして、ghciで実際に試してみましょう。 % wget http://www.doc.ic.ac.uk/~phjk/Co
Write Yourself a Scheme in 48 hours
Write Yourself a Scheme in 48 Hours A Haskell Tutorial By Jonathan Tang Contents Overview First Steps: Compiling and running Parsing A Simple Parser Whitespace Literal Numbers and Strings: Return Values Lists, Dotted Lists, and Quoted Data: Recursive Parsers Evaluation, Part 1 Displaying Values: Show and Typeclasses Evaluating Primitive Values: Pattern Matching Evaluating Primitive Functions: Firs
Parsec, 高速なコンビネータパーサ
本文書は次に掲げる URL で示される文書の部分的な邦訳です。 http://www.cs.uu.nl/people/daan/download/parsec/parsec.html Parsec, 高速なコンビネータパーサ Daan Leijen University of Utrecht Dept. of Computer Science PO.Box 80.089, 3508 TB Utrecht The Netherlands daan@cs.uu.nl, http://www.cs.uu.nl/~daan Parsec, 高速なコンビネータパーサ Daan Leijen University of Utrecht Dept. of Computer Science PO.Box 80.089, 3508 TB Utrecht The Netherlands daan@
Write Yourself a Scheme in 48 Hours A Haskell Tutorial - Enjoy Programming
Write Yourself a Scheme in 48 Hoursを読んでみます。Parsec, 高速なコンビネータパーサも参照。 Overview First steps Parsing Writing a Simple Parser Whitespace Return Values Stringのパース Atomのパース (実はBoolも) Numberのパース 今までのパーサを組み合わせる Exercises parseNumberを書き換え 文字列内のダブルクォートをエスケープさせる 他のエスケープ文字も扱えるようにする parseNumberを異なる基数の表記に対応させる 文字の処理を付け加える 実数の処理を付け加える full numeric tower 再帰的なパーサ Exercise バッククォートのシンタックスシュガーを実装 ベクタのサポート 左くくりだしを行ってtr
Haskell: parsec (parser combinator)
parsecのお勉強をする。今日のYet Another Perl Conferenceで聞いたんだけど、ある程度マスターすれば15分でPerlのparserが書けるらしいよ。すげえ！という事で、やってみますかぃのぉ。 parsec - a free monadic parser combinator library Parsec, a fast combinator parser Parsec, 高速なコンビネーターパーサ Write Yourself a Scheme in 48 Hours Library Reference: Index of /ghc/docs/6.4/html/libraries/parsec Parsec: Direct Style Monadic Parser Combinators for the Real World , Daan Leijen and
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
ライブドアブログ｜無料で豊富な機能が充実
プログラミング/C_C++ /色々なポインタ - Flightless wing