Ce site a gagné le concours de référencement Qwanturank, organisé par le moteur de recherche QWANT, en 2020 ⇒ PAJUNE : référencement SEO & SEA ⇐ Introduction : le référencement internet (SEO) Chaque moteur de recherche du web utilise une formule de classement des sites dans ses résultats de recherches (SERP) qui est différente, ce qui explique pourquoi les résultats obtenus pour une même requête n
この記事はClojure Advent Calendar 2013 - Qiita [キータ]１９日目の記事です。 instaparse 本記事ではinstaparseというライブラリを使って遊んでみます。 instaparseはEBNFやABNFで記述された文脈自由文法から自動的にパーサを生成してくれます。 左再帰、右再帰、曖昧性など、いかなる文脈自由文法でも動作します。 生成されたパーサは文字列からenliveまたはhiccup風の木構造を生成します。 今回は型なしラムダ計算を題材にします。 型なしラムダ計算 型なしラムダ計算は、型がない（または型がひとつしかない）ラムダ計算です。 ラムダ計算はとてもシンプルで、すべての計算が関数定義と関数適用だけで実現可能です。 ラムダ計算の構文は以下の３つからなります。 t ::= 項 x 変数 | \x . t ラムダ抽象 | t t 関数適用
Clojure でパースするとき、みんなどうしてるんだろう。 Parsec のようなものがあればいいのに〜、と思って探してみたところ、この Kern が一番よさげだった。 特徴 状態モナドベースのコンビネータ群 C, Java, Haskell, Shell の構文をサポート パースと式の評価をサポート 正確で詳しいエラーメッセージ エラーメッセージは簡単に多言語化可能 パーサの内部状態にクライアントコードからアクセス可能 サンプルあり セットアップ leiningen がインストールされているなら、 project.clj の :dependencies に [org.blancas/kern "0.6.1"] で、コード中に (use 'blancas.kern.core) Haskell の Parsec っぽい HaskellのParsecですねという感じ。というか記号とかもそのま
Haskellのパーサーライブラリといえば、 Peggyなどもありますが、やはりParsecというイメージが強い。 で、これまで書いたprojectなんかも殆どParsecを使って書いてきました。 そしたらつい先日、TrifectaとかいうEkmettさんのライブラリが存在することを知りました。 特徴についてはA Parsing Trifectaなんかにも書かれています。 ParsecのようなMonadicパーサーは使いやすく、それに対してMonoidsは並列でincrementalである、と。 この二つを、記述上ではParsecを踏襲して作成したライブラリだそうです。 というわけで、まだその機能の全容を把握できたわけではないのですが、とりあえずこれを使ってXMLパーサを書いてみた。 こんな感じで定義。 同時に、いい感じにShowクラスのインスタンスにしておきます。 data XML =
require 'parslet' include Parslet # Constructs a parser using a Parser Expression Grammar parser = str('"') >> ( str('\\').ignore >> any | str('"').absent? >> any ).repeat.as(:string) >> str('"') result = parser.parse %Q("this is a valid \\"string\\"") result # => {:string=>"this is a valid \"string\""@1} A small Ruby library for constructing parsers in the PEG (Parsing Expression Grammar) fashion
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
