OCaml ã£ã¦ã€ã©ã†ï¼Ÿã†ãŠãŠ Zenn ã®ãƒžãƒ¼ã‚¯ãƒ€ã‚¦ãƒ³ã‚¨ãƒ‡ã‚£ã‚¿ãŒã‚ã¡ã‚ƒã‚ã¡ã‚ƒæ ¼å¥½è‰¯ããªã£ã¦ã„ã¾ã™ï¼ã€€æœ€é«˜ï¼ï¼ Inline styling ã£ã¦ç›¸å½“難ã—ã„ã‚“ã˜ã‚ƒãªã„ã§ã—ょã†ã‹
å·¥å¦éƒ¨å°‚門科目「プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã€(2022年度) - HackMD
å·¥å¦éƒ¨å°‚門科目「プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã€
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
超簡å˜ã«ã‚ªãƒ¢ãƒãƒ£ LWT を実装ã—ã¦ã¿ãŸ - camlspotter’s blog
OCaml ã¯ç¾æ™‚点ã§ãƒžãƒ«ãƒã‚³ã‚¢å¯¾å¿œã˜ã‚ƒãªã„ã®ã§ã€ãƒžãƒ«ãƒã‚¹ãƒ¬ãƒƒãƒ‰ã«ã—ã¦ã‚‚マルãƒã‚³ã‚¢ã®æ©æµã‚’享å—ã™ã‚‹ã“ã¨ãŒã§ãã¾ã›ã‚“。ã§ã™ã®ã§ã€OCaml 㧠thread を使ã†æ—¨ã¿ã¨ã„ã†ã®ã¯ã€é–¢æ•°ã‚’並行ã«èµ°ã‚‰ã›ã‚‹äº‹ãŒã§ãã‚‹ã£ã¦ã“ã¨ã ã‘ã§ã™ã€‚ã§ã‚‚並行ã«èµ°ã‚‰ã›ã‚‹äº‹ãŒå‡ºæ¥ã‚Œã°ã„ã‚ã„ã‚便利ã§ã™ã‚ˆã。 ã§ã‚‚マルãƒã‚¹ãƒ¬ãƒƒãƒ‰ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã§ä¸€ç•ªå›°ã‚‹ã®ãŒæŽ’他制御。ã“れを上手ãã‚„ã£ã¦ã‚„らãªã„ã¨ã€OCaml 㧠type safe ãªã¯ãšãªã®ã«ã€ segfault ã¨ã„ã†äº‹ã«ãªã‚Šã¾ã™ã€‚ã‚‚ã¡ã‚ã‚“ OCaml プãƒã‚°ãƒ©ãƒžã¯æ™®æ®µã‹ã‚‰ type safety ã«æ…£ã‚Œãã£ã¦ã„ã‚‹ã®ã§ã€ type system ã§ä¿éšœã•ã‚Œãªã„排他制御を完璧ã«æ›¸ã‘ã‚‹ã¯ãšãŒãªã„ã®ã§ã™ã€‚心ãŒæŠ˜ã‚Œã¾ã™ã€‚ ãã“ã§ã€light weight thread。ã“ã„ã¤ã¯å®Ÿã¯ thread ã˜ã‚ƒã‚ã‚Šã¾ã›ã‚“。è¦ã¯åŒä¸€ã‚¹ãƒ¬ãƒƒãƒ‰å†…ã§ã‚¿ã‚¹ã‚¯é–¢æ•°ã‚’ã¨ã£ã‹ãˆã²ã£ã‹ãˆ asynchro
List ã® ; ã¨ã€€tuple ã® , - camlspotter’s blog
List, Array, Record ãªã©ã®è¦ç´ 区切り㮠; ã¯ã¨ã¦ã‚‚奇妙ã«è¦‹ãˆã‚‹ã‹ã‚‚ã—ã‚Œãªã„。 OCaml を使ã£ã¦ã„る人ã§ã‚‚ã‚ã¾ã‚Šæ„è˜ã—ã¦ã„ãªã„ã®ã ãŒã€å®Ÿã¯ä¸€è²«æ€§ãŒã‚る。 A ; B 㯠B ; A ã¨æ›¸ã„ã¦ã‚‚åž‹ã¯å¤‰ã‚らãªã„ A , B 㯠B , A ã¨æ›¸ãã¨åž‹ãŒå¤‰ã‚ã‚‹å ´åˆãŒã‚ã‚‹ 例: print_string "hello"; print_string "world" { a = 42; b = "hello" } [ 1; 2; 3 ] [| 1; 2; 3 |] ã“れらã®è¦ç´ を入れ替ãˆã¦ã‚‚åž‹ã¯å¤‰ã‚らãªã„。もã¡ã‚ã‚“æ„味ã¯å¤‰ã‚ã‚‹å ´åˆãŒã‚る。 例: (1, "hello") (int, float) Hashtbl.t ã“れらã®è¦ç´ を入れ替ãˆã‚‹ã¨åž‹ãŒå¤‰ã‚ã£ã¦ã—ã¾ã†ã€‚
Walk around functional web frontend programming
https://opt.connpass.com/event/222709/
ラベル付ã引数ã®ç´¹ä»‹ - Qiita
ã“ã®è¨˜äº‹ã¯ML Advent Calendar 2021 5日目ã®è¨˜äº‹ã§ã™ã€‚ OCamlã®ãƒ©ãƒ™ãƒ«ä»˜ã引数を紹介ã—ã¾ã™ã€‚ å‰ç½®ã é™çš„型付ã言語ã®åˆ©ç‚¹ã®ã²ã¨ã¤ã¨ã—ã¦ã€åž‹ã‚’見れã°ãªã‚“ã¨ãªã処ç†ã®å†…容ã®æƒ³åƒãŒã¤ãã¨ã„ã†ç‚¹ãŒã‚る。 'a -> 'a list -> boolã§ã‚ã‚Œã°ãƒªã‚¹ãƒˆã«å€¤ãŒå«ã¾ã‚Œã‚‹ã‹åˆ¤å®šã™ã‚‹é–¢æ•°ã ã‚ã†ã—ã€('a -> bool) -> 'a list -> 'a optionã§ã‚ã‚Œã°ãƒªã‚¹ãƒˆã‹ã‚‰è¿°èªžã‚’満ãŸã™å€¤ã‚’見ã¤ã‘る関数ã ã‚ã†ã€‚string -> string list -> stringã ã¨æŽ¢ç´¢é–¢æ•°ã£ã½ã•ã‚‚ã‚ã‚‹ã‘ã‚Œã©ã€æ–‡å—列ã®ãƒªã‚¹ãƒˆã®çµåˆé–¢æ•°ã‹ãªã¨ã„ã†æ°—ãŒã™ã‚‹ï¼ˆã¡ãªã¿ã«ã“れらã¯ãã‚Œãžã‚Œæ¨™æº–ライブラリã®List.memã¾ãŸã¯List.memqã€List.find_optã€String.concatã®åž‹ã ）。 ã¨ã¯ã„ã†ã‚‚ã®ã®ã“ã‚Œã«ã‚‚é™ç•ŒãŒã‚ã‚Šã€åŒã˜åž‹ã®å¼•æ•°ã‚’複数å–るよã†ãªé–¢æ•°ã«ãª
最低é™ã® lex / yacc
目次 ï¼‘ç« ã€€ã¯ã˜ã‚ã« å‹•æ©Ÿ å—å¥è§£æžã¨æ§‹æ–‡è§£æž lex 㨠yacc 本書ã®æ§‹æˆ ï¼’ç« ã€€å¼•ãç®—é›»å“ å¯¾è±¡è¨€èªž 引ã算言語ã§ä½¿ã‚れるå—å¥ï¼ˆãƒˆãƒ¼ã‚¯ãƒ³ï¼‰ 引ã算言語ã®æ–‡æ³• 例 ファイルã®æ§‹æˆ 構文木ã®å®šç¾© å—å¥è§£æžãƒ•ã‚¡ã‚¤ãƒ« 補助的ãªå¤‰æ•°ã‚„関数ã€åž‹ã®å®šç¾© æ£è¦è¡¨ç¾ã®ç•¥è¨˜ å—å¥è§£æžã®è¦å‰‡ 構文解æžãƒ•ã‚¡ã‚¤ãƒ« 補助的ãªå¤‰æ•°ã‚„関数ã€åž‹ã®å®šç¾© å„種ã®å®šç¾©ã¨å®£è¨€ トークンã®å®šç¾© エントリーãƒã‚¤ãƒ³ãƒˆï¼ˆé–‹å§‹è¨˜å·ï¼‰ã®æŒ‡å®š éžçµ‚端記å·ã®åž‹ã®æŒ‡å®š 演算åã®çµåˆè¦å‰‡ã¨å„ªå…ˆé †ä½ã®æŒ‡å®š 構文解æžã®è¦å‰‡ï¼ˆæ–‡æ³•ï¼‰ メインファイル 引ãç®—é›»å“ã®å‡¦ç† コンパイルã®æ–¹æ³• 自分ã§ã‚³ãƒ³ãƒ‘イルã™ã‚‹æ–¹æ³• dune を使ã†æ–¹æ³• OCamlMakefile を使ã†æ–¹æ³• ï¼“ç« ã€€shift/reduce conflict 文法ãŒæ›–昧ã‹ã©ã†ã‹ã®ãƒã‚§ãƒƒã‚¯ 構文解æžè¡¨ã®èªã¿æ–¹ çµåˆè¦å‰‡ã«ã‚ˆã‚‹æ›–昧性ã®è§£æ¶ˆ å„ªå…ˆé †ä½ã«ã‚ˆã‚‹æ›–昧性ã®è§£æ¶ˆ %prec ã«ã‚ˆã‚‹å„ªå…ˆé †
Darkdown
OCaml ã§å®Ÿè£…ã™ã‚‹æ¼”ç®—åã®å®šç¾©ãŒã§ãる組ã¿è¾¼ã¿ã® Result åž‹ãŒã‚ã‚‹parser ã®å¤±æ•—を検知ã™ã‚‹å¿…è¦ãŒã‚る引数ã®é©ç”¨ãŒã‚„ã‚Šã‚„ã™ã„俺㯠Haskell ãŒæ›¸ã‘ãªã„ Parser ã®å®šç¾©type input = { text : string; pos : int } type parser_t = input -> input * ('a, string) result; 入力 ã‚’å—ã‘å–ã‚Šã€æ¶ˆè²»ã—ãªã‹ã£ãŸå…¥åŠ›ã¨ã€ãƒ‘ースçµæžœã‚’è¿”ã™ã€‚ 消費ã—ãªã‹ã£ãŸå…¥åŠ›ã‚’è¿”ã™ã®ã¯ã€å¾Œç¶šã® parser ã«æ¸¡ã™ãŸã‚。 例: 最å°é™ã®ãƒ‘ーサー æ–‡å—列ã®å…ˆé 一文å—をパースã™ã‚‹ã€‚ let get_char = function | [] -> None | c::cs -> Some (c, cs) FYI: https://zehnpaard.hatenablog.com/entry/2019/07/05/
OCaml ã® GADTs ã«ã¤ã„ã¦
関数型プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªž OCaml ã® GADTs (Generalized Algebraic Datatypes) ã«é–¢ã—ã¦ã€ä½•ã¨ãªãæ„味論を想åƒã—ãªãŒã‚‰ã‚µãƒ³ãƒ—ルコードを写経ã—ã¦ã¿ã¦ã‚‚全然ã—ã£ãã‚Šã“ãªã‹ã£ãŸã®ã§ã€ã‚ã‹ã£ãŸã“ã¨ã¨ç–‘å•ç‚¹ã‚’ã¾ã¨ã‚ã¦ã„ã“ã†ã¨æ€ã„ã¾ã™ã€‚
1モジュール1データ型主義 - camlspotter’s blog
OCaml ã®ã€Œ1モジュール1データ型スタイルã€ã€‚ã“ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã‚¹ã‚¿ã‚¤ãƒ«ã¯21世紀ã«å…¥ã£ã¦ã‹ã‚‰ãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«ã‚’多用ã™ã‚‹ OCaml コミュニティã§æµè¡Œã‚Šã ã—ãŸã‚‚ã®ã§ç§ã‚‚採用ã—ã¦ã„ã¾ã™ã€‚æºæµã¯ SML æ–¹é¢ã«ã‚ã‚‹ã¨èžãã¾ã—ãŸãŒâ€¦ç§è‡ªä¿¡ã¯ç¢ºèªã—ã¦ã„ã¾ã›ã‚“。è¦å‡ºå…¸ã§ã™ã€‚ 「1モジュール1データ型スタイルã€ã®æ„味ã™ã‚‹ã¨ã“ã‚ã¯ç°¡å˜ã§ã™: データ型一ã¤ä¸€ã¤ã«ãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«ã‚’一ã¤ä¸€ã¤ä½œã‚‹ã€‚ モジュールåã¯åž‹ã®æ„味ã™ã‚‹åå‰ã‚’ã¤ã‘る。人ãªã‚‰ Person。 モジュール内ã§å®šç¾©ã™ã‚‹ãƒ‡ãƒ¼ã‚¿åž‹ã¯å¸¸ã« t ã¨ã„ã†æŠ½è±¡çš„ãªåå‰ã«ã™ã‚‹ã€‚ t を主対象ã¨ã™ã‚‹æ“作ã¯ãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«å†…ã§å®šç¾©ã™ã‚‹ã€‚ ãŸã ã—ã€å…¨ã¦ã® OCaml プãƒã‚°ãƒ©ãƒ ã¯ã“ã®ã‚ˆã†ã«æ›¸ã‹ã‚Œã‚‹ã¹ã—ã€ã¨ã„ã†ã‚‚ã®ã§ã‚‚ã‚ã‚Šã¾ã›ã‚“。 例ãˆã°ã€ OCaml ã®ã‚³ãƒ³ãƒ‘イラã®ã‚½ãƒ¼ã‚¹ã‚³ãƒ¼ãƒ‰ã¯ã“ã®ã‚¹ã‚¿ã‚¤ãƒ«ã§ã¯å…¨ã書ã‹ã‚Œã¦ã„ã¾ã›ã‚“。 「1モジュール1データ型スタイルã€ã®åˆ©ç‚¹ã¯: モジュールå
Irmin
ExamplesBelow is a simple example of setting a key and getting the value out of a Git based, filesystem-backed store. open Lwt.Syntax (* Irmin store with string contents *) module Store = Irmin_git_unix.FS.KV(Irmin.Contents.String) (* Database configuration *) let config = Irmin_git.config ~bare:true "/tmp/irmin/test" (* Commit author *) let author = "Example " (* Commit information *) let info fm
Tarides
Building Functional SystemsOur solutions help developers build robust, secure, high-performance applications whilst maintaining crucial reliability. Custom Development ServicesCustom development of software components and tailor-made tools In-house consultancy services to increase the efficiency of your teams and promote best practices Training, code review and advice on OCaml technologies Open So
Quick and Dirty Guide to Monadic Parsers and Angstrom
Edit Quick and Dirty Guide to Monadic Parsers and Angstrom Author: Metin Akat @loxs Review: Ivan Gotovchits @ivg Abstract This tutorial aims to give you abilities to write parsers quickly for your daily tasks. It’s not a formal or academic explanation of parsers, grammars, monads etc. On the contrary, it aims to be as informal as possible and to have as little requirements for previous knowledge a
OCaml ã®ç’°å¢ƒæ§‹ç¯‰ - Qiita
最åˆã«ä»¥ä¸‹ã®ãƒªãƒ³ã‚¯ã®ã„ãšã‚Œã‹ã‚’一èªã™ã‚‹ã“ã¨ã‚’オススメã—ã¾ã™ã€‚ Real World OCaml ã«è¨˜è¼‰ã•ã‚Œã¦ã„る方法 Installation Instructions OCaml Programming: Correct + Efficient + Beautiful ã«è¨˜è¼‰ã•ã‚Œã¦ã„る方法 Installing OCaml — OCaml Programming: Correct + Efficient + Beautiful 京都大å¦å·¥å¦éƒ¨å°‚門科目「プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžå‡¦ç†ç³»ã€è¬›ç¾©è³‡æ–™ OCaml 処ç†ç³»ã®ã‚¤ãƒ³ã‚¹ãƒˆãƒ¼ãƒ« OPAM ã®ã‚¤ãƒ³ã‚¹ãƒˆãƒ¼ãƒ« OPAM ã¨ã¯ OCaml PAckage Manager パッケージマãƒãƒ¼ã‚¸ãƒ£ã ã‘ã©ã€OCaml本体もOPAMを通ã—ã¦ã‚¤ãƒ³ã‚¹ãƒˆãƒ¼ãƒ«ã§ãã‚‹ ãªã®ã§æœ€åˆã«OPAMを入れる OPAMã®ã‚¤ãƒ³ã‚¹ãƒˆãƒ¼ãƒ«æ™‚ã«OCamlãŒå…¥ã‚‹ãŒã€ç‰¹ã«é–¢ä¿‚ãªã„ Mac ãªã‚‰ b
OCaml 入門ãã®4 モジュール・ファンクタ - Qiita
プãƒã‚°ãƒ©ãƒ ã®éƒ¨å“ã ãŒã€OCaml ã§ã¯ ストラクãƒãƒ£ã¨å‘¼ã¶ã€‚ OCamlã®ãƒ©ã‚¤ãƒ–ラリã¯å…¨ã¦ãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«ï¼ˆã‚¹ãƒˆãƒ©ã‚¯ãƒãƒ£ï¼‰ã¨ã—ã¦æä¾›ã•ã‚Œã‚‹ã€‚ ファイルåãŒãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«å example.ml ã¨ã„ã†ãƒ•ã‚¡ã‚¤ãƒ«å　→　Example ã¨ã„ã†ãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«ã€‚ 標準モジュール OCaml組ã¿è¾¼ã¿ã®ãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«éƒ¡ (* リスト *) # List.length [1; 2; 3];; - : int = 3 # let q = Queue.create ();; val q : '_a Queue.t = <abstr> (* ã‚ュー *) # Queue.add "first" q;; - : unit = () # Queue.take q;; - : string = "first" # Queue.take q;; Exception: Queue.Empty. (* é…列 *) # Array.make
List.fold_right 㧠List.fold_left を書ã - fetburner.core
ã“ã®è¨˜äº‹ã¯ ML Advent Calendar 2020 ã®14日目ã®è¨˜äº‹ã§ã™ï¼Ž リスト㮠Church encoding ã¨è¨€ãˆã° List.fold_right ã§è¡¨ç¾ã™ã‚‹ã“ã¨ãŒå¤šã„よã†ã«æ€ã„ã¾ã™ãŒï¼ŒæžœãŸã—㦠List.fold_right ã ã‘ã—ã‹ä½¿ã‚ãšã«æ§˜ã€…ãªãƒªã‚¹ãƒˆã«ã¤ã„ã¦ã®å†å¸°é–¢æ•°ã‚’表ç¾ã§ãã‚‹ã®ã‹ç–‘å•ã«æ€ã†äººã‚‚多ã„ã®ã§ã¯ãªã„ã§ã—ょã†ã‹ï¼Ÿ 本記事ã§ã¯ï¼ŒList.fold_right を用ã„㦠List.fold_left を実装ã™ã‚‹æ–¹æ³•ã‚’紹介ã—ã¾ã™ï¼Žå¾Œè€…ã¯æœ«å°¾å†å¸°ãªã®ã§ã‚ã–ã‚ã–回りãã©ã„ã“ã¨ã‚’ã›ãšã«ç›´æŽ¥ä½¿ã£ãŸæ–¹ãŒè‰¯ã„ã®ã¯ã‚‚ã£ã¨ã‚‚ãªã®ã§ã™ãŒï¼Œfoldr/build ãªã‚“ã‹ã‚’考ãˆã‚‹æ™‚ã«é ã®ç‰‡éš…ã«ã‚ã‚‹ã¨ä¾¿åˆ©ã‹ã‚‚ã—ã‚Œã¾ã›ã‚“． List.fold_right 㨠List.fold_left OCaml 標準ライブラリã§æä¾›ã•ã‚Œã¦ã„ã‚‹ List.fold_right ã¨ã¯èªã‚“ã§å—ã®ã”ã¨ãリ
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
2024-07 Ocsigen: 1st public meeting
IoPLMaterials/HACKING.md at master · kuis-isle3sw/IoPLMaterials
GitHub - janestreet/learn-ocaml-workshop: Exercises and projects for Jane Street's OCaml Workshop
{{#tags}}- {{label}}
{{/tags}}