)
Chapter 12 レキサー・パーザージェネレータ (ocamllex, ocamlyacc) - OCaml.jp
このページは最後に更新されてから1年以上経過しています。情報が古い可能性がありますので、ご注意ください。 The Objective Caml system release 3.10 この章では ocamllex と ocamlyacc の解説をします。ocamllex は、正規表現の集合と、それに対応するセマンティクスから字句解析器を生成し、ocamlyacc は文法と、それに対応するセマンティクスから構文解析器を生成します。 このプログラム生成ツールは、C 言語環境で有名な lex と yacc ととてもよく似ています。この章は lex と yacc の知識があることを前提としています。ocamllex と ocamlyacc に与えるソースの文法や lex と yacc との主な相違点などは解説しますが、lex と yacc での字句解析器や構文解析器の基本的な書き方は解説しません。
Stack Computers: the new wave -- an on-line book
Philip J. Koopman, Jr. The ENTIRE BOOK is available to read on-line or to download for off-line reading! Published in 1989, this was the first book to explore the new breed of stack computers led by the introduction of the Novix NC4016 chip. The author commences with an overview of how stacks are used in computing, and a taxonomy of hardware stack support which includes a survey of approximately 7
A Gentle Introduction to Haskell: Classes
やさしい Haskell 入門 ( バージョン 98 ) back next top 5 型クラスと多重定義 最後に他のプログラミング言語とは違う Haskell の型システムの特徴について 説明しましょう。すでに述べてきた多相は、パラメータ ( parametric )多相とよばれるものです。このほかに アドホック多相とよばれる種類のものもあります。これは 多重定義( overloading )という呼びかたのほうがよく知られ ているかもしれません。アドホック多相の例をいくつかあげると、 1、2 などのリテラルは、固定長の整数と任意長の整数の両 方でつかわれることが多い。 + のような数値演算子は何種類もの数値上で定義されることが多い。 同値演算子( Haskell では == )はふつう数値とその他多く(すべてで はない)の型の上で動作することが多い。 こうした多重定義されたものの振
Meet the Monads
モナドに触れる 型構築子 Maybe というモナド 例 リストもモナド 要約 この章をつうじて、Maybe 型構築子を使うので、先にすすむ前に Maybe の使いかたと定義になれておかなければなりません。 型構築子 Haskell のモナドを理解するためには、型構築子の扱いになじんでいる必要があ ります。型構築子 は多相型をもちいたパラメータ化された型定義です。 Haskell では、一つ以上の具体的な型にたいして、型構築子を適用すると 新しい具体的な型を構築できます。Maybe の定義は、 data Maybe a = Nothing | Just a です。Maybe は型構築子で Nothing および Just はデータ構築子です。Just データ構築子を ある値に適用してデータ値を構成できます。 country = Just "China" 同様に、Maybe 型構築子をある型に
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
engineeringppt.net - engineeringppt リソースおよび情報
COS 320, Spring 2011 : Schedule
GitHub - carstenschuermann/celf: The Celf implementation of CLF
GitHub - luther07/SML-COMPILER: developing language compiler per Appel's "Modern Compiler Implementation in ML"