Real World OCaml
Functional programming for the masses2nd Edition (Oct 2022) Yaron Minsky Yaron Minsky joined Jane Street in 2003, where he started out developing quantitative trading strategies, going on to found the firm's quantitative research group. He introduced OCaml to the company and managed the transition to using OCaml for all of its core infrastructure, turning Jane Street into the world's largest indus
Ppx_deriving, ppx_type_conv and jbuilder: things should be better now
Hi, You might have exeperienced issues recently related to bad interactions between ppx_type_conv and ppx_deriving. Work was done to improve the situation, and since this last PR yesterday I expected that all remaining issues are gone. In particular, if you have been using both ppx_deriving plugins such as ppx_deriving_yojson and ppx_type_conv plugins such as ppx_sexp_conv on the same files, then
Dynamic Functor Example – OCaml
Dynamic Functor Example Deprecation Warning: this tutorial describes technology that is considered obsolete. It's been replaced by extensions points and ppx rewriters dynamic_functor_example.ml: type t1 = A | B type t2 = Foo of string * t1 open Camlp4 module Id = struct (* Information for dynamic loading *) let name = "My_extension" let version = "$Id$" end (* An extension is just a functor: Synta
A deep dive into Multicore OCaml garbage collector · KC Sivaramakrishnan
I recently gave a talk on the internals of multicore OCaml GC at Jane Street offices in NYC. The slides from the talk are available online. But I felt that the slides alone aren’t particularly edifying. This post is basically the slides from the talk annotated with notes. Abstract In a mostly functional language like OCaml, it is desirable to have each domain (our unit of parallelism) collect its
OCaml: hello world!ãŒå®Ÿè¡Œã•ã‚Œã‚‹ã¾ã§ - type t (* void *)
C# ã®Helloworldã®åŸºç¤Žã‚’説明ã§ãる人ã€å¼Šç¤¾ã«ä¸€ç™ºã§å…¥ç¤¾ã§ãã¾ã™ã‚ˆã€‚ã£ã¦ã‹ã‚“ã˜ã 。— ãã‚‡ã‚“ï¼ ã†ã•ã¿ã¿ãƒ¢ãƒ¼ãƒ‰ (@kyon_mm) 2017å¹´5月16æ—¥ @func_hs 別ã«è¨€èªžã¯ã¨ã‚ãªã„ã¤ã‚‚ã‚Šã§ã™ã‘ã©ã€ C# ã ã¨ã†ã‚Œã—ã„。— ãã‚‡ã‚“ï¼ ã†ã•ã¿ã¿ãƒ¢ãƒ¼ãƒ‰ (@kyon_mm) 2017å¹´5月16æ—¥ å‰ä¸€åº¦èª¿ã¹ãŸã®ã§è¨˜äº‹ã‚’ã¾ã¨ã‚ã¦ãŠã。 OCamlプãƒã‚°ãƒ©ãƒ ã®åˆæœŸåŒ–ã¯è¤‡é›‘ã ãªãæ€ã£ãŸæ¬¡ç¬¬ã§ã™ã€‚ コンパイルコマンド ocamlopt -verboseã§å®Ÿéš›ã«å‹•ãコマンドãŒè¦‹ãˆã‚‹ã®ã§ã¾ãšã‚³ãƒ¬ã‚’ãƒã‚§ãƒƒã‚¯ã—ã¦ãŠã。 çµæ§‹è‰²ã€…ãªã“ã¨ãŒåˆ†ã‹ã‚‹ $ ocamlopt -verbose -o caml_hello hello.ml + as -o 'hello.o' '/tmp/camlasmfdcbdf.s' + as -o '/tmp/camlstartupfccd4a.o' '/tmp/ca
ファンクターã«ã¤ã„ã¦ã®è¦šãˆæ›¸ã - Qiita
ã“ã®è¨˜äº‹ã¯ã€ãƒ•ã‚¡ãƒ³ã‚¯ã‚¿ãƒ¼ã«ã¤ã„ã¦ã²ã£ãã‚Šãªã—ã«å‹˜é•ã„ã‚’ç¹°ã‚Šè¿”ã—ã¦ã„ãŸéŽåŽ»ã®è‡ªåˆ†ã¸ã®è¦šãˆæ›¸ãã§ã™ã€‚ファンクターã¯é›£ã—ã„ã¨è¨€ã‚れるã‚ã‚Šã«ã¯ã€ããã£ã¦ã¿ã‚‹ã¨ä½™è£•ã§ç†è§£ã•ã‚Œã¦ã„ã‚‹æ–¹ãŒå¤šã„よã†ãªæ°—ãŒã™ã‚‹ã‚“ã§ã™ã‚ˆã。回りãã©ãã¦ä½•ãŒä½•ã ã‹ã‚ã‹ã‚‰ã‚“ï¼ã¨æ€ã£ãŸã‚‰ã€ãã‚Œã¯ãã‚Œã ã‘勘é•ã„ã‚’ç¹°ã‚Šè¿”ã—ã¦ã„ãŸç§ã®ã›ã„ã§ã™ã€‚ãŠã‹ã—ãªç‚¹ãŒã‚ã£ãŸã‚‰ãƒ„ッコミをãŠé¡˜ã„ã—ã¾ã™ã€‚ ãã‚Œã§ã¯ã¾ãšã€OCaml ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ«ã‹ã‚‰ãƒ•ã‚¡ãƒ³ã‚¯ã‚¿ãƒ¼ã®èª¬æ˜Žã‚’抜ã出ã—ã¦ã¿ã¾ã—ょã†ã€‚ ファンクタã¯ãŠãらã OCaml ã®ä¸ã§ã‚‚ã£ã¨ã‚‚複雑ãªç‰¹å¾´ã®ã²ã¨ã¤ã ãŒã€ OCaml プãƒã‚°ãƒ©ãƒžãƒ¼ã¨ã—ã¦æˆåŠŸã™ã‚‹ãŸã‚ã«ãƒ•ã‚¡ãƒ³ã‚¯ã‚¿ã‚’広ã使ã„ã“ãªã™å¿…è¦ã¯ãªã„。実際ã€ã‚ãªãŸè‡ªèº«ã§ã¯ãƒ•ã‚¡ãƒ³ã‚¯ã‚¿ã‚’定義ã—ãŸã“ã¨ã¯ãªã„ã‹ã‚‚ã—ã‚Œãªã„ãŒã€æ¨™æº–ライブラリã§é–“é•ã„ãªã出会ã†ã ã‚ã†ã€‚ファンクタ㯠Set ã‚„ Map モジュールを使ã†å”¯ä¸€ã®æ–¹æ³•ã ãŒã€ä½¿ã†ã®ã¯ãã‚“ãªã«é›£ã—ãã¯ãªã„。 ãµã‚€ãµã‚€
1
ランã‚ング
ランã‚ング
ãŠçŸ¥ã‚‰ã›
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
Home
OCAML Tutorial 1/33: Introduction
OCAML Tutorial 31/33: Creating Modules in OCAML
Functors in OCaml
OCaml - functors - how to use?
Lecture 9: Functors — Parameterized Modules
Deprecating the Forge in 2017
OCaml: Modules
{{#tags}}- {{label}}
{{/tags}}