Menhir
What is Menhir?Menhir is a LR(1) parser generator for the OCaml programming language. That is, Menhir compiles LR(1) grammar specifications down to OCaml code. Menhir was designed and implemented by Fran蔞is Pottier and Yann R嶲is-Gianas. Menhir is 90% compatible with ocamlyacc. Legacy ocamlyacc grammar specifications are accepted and compiled by Menhir. The resulting parsers run and produce correct
プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°: Fortran 90ã®ãƒ‘ーサーを実装ã—よã†ã¨ã—ãŸè©± - type t (* void *)
ã“ã®è¨˜äº‹ã¯è¨€èªžå®Ÿè£… Advent Calendar 2016ã®ï¼‘日目ã®è¨˜äº‹ã§ã™ã€‚ ２週間å‰ãらã„ã‹ã‚‰Fortran 90ã®è¦æ ¼ã«æº–æ‹ ã—ãŸãƒ‘ーサーを書ã“ã†ã¨ã—ã¦è‹¦åŠ´ã—ãŸè©±ã‚’書ãã¾ã™ã€‚ ã‚ã¾ã‚Šå¤§å¤‰ã よ～ã¨ã„ã†èªã¿ç‰©ã«ãªã£ã¦ãŠã‚Šçµè«–ã¯ã‚ã‚Šã¾ã›ã‚“。 ãªãŠå®Ÿè£…ã¯æœªå®Œæˆã§ã™ã€ã€ã€ GitHub - nomaddo/f90: a tiny subset of fortran 90 written in ocaml. 経緯 SIMDã®è«–文をèªã‚“ã§ã„ãŸã‚‰å®Ÿé¨“ã—ãŸããªã£ã¦ã„ã„æ„Ÿã˜ã®ãƒ•ãƒãƒ³ãƒˆã‚¨ãƒ³ãƒ‰ãŒæ¬²ã—ã‹ã£ãŸã€‚ ãŒã€å½“åˆã®ç›®çš„ã¯æ˜Žå¾Œæ—¥ã«è¡Œã£ã¦ãƒ‘ーサーを書ã„ã¦ã„る。 é“å…· 案ã®å®šOCaml + Menhirã§ã™ã€‚ ç§ã¯ãƒ´ã‚¡ãƒªã‚¢ãƒ³ãƒˆã®ãªã„言語ã§ãƒã‚°ã‚‰ãšã«å®Ÿè£…ã§ãã‚‹æ°—ãŒã—ã¾ã›ã‚“。 （最近ã¯Cã§æ›¸ã‹ã‚ŒãŸã‚³ãƒ³ãƒ‘イラもよãèªã‚€ã®ã§ã™ãŒï¼‰ OCamlã§ã‚³ãƒ³ãƒ‘イラを作るã¨ã„ã†ã®ã¯åƒ•ã®ä¸ã§ã¯æ™®é€šã®é¸æŠžè‚¢ã§ã™ã€‚ 世間ã®çš†æ§˜ã¯Cã‚„C
OCamlYaccã‚„Menhirã§ã‚³ãƒ³ãƒ•ãƒªã‚¯ãƒˆã‚’消ã™æ–¹æ³•
YACC ã® shift/reduce, reduce/reduce conflict ã®è§£æ¶ˆã¯ãƒ‘ーサーã®æ•™ç§‘書もã—ãã¯ãƒãƒƒãƒˆæƒ…å ±ã«æ²¢å±±æ›¸ã‹ã‚Œã¦ã„ã‚‹ã¾ã™ã€‚ã¾ãšã€YACC ã®åŸºæœ¬å‹•ä½œåŽŸç†ã¨ã¨ã‚‚ã«ãã‚Œãªã‚Šã«ç†è§£ã—ã¦ãã ã•ã„。ãŸã¨ãˆã° http://guppy.eng.kagawa-u.ac.jp/2006/ProgLang/bison-1.2.8/bison-ja_8.html ãªã©ã€‚ ã©ã®æ•™ç§‘書ã«ã‚‚ã‚ã‚Šã¾ã™ãŒã€ã ã„ãŸã„〠ルールãŒå¤§é›‘把éŽãŽã‚‹ã®ãŒåŽŸå› ã§ã‚ã‚‹ã“ã¨ãŒå¤šã„ã®ã§ã€ã‚¸ã‚§ãƒãƒ¬ãƒ¼ã‚¿ãŒ conflict ã§è¿·ã‚ãªã„よã†ã«ãªã‚‹ã¾ã§ãƒ«ãƒ¼ãƒ«ã‚’書ã下ã™ã€‚ トークンã®å„ªå…ˆé †ä½ã¨çµåˆæ–¹å‘を指定ã™ã‚‹ã“ã¨ã§é©ç”¨å¯èƒ½ãªãƒ«ãƒ¼ãƒ«ã®æ•°ã‚’減ら㙠reduce/reduce ã¯è§£æ¶ˆã—ãŸã»ã†ãŒã‚ˆã„ shift/reduce ã®å ´åˆã¯ shift 優先ãªã®ã§ã€ãã‚Œã§æº€è¶³ãªã‚‰ã»ã£ã¦ãŠã (ãŸã ã—ã‚ãªãŸã® YACC 経験値ã¯ä¸Š
1
ランã‚ング
ランã‚ング
ランã‚ング
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
GitHub - unhammer/ocaml_cg_streamparse at match-singlechar-example
Andromedans/andromeda on GitHub
GitHub - darioteixeira/lexerswitch: A couple of experiments with on-the-fly lexer switching with Menhir
http://nleyten.com/post/2015/10/29/On-the-fly-lexer-switching-with-Menhir
Using menhir with sedlex
GitHub - troydm/micro at simple+ast
sedlex tutorial - Google 検索
TER-Compilation/parser.mly at master · ShadowMitia/TER-Compilation
https://github.com/search?q=topic%3Amenhir&type=Repositories
GitHub - unhammer/ocaml_cg_streamparse: parsing cg stream format, just to learn sedlex+menhir
Mini OCaml Tutorial
GitHub - derdon/menhir-example: This is OCaml code which uses the libraries menhir (http://cristal.inria.fr/~fpottier/menhir/) and the Batteries (http://batteries.forge.ocamlcore.org). After it is compiled, it can be used to parse a file which contains ar
Menhir
{{#tags}}- {{label}}
{{/tags}}