Menhir 㨠ocamllex ã®ã‚µãƒ³ãƒ—ルコードをã„ãã¤ã‹ - Qiita
ã¯ã˜ã‚㫠プãƒã‚°ãƒ©ãƒ を書ã„ã¦ã„ã‚‹ã¨ã€ã¡ã‚‡ã£ã¨ã—ãŸè¨€èªžå‡¦ç†ç³»ã‚’作りãŸããªã‚‹ã“ã¨ãŒã‚ã‚Šã¾ã™ã€‚ã¡ã‚‡ã£ã¨ã—ãŸè¨€èªžå‡¦ç†ç³»ã‚’作ã‚ã†ã¨ã—ãŸã¨ãã€OCamlã¯è‰¯ã„é¸æŠžè‚¢ã§ã™ã€‚何故良ã„é¸æŠžè‚¢ãªã®ã‹ã¯ã‚ˆãã‚ã‹ã‚Šã¾ã›ã‚“ãŒã€å®Ÿéš›æ›¸ã„ã¦ã¿ã¦å¿«é©ã§ã—ãŸã—ã€ãˆã‚‰ã„人もãã†è¨€ã£ã¦ã¾ã—ãŸã—ã€ã¾ã‚ã„ã„ã‚„ã€ã¨ã«ã‹ã良ã„é¸æŠžè‚¢ã§ã™ã€‚ ã—ã‹ã—ã€ç´ ã®OCamlã§æ§‹æ–‡è§£æžå™¨ã‚„å—å¥è§£æžå™¨ã‚’作るã®ã¯ã—ã‚“ã©ã„ã§ã™ã€‚手を抜ã“ã†ã¨æ€ã£ãŸã‚‰æ§‹æ–‡è§£æžå™¨ç”Ÿæˆå™¨Menhirã¨å—å¥è§£æžå™¨ç”Ÿæˆå™¨ocamllexを使ã†ã®ãŒå¸¸å¥—手段ã§ã—ょã†ã€‚ ãŒã€æ™®é€šã®äººã¯ãã†é »ç¹ã«æ–°ã—ã言語処ç†ç³»ã‚’作ã£ãŸã‚Šã—ã¾ã›ã‚“ã®ã§ã€ Menhir ã‚„ ocamllex ã®ä½¿ã„方を忘れãŒã¡ã§ã™ã€‚ã“ã†ãªã‚‹ã¨å›°ã‚Šã¾ã™ã€‚例ãˆã°ã€ŒåŠå¹´ã¶ã‚Šã«è¨€èªžå‡¦ç†ç³»ã‚’作りãŸã„気分ã«ãªã£ã¡ã‚ƒã£ãŸã€ã¨ã„ã†ã¨ãã€ã€Œã‚ã‚Œã£ï¼Ÿ Menhir ã£ã¦ã©ã†æ›¸ãã‚“ã ã£ã‘？ã€ã¨ãªã‚Šã€ã“ã†ãªã‚‹ã¨æ°—分ãŒé‡ããªã‚Šã€çµæžœã€Œè¨€èªžå‡¦ç†ç³»ã¤ãら
GitHub - goblint/cil: C Intermediate Language
CIL is a front-end for the C programming language that facilitates program analysis and transformation. CIL will parse and typecheck a program, and compile it into a simplified subset of C. goblint-cil is a fork of CIL that supports C99, C11 as well as most of the extensions of the GNU C. It makes many changes to the original CIL in an effort to modernize it and keep up with the latest versions of
GitHub - mathiasbourgoin/SPOC: Stream Processing with OCaml
SPOC is a set of tools for GPGPU programming with OCaml. The SPOC library enables the detection and use of GPGPU devices with OCaml using Cuda and OpenCL. There is also a camlp4 syntax extension to handle external Cuda or OpenCL kernels, as well as a DSL to express GPGPU kernels from the OCaml code. This work was part of my PhD thesis (UPMC-LIP6 laboratory, Paris, France) and was partially funded
OCaml Programming: Correct + Efficient + Beautiful — OCaml Programming: Correct + Efficient + Beautiful
Preface About This Book Installing OCaml Introduction 1. Better Programming Through OCaml 1.1. The Past of OCaml 1.2. The Present of OCaml 1.3. Look to Your Future 1.4. A Brief History of CS 3110 1.5. Summary 2. The Basics of OCaml 2.1. The OCaml Toplevel 2.2. Compiling OCaml Programs 2.3. Expressions 2.4. Functions 2.5. Documentation 2.6. Printing 2.7. Debugging 2.8. Summary 2.9. Exercises OCaml
me/007-My-Thoughts-on-OCaml-vs-Haskell-Rust-2023.md at master · sidkshatriya/me
Recently, osa1's My Thoughts on OCaml generated quite a robust conversation on Hacker News. Overall I felt the blog post was a bit too critical about OCaml. However, everyone has a right to their opinions and I respect whatever has been written. Except for a couple of points, the article didn't resonate with me, so I thought I should pen down my good/bad experiences with OCaml and see if others ha
OCaml 5.1 㨠Eio 㧠HTTPS クライアントを書ã
Eio ã¨ã¯ Eio ã¯ã€OCaml 5.0 ã‹ã‚‰å°Žå…¥ã•ã‚ŒãŸ effect handler を用ã„ãŸéžåŒæœŸå‡¦ç†ãƒ©ã‚¤ãƒ–ラリã§ã™ã€‚ã¤ã„先日 1.0 ãŒãƒªãƒªãƒ¼ã‚¹ã•ã‚Œã€ã„ã¾ã‚¢ãƒ„ã„ã§ã™ï¼ˆç†è€…調ã¹ï¼‰ã€‚ Eio ã§ã¯æ—¢å˜ã® Lwt ã‚„ Async ã¨ç•°ãªã‚Šå‡¦ç†çµæžœãŒ Lwt.t ãªã©ã®åž‹ã§ãƒ©ãƒƒãƒ—ã•ã‚Œãªã„ãŸã‚ã€bind（>>=）や ppx_lwt ã® let%lwt x = ... ã®ã‚ˆã†ãªè¨˜æ³•ã‚’用ã„ãšã«ï¼ˆdirect style ã§ï¼‰ã‚³ãƒ¼ãƒ‰ã‚’書ãã“ã¨ãŒã§ãã‚‹ã¨ã„ã†ç‰¹å¾´ãŒã‚ã‚Šã¾ã™ã€‚例ãˆã°å˜ç´”ãªä¾‹ã¨ã—ã¦ã€5 秒ã¾ã£ã¦ã‹ã‚‰ "Hello world!" ã¨å‡ºåŠ›ã™ã‚‹ã‚ˆã†ãªã‚³ãƒ¼ãƒ‰ã¯ã€Lwt ã§ã¯ä»¥ä¸‹ã®ã‚ˆã†ã« >>= を使ã£ã¦æ›¸ãå¿…è¦ãŒã‚ã‚Šã¾ã™ãŒï¼š open Lwt.Infix Lwt_main.run ( Lwt_unix.sleep 5.0 >>= fun () -> Lwt_io.printf "Hello
GitHub - janestreet/magic-trace: magic-trace collects and displays high-resolution traces of what a process is doing
magic-trace collects and displays high-resolution traces of what a process is doing. People have used it to: figure out why an application running in production handles some requests slowly while simultaneously handling a sea of uninteresting requests, look at what their code is actually doing instead of what they think it's doing, get a history of what their application was doing before it crashe
TaPL ã®ã‚µãƒ³ãƒ—ルコードを dune ã§ãƒ“ルドã—ã¦èªã¿ã‚„ã™ãã™ã‚‹
TaPL(型システム入門 -プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã¨åž‹ã®ç†è«–-) ã¯åž‹ã‚·ã‚¹ãƒ†ãƒ ã«ã¤ã„ã¦ä½“系的ã«å¦ã¹ã‚‹æ•™ç§‘書ã§ã™ã€‚ å‹äººã‹ã‚‰ã€Œåž‹å‘¨ã‚Šã¡ã‚ƒã‚“ã¨å‹‰å¼·ã—ãŸã„ãªã‚‰ã“ã‚Œèªã‚€ã¨è‰¯ã„よ〜ã€ã¨å‹§ã‚られèªã‚“ã§ã„ã‚‹ã®ã§ã™ãŒã€æ£ç›´ä½•ã‚‚ã‚ã‹ã‚‰ã‚“ã¨ã„ã†çŠ¶æ…‹ãªã®ã§ã‚µãƒ³ãƒ—ルコード（実装）ã‹ã‚‰æœ¬æ–‡ã‚’èªã¿è§£ã„ã¦ã„ã¾ã™ã€‚ ã“ã®æœ¬ã«ã¯ã‚µãƒãƒ¼ãƒˆãƒšãƒ¼ã‚¸ãŒå˜åœ¨ã—ã¦ãŠã‚Šã€implementations ã¨ã„ã†ã‚»ã‚¯ã‚·ãƒ§ãƒ³ã‹ã‚‰ã‚µãƒ³ãƒ—ルコードを DL ã™ã‚‹ã“ã¨ãŒã§ãã¾ã™ã€‚ ãŸã ã—ã“ã®ã‚µãƒ³ãƒ—ルコードをãã®ã¾ã¾èªã‚“ã§ã„ãã®ã¯å°‘ã—è¾›ã„ã¨ã“ã‚ãŒã‚ã£ãŸã®ã§ãれをèªã¿ã‚„ã™ãã§ãるよã†ã«ã™ã‚‹ã®ãŒæœ¬è¨˜äº‹ã®è¶£æ—¨ã§ã™ã€‚ TaPL ã®ã‚µãƒ³ãƒ—ルコードãŒã‚„ã£ã¦ã„ã‚‹ã“㨠本文ã§ã¯æ§‹æ–‡ã®è©•ä¾¡è¦å‰‡ã‚„型付ã‘è¦å‰‡ã‚’実装ã—ã¦ã„ã例ãŒä¹—ã£ã¦ã„ã‚‹ã®ã§ã™ãŒã€é…布ã•ã‚Œã‚‹ã‚µãƒ³ãƒ—ルコードã§ã‚„ã£ã¦ã„ã‚‹ã“ã¨ã¯ã‚³ãƒ³ãƒ‘イラã®è‡ªä½œã§ã™ã€‚ 評価å¯èƒ½ãªå½¢ã«å¤‰æ›ã—ãŸã‚Šã€ãれをテストã—ãŸã‚Šã™ã‚‹ã‚ã‘ãªã®ã§ã€å—å¥è§£æž
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
GitHub - ocaml-community/cppo: C-style preprocessor for OCaml
GitHub - aantron/lambdasoup: Functional HTML scraping and rewriting with CSS in OCaml
GitHub - ocaml-multicore/eio: Effects-based direct-style IO for multicore OCaml
GitHub - lukstafi/ocaml-cudajit: Bindings to the `cuda` and `nvrtc` libraries with a unified interface
GitHub - owlbarn/owl: Owl - OCaml Scientific Computing @ https://ocaml.xyz
OCaml from the Very Beginning
OCaml From the Ground Up
Merlin vs Ocaml-lsp
GitHub - ocaml/ocaml-lsp: OCaml Language Server Protocol implementation
How to jump to type definition in Emacs + merlin
Emacs reference
GitHub - hsk/tapl
{{#tags}}- {{label}}
{{/tags}}