タグ

関連タグで絞り込む (0)

  • 関連タグはありません

タグの絞り込みを解除

OCamlとGrassに関するokagawaのブックマーク (2)

  • Glid: Grass/Let interpreter and decompiler - λx. x K S K @はてな

    草言語Grassが流行っているようなので,Grassプログラミング支援ツールGlidを公開します. Objective Camlで実装されているという点ではYTさんに先を越されてしまいましたが, より多くの機能を提供しています. といっても,実装の効率はあまりよくないので,速いGrass処理系が欲しいだけの方にはあまり役に立ちません. Glidは,簡単にいうと言語Grassと言語Letの間の双方向の翻訳ツールです. 言語Letは,次の文法で与えられる単純な関数型言語でGrassよりは楽にプログラムが書けます. Prog := Def* Def := let Var Var* = Exp Exp := Var | Exp Exp | let Var = Exp in Exp | Exp;Exp Var := In | Out | Succ | W | [_a-zA-Z0-9]+ 主な使用目的

    Glid: Grass/Let interpreter and decompiler - λx. x K S K @はてな
    okagawa
    okagawa 2008/09/14
    Grass <-> Letコンバータ
  • v - Note

    インタプリタは楽勝で書けたんですけど(一応仕様以外見てないです)、肝心のgrassコードを書ける気が全くしません。 WWwwwでxが用意できて、そこから1インクリメントするのにWWWw,WWWWw,WWWWWw...しかないんじゃないでしょうか。 そもそもトップが56バイトってことは、ですね……3^56ぐらい、真面目に考えるより全探索したほうが早いんじゃないでしょうか。*1 *1:3^56 = 523347633027360537213511521多いなorz

    v - Note
  • 1