[B! OCaml][programming] Nnwwwã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

Nnwww id:Nnwww

OCamlã¨programmingã«é–¢ã™ã‚‹Nnwwwã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (14)

${{author_name}}$

{{{comment_expanded}}}

{{label}}

{{#is_bookmark}}ãƒªã‚¹ãƒˆ{{/is_bookmark}}{{^is_bookmark}}ãƒªãƒ³ã‚¯{{/is_bookmark}}

${{author_name}}$
{{author_name}}{{created}}
{{ #comment }}{{ comment }}{{ /comment }}
- {{ label }}

${{author_name}}$

{{{comment_expanded}}}

{{label}}

{{#is_bookmark}}ãƒªã‚¹ãƒˆ{{/is_bookmark}}{{^is_bookmark}}ãƒªãƒ³ã‚¯{{/is_bookmark}}

OCamlã®format (åž‹å®‰å…¨ãªprintf/scanf) ã®ä»•çµ„ã¿ - ç°¡æ½”ãªQ
OCamlã®Pervasives (ãƒ‡ãƒ•ã‚©ãƒ«ãƒˆã§openã•ã‚Œã‚‹ãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«) ã«ã¯ã€Printf/Format/Scanfã§ä½¿ã†ãŸã‚ã® format ã¨ã„ã†åž‹ãŒã‚ã‚‹ã€‚ OCamlã®ç‰¹æ®Šæ©Ÿèƒ½ã¨ã—ã¦ã€åž‹æŽ¨è«–æ™‚ã«æ–‡å—åˆ—ãƒªãƒ†ãƒ©ãƒ«ã«stringã§ã¯ãªãformatã¨ã„ã†åž‹ãŒã¤ãã“ã¨ãŒã‚ã‚‹ã€‚ $ ocaml OCaml version 4.04.0+dev2-2016-04-27 # "%d";; - : string = "%d" # ("%d" : _ format);; - : (int -> 'a, 'b, 'a) format = CamlinternalFormatBasics.Format (CamlinternalFormatBasics.Int (CamlinternalFormatBasics.Int_d, CamlinternalFormatBasics.No_padding, C
Nnwww 2017/01/29
OCaml

programming
ãƒªãƒ³ã‚¯
https://strymonas.github.io/
Nnwww 2016/11/15
Multi-Stage Programmingï¼Œè¦šãˆã¾ã—ãŸã—

programming

OCaml
ãƒªãƒ³ã‚¯
OCaml ã® let ã¨ let rec ã¯ãªãœåˆ¥æ‰±ã„ã«ãªã£ã¦ã„ã‚‹ã®ã‹ã€æ±ºå®šç‰ˆã€ã‚‚ã—ãã¯ OCaml æš¦åä½•å¹´ã ã£ãŸã‹å¿˜ã‚ŒãŸã‘ã©ä»•äº‹ã§ Haskell ã‚’ä¸€å¹´ä½¿ã£ã¦ã¿ãŸ - camlspotterâ€™s blog
ã¯ã˜ã‚ã«æ–ã£ã¦ãŠããŒã€å…¨éƒ¨Pros/Consã®ã‚ã‚‹ãƒ‡ã‚¶ã‚¤ãƒ³ãƒãƒ§ã‚¤ã‚¹ãªã®ã§ã€ã“ã†ã˜ã‚ƒãªãã‚ƒã„ã‘ãªã„ã£ã¦ã“ã¨ã§ã¯ãªã„ã€‚ãŸã ã€ OCaml ã¯ã“ã®é¸æŠžã‚’ã—ãŸã€ãã„ã†äº‹ã ã€‚ å‰å›žã®ã€ŒçµŒé¨“15å¹´ã® OCaml ãƒ¦ãƒ¼ã‚¶ãƒ¼ãŒ Haskell ã‚’ä»•äº‹ã§åŠå¹´ä½¿ã£ã¦ã¿ãŸã€ http://d.hatena.ne.jp/camlspotter/20101212/1292165692 ã®ã‚ˆã†ãªæ˜“ã—ã„æ–‡ç« ã§ã¯ãªã„ã®ã§ã‚ã‹ã‚‰ãªã„äººã¯ã¨ã“ã¨ã‚“åˆ¤ã‚‰ãªã„ã ã‚ã†ã€‚ã¾ã‚å‹˜å¼ã—ã¦æ¬²ã—ã„ã€‚ ã‚ã¨ã€é¢å€’ã ã‚ã†ãŒã€èªã‚€äººã¯å…¨éƒ¨å¸¸ä½“ã‚’æ•¬ä½“ã«ã—ã¦æœ€å¾Œã«ã€Œã¨æ€ã„ã¾ã™ã€ã‚’ã¤ã‘ã¦èªã‚“ã§ãã‚Œã€‚ãã ã•ã„ã€ã¨æ€ã„ã¾ã™ã€‚ Shadowing ã¯ä¾¿åˆ©ã§ã‚ã‚‹ã¨æ€ã£ã¦ã„ã‚‹ OCaml ã® let ã¯éžå†å¸°ãªã®ã§ä»¥å‰å®šç¾©ã•ã‚ŒãŸåå‰ã«åˆ¥ã®å€¤ã®æŸç¸›ã‚’ã‚ªãƒ¼ãƒãƒ¼ãƒ©ã‚¤ãƒ‰ã§ãã‚‹ã€‚OCaml ã®äººã¯ã“ã‚ŒãŒä¾¿åˆ©ã ã¨æ€ã£ã¦ãŠã‚Šçš†æ™®é€šã«ä½¿ã£ã¦ã„ã‚‹ã€‚è©³ã—ãã¯ http://d.hat
Nnwww 2016/09/20
OCaml

Haskell

programming

functional

semantics

lazy-evaluation
ãƒªãƒ³ã‚¯
OCaml (deprecated) - Visual Studio Marketplace
Launch VS Code Quick Open (Ctrl+P), paste the following command, and press enter. If you are seeking for an OCaml debugger vscode extension. Take a look at ocamlearlybird. Deprecated. Please use this official extension instead. Features Basic syntax highlighting for *.ml, *.mli, *.mly and *.mll. ported from textmate Auto-completion (aka. IntelliSense). powered by ocamlmerlin Error check on the fly
Nnwww 2016/06/09
visual studio codeã®merin&ocp-indentãƒã‚¤ãƒ³ãƒ‡ã‚£ãƒ³ã‚°æ¥ãŸï¼

ocaml

Visual Studio

programming
ãƒªãƒ³ã‚¯
Unix system programming in OCaml
Unix system programming in OCamlXavier Leroy and Didier RÃ©my1stDecember ,Â 2014 Â© 1991, 1992, 2003, 2004, 2005, 2006, 2008, 2009, 2010 Xavier Leroy and Didier RÃ©my, inria Rocquencourt. Rights reserved. Consult the license. Translation by Daniel C. BÃ¼nzli, Eric Cooper, Eliot Handelman, Priya Hattiangdi, Thad Meyer, Prashanth Mundkur, Richard Paradies, Till Varoquaux, Mark Wong-VanHaren Proofread by
Nnwww 2016/05/30
UNIX

programming

ML

ocaml

SystemProgramming
ãƒªãƒ³ã‚¯
1ML - core and modules united
Description 1ML is a reboot of ML starting from first-class modules, and unifies core and module layer into one small and consistent language. It is described in the following papers: Andreas Rossberg. 1ML â€” core and modules united. ICFP 2015. Andreas Rossberg. 1ML â€” core and modules united (Extended). 2015. Expanded version including Technical Appendix. Andreas Rossberg. 1ML â€” core and modules un
Nnwww 2016/05/21
ã‚ˆã•

ML

Paper

programming

OCaml
ãƒªãƒ³ã‚¯
Documentation | reason
Documentation This directory is not the Reason User documentation. This directory is for Reason contributor documentation. The Reason user docs live online at https://reasonml.github.io. The repo for those Reason docs lives at github.com/reasonml/reasonml.github.io Inside of this directory: Getting Started Contributing: GETTING_STARTED_CONTRIBUTING.md. Releasing: RELEASING.md Programmatically Usin
Nnwww 2016/05/18
moduleå‘¨ã‚Šã¯è‰¯ããªã‚Šãã†ã ã‘ã©ã€ä»–ã®æ–‡æ³•ãŒå¾®å¦™ã â€¦æ‚ªåŒ–ã—ãŸç®‡æ‰€ã‚‚ã‚ã‚‹ã®ã§ã€Q&Aã§è¨€ã£ã¦ã‚‹ãƒ•ã‚£ãƒ¼ãƒ‰ãƒãƒƒã‚¯ã«æœŸå¾…ã—ã¾ã™

programming

ocaml

facebook
ãƒªãƒ³ã‚¯
Exercise Platform for the OCaml MOOC
Nnwww 2016/02/24
ãã†ã„ãˆã°OCaml MOOCã§ä½¿ã‚ã‚Œã¦ã„ãŸOCamlã®ãƒ‡ãƒ¢ç”¨ãƒ—ãƒ©ãƒƒãƒˆãƒ•ã‚©ãƒ¼ãƒ ãŒã‚¹ã‚¿ãƒ³ãƒ‰ã‚¢ãƒãƒ¼ãƒ³ã§å…¬é–‹ã•ã‚Œã¦ã¾ã™ã‚ˆã(Try OCamlç½®ãæ›ãˆã¡ã‚ƒã£ã¦ã‚‚è‰¯ã„ã‚“ã˜ã‚ƒãªã„ã‹ã¨ã„ã†å‡ºæ¥

OCaml

IT

programming

software
ãƒªãƒ³ã‚¯
SMLã§Dynamic(å†ã³) - ::Eldesh a b = LEFT a | RIGHT b
ã“ã®è¨˜äº‹ã¯ ML Advent Calendar 2014 7æ—¥ç›®ã®è¨˜äº‹ã§ã™ã€‚ ã“ã“ã§ã¯SMLã«ã‚ˆã‚‹Dynamic(ã‚ã‚‹ã„ã¯Any)ã¨å‘¼ã°ã‚Œã‚‹*1ã€ä»»æ„ã®åž‹ã®å€¤ã‚’ä¿æŒå‡ºæ¥ã‚‹ãƒ†ã‚¯ãƒ‹ãƒƒã‚¯ã‚’ç´¹ä»‹ã—ã¾ã™ã€‚ ä»»æ„ã®åž‹ã®å€¤ã‚’ä¿æŒå¯èƒ½ãªåž‹ã¨ã„ã†å†…å®¹ã¯ ä»¥å‰ã‚‚ç´¹ä»‹ã—ãŸã“ã¨ãŒã‚ã‚Šã¾ã™(2) ãŒã€å‰å›žç´¹ä»‹ã—ãŸå®Ÿè£…ã§ã¯ä¾‹å¤–ã‚’ä½¿ã£ã¦ãŠã‚Šã€ãƒ—ãƒã‚°ãƒ©ãƒ ã®ä½œæ³•ã¾ãŸã¯ãƒ‘ãƒ•ã‚©ãƒ¼ãƒžãƒ³ã‚¹ã«æ‡¸å¿µãŒã‚ã‚‹ã‹ã‚‚çŸ¥ã‚Œã¾ã›ã‚“ã€‚ãƒ—ãƒã‚°ãƒ©ãƒžã®å¿ƒç†çš„ã«ã‚‚ã‚ˆã‚ã—ããªã•ãã†ã§ã™ã€‚ ã“ã®è¨˜äº‹ã§ã¯ä¾‹å¤–ã‚’ä½¿ã‚ãšãƒãƒ¼ã‚¿ãƒ–ãƒ«ãªã‚³ãƒ¼ãƒ‰ã®ã¿ã§åŒç‰ã®æŒ¯ã‚‹èˆžã„ã‚’å®Ÿç¾ã™ã‚‹ãƒ†ã‚¯ãƒ‹ãƒƒã‚¯ã‚’ç´¹ä»‹ã—ã€å®Ÿè£…ã‚’ç†è§£å‡ºæ¥ã‚‹ã‚ˆã†ã«è§£èª¬ã—ã¾ã™ã€‚ åº/Dynamicã®å¿…è¦æ€§ StandardMLã§ã‚¸ã‚§ãƒãƒªãƒƒã‚¯ãªã‚³ãƒ¼ãƒ‰ã‚’æ›¸ã“ã†ã¨ã™ã‚‹ã¨ã€åž‹ã«å¿œã˜ã¦å‡¦ç†ã‚’åˆ‡ã‚Šæ›¿ãˆã‚‹ã¨ã„ã†ã“ã¨ãŒä¸€åˆ‡å‡ºæ¥ãªã„ã“ã¨ãŒãƒãƒƒã‚¯ã«ãªã‚Šã¾ã™ã€‚(ãã®ä»£ã‚ã‚Šåž‹ãŒå®Œå…¨ã«æŽ¨è«–ã•ã‚Œã‚‹) ã—ã‹ã—ã©ã†ã—ã¦ã‚‚åž‹ã«ã‚ˆã£ã¦æŒ¯ã‚‹èˆžã„ã‚’å¤‰ãˆãŸã„å ´åˆ
Nnwww 2016/02/24
å‰¯ä½œç”¨ã¨ãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«ã®çµ„ã¿åˆã‚ã›ã®ä½•ãŸã‚‹ã±ã‚ãµã‚‹ãªäº‹ã‹ï¼/å¾¡é§±é§ã§ã‚‚å¼•æ•°ã§ãƒ‘ã‚¿ãƒ¼ãƒ³ãƒžãƒƒãƒåˆ—æŒ™ã—ãŸã„ã§ã™â€¦/

sml

programming

OCaml
ãƒªãƒ³ã‚¯
Computer Laboratory â€“ Course pages 2014â€“15: Advanced Functional Programming â€“ Course materials
Mailing list There is a mailing list for the course: [email protected]. Announcements, questions and discussion. Feel free to post! Have a question but feeling shy? Mail a lecturer instead and we'll anonymise and post your question: jerem [email protected] or leo.whit [email protected]. Preparation If you haven't used a typed functional language before then it would be wise to familiarize y
Nnwww 2016/02/22
ã‚¹ãƒ©ã‚¤ãƒ‰ã‚‚è©³ç´°ãªè¬›ç¾©è³‡æ–™ã‚‚å…¬é–‹ã•ã‚Œã¦ã‚‹ã®ã€æœ€é«˜ã§ã¯(ãƒ‘ãƒ³ããšãƒªã‚¹ãƒˆè¾¿ã‚Œã°2015å¹´ç‰ˆã‚‚è¦‹ã‚Œã‚‹ã‘ã©ã€æ–°ã—ãå¤‰ã‚ã£ãŸæ‰€ã¯ã¾ã å…¬é–‹ã•ã‚Œã¦ã„ãªã„ã£ã½ã„

programming

functional

OCaml

books

CS
ãƒªãƒ³ã‚¯
ppx_deriving.showã‚’ä½¿ã£ã¦ã¿ã‚‹ - podhmo's diary
ppxã¯preprocessorçš„ãªã‚‚ã®ã€‚ opam install ppx_deriving field.ml type point2d = float * float [@@deriving show] type person = { name: string; age: int; } [@@deriving show] type student = { name: string; (* æœ€è¿‘ã¯ãƒ¬ã‚³ãƒ¼ãƒ‰ã«åŒåã®keyã‚’ä»˜ã‘ã¦ã‚‚okã«ãªã£ãŸã£ã½ã„ *) age: int; grade: int; } [@@deriving show] (* val pp_student : Format.formatter -> student -> unit val show_student : student -> string ãŒç”Ÿæˆã•ã‚Œã‚‹ *) let () = let s = {name =
Nnwww 2015/11/19
OCaml

programming
ãƒªãƒ³ã‚¯
GitHub - gasche/manual-ocamlbuild: A new reference manual for the ocamlbuild tool
Nnwww 2015/10/15
ocamlbulidè¦šãˆãªã„ã¨ãªãƒ¼ã¨æ€ã£ã¦ã‚°ã‚°ã£ã¦ã„ãŸã‚‰ä¸åº¦è‰¯ã„ç‰©ãŒ

OCaml

programming
ãƒªãƒ³ã‚¯
caml-list - [Caml-list] 20th anniversary - arc
From: Xavier Leroy <Xavier.Leroy AT inria.fr> To: caml-list <caml-list AT inria.fr> Subject: [Caml-list] 20th anniversary Date: Sat, 12 Sep 2015 10:04:11 +0200 Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=xavier.leroy AT gmail.com; spf=Pass smtp.mailfrom=xavier.leroy AT gmail.com; spf=None smtp.helo=postmaster AT mail-wi0-f175.google.com Ironport-phdr: 9a23:BzdSGBM+S
Nnwww 2015/09/12
OCamlå…¥é–€ã—ãŸã‚‰20å‘¨å¹´ã ã£ãŸ

programming

OCaml
ãƒªãƒ³ã‚¯
å¹½éœŠåž‹ã®ç´¹ä»‹
å¹½éœŠåž‹ã®ç´¹ä»‹ ã¨ãã©ãã€ãƒãƒƒãƒˆã§å¹½éœŠåž‹ (phantom type) ã¨ã„ã†å˜èªžã‚’è¦‹ã‹ã‚‹ã‚ˆã†ã«ãªã‚Šã¾ã—ãŸã€‚ ç§ã¯å¹½éœŠåž‹ã‚’å¿œç”¨ã—ãŸç·šå½¢ä»£æ•°æ¼”ç®—ãƒ©ã‚¤ãƒ–ãƒ©ãƒª SLAP (Sized Linear Algebra Package) ã‚’é–‹ç™ºã—ã¦ãŠã‚Šã€ å¹½éœŠåž‹ã«ã¤ã„ã¦ã¯ã¡ã‚‡ã£ã¨ã ã‘è©³ã—ã„ã¤ã‚‚ã‚Šã§ã„ã¾ã™ï¼ˆæœ¬ç‰©ã®ç ”ç©¶è€…ã«æ¯”ã¹ã‚Œã°é›‘éšåŒç„¶ã§ã™ãŒï¼‰ã€‚ ãªã®ã§ã€ä»Šå¾Œä½•å›žã‹ã«è¨˜äº‹ã‚’åˆ†ã‘ã¦ã€å¹½éœŠåž‹ã®ãƒˆãƒªãƒƒã‚¯ã«ã¤ã„ã¦ã€çŸ¥ã£ã¦ã„ã‚‹ã“ã¨ã‚’æ›¸ã„ã¦ã„ã“ã†ã¨æ€ã„ã¾ã™ã€‚ åŸºæœ¬çš„ã«ã¯ã€é–¢æ•°åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªž OCaml ã‚’ä½¿ã£ã¦èª¬æ˜Žã—ã¾ã™ãŒã€ å¯èƒ½ãªé™ã‚Š OCaml ã®ç‹¬è‡ªæ‹¡å¼µã¯ä½¿ã‚ãªã„æ–¹é‡ã§ã„ãã¾ã™ã€‚ ä»Šæ—¥ã¯ã‚¦ã‚©ãƒ¼ãƒŸãƒ³ã‚°ã‚¢ãƒƒãƒ—ã‚‚å…¼ãã¦ã€ç°¡å˜ãªå¹½éœŠåž‹ã®ç´¹ä»‹ã ã‘ã—ã¾ã™ã€‚ ãƒˆãƒªãƒƒã‚ãƒ¼ãªãƒ†ã‚¯ãƒ‹ãƒƒã‚¯ã¯æ¬¡å›žä»¥é™ã§æ‰±ã†äºˆå®šã§ã™ã€‚ å…¥å‡ºåŠ›ä¸¡æ–¹ã®ãƒãƒ£ãƒ³ãƒãƒ«ã«é©ç”¨å¯èƒ½ãª seek é–¢æ•°ã‚’ä½œã‚‹ OCaml ã®ãƒãƒ£ãƒ³ãƒãƒ«åž‹ï¼ˆC ã§è¨€ã†ã¨ã“ã‚ FILE
Nnwww 2015/08/12
OCamlã«ã‚ˆã‚‹å¹½éœŠåž‹ã®åˆ†ã‹ã‚Šã‚„ã™ã„ç´¹ä»‹

OCaml

programming
ãƒªãƒ³ã‚¯
1