[B! ocaml] siburuã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

siburu id:siburu

ocamlã«é–¢ã™ã‚‹siburuã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (15)

${{author_name}}$

{{author_name}} {{created}}

{{{comment_expanded}}}

{{label}}

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

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

{{#following_bookmarks}}

${{author_name}}$

{{author_name}} {{created}}

{{{comment_expanded}}}

{{label}}

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

{{/following_bookmarks}}

{{/is_wiped}}

F* ã«ãŠã‘ã‚‹æ¤œè¨¼ã•ã‚ŒãŸãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°
(è¨³æ³¨: ã“ã®æ—¥æœ¬èªžãƒžãƒ‹ãƒ¥ã‚¢ãƒ«ã¯Â Verified programming in F* ã®ç¿»è¨³ã§ã™ã€‚ ç¿»è¨³ã«å‚åŠ ã™ã‚‹ã«ã¯Â ç¿»è¨³ãƒªãƒã‚¸ãƒˆãƒª ã‚’å‚ç…§ã—ã¦ãã ã•ã„ã€‚) 1.â€‚ã‚¤ãƒ³ãƒˆãƒãƒ€ã‚¯ã‚·ãƒ§ãƒ³ F* ã¯æ¤œè¨¼æŒ‡å‘ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã§ã€Microsoft Research,Â MSR-Inria,Â Inria ã«ã‚ˆã£ã¦é–‹ç™ºã•ã‚Œã¦ã„ã¾ã™ã€‚ ãã‚Œã¯ã€åž‹ä»˜ã§æ£æ ¼ãªé–¢æ•°åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã§ã‚ã‚‹Â ML æ—ã®è¨€èªžã®ä¼çµ±ã‚’å—ã‘ç¶™ã„ã§ã„ã¾ã™ã€‚ ã‘ã‚Œã©ã‚‚ã€ãã®åž‹ã‚·ã‚¹ãƒ†ãƒ ã¯ ML ã®ãã‚Œã‚ˆã‚Šã‚‚è‘—ã—ãè±Šã‹ã§ã€è¡¨æ˜Žã•ã‚Œã¦åŠè‡ªå‹•çš„ã«æ¤œæŸ»ã•ã‚Œã‚‹é–¢æ•°çš„ãªæ£ç¢ºã•ã®ä»•æ§˜ã‚’è¨±ã—ã¾ã™ã€‚ ã“ã®ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ«ã¯ F* ã«ãŠã‘ã‚‹æ¤œè¨¼ã•ã‚ŒãŸãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®æœ€åˆã®ä½“é¨“ã‚’æä¾›ã—ã¾ã™ã€‚ è«–æ–‡ã¨ãƒ†ã‚¯ãƒ‹ã‚«ãƒ«ãƒ¬ãƒãƒ¼ãƒˆã‚’å«ã‚€ F* ã«é–¢ã™ã‚‹ã‚ˆã‚Šå¤šãã®æƒ…å ±ãŒÂ F* ã‚¦ã‚§ãƒ–ã‚µã‚¤ãƒˆ ã§è¦‹ã¤ã‹ã‚Šã¾ã™ã€‚ ã‚‚ã— ML æ—ã®é–¢æ•°åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªž (ä¾‹:Â OCaml,
siburu 2016/07/25
fstar

ocaml

fsharp

proof

programming

formal verification
ãƒªãƒ³ã‚¯
Home
MirageOS is a library operating system that constructs unikernels for secure, high-performance network applications across a variety of cloud computing and mobile platforms. Code can be developed on a normal OS such as Linux or MacOS X, and then compiled into a fully-standalone, specialised unikernel that runs under the Xen hypervisor. Since Xen powers most public cloud computing infrastructure su
siburu 2016/07/15
ocaml

mirage

xen

linux

unikernel
ãƒªãƒ³ã‚¯
http://ocaml.jp/?plugin=attach&refer=Users%20Meeting&openfile=camlmod.pdf
siburu 2016/05/08
ocaml

compiler
ãƒªãƒ³ã‚¯
Ocsigen's cheatsheet
siburu 2016/03/24
ocaml

ocsigen

eliom

cheatsheet
ãƒªãƒ³ã‚¯
GitHub - tomprimozic/type-systems: Implementations of various type systems in OCaml.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
siburu 2016/03/24
ocaml

type
ãƒªãƒ³ã‚¯
Reading Camlp4
A Danish relative who speaks excellent but slightly exalted English once called me "ambassador to computers" when asking for tech support. Computers need sweet-talking and I bring the honey.
siburu 2016/02/08
ocaml

camlp4
ãƒªãƒ³ã‚¯
OCaml - The OCaml Manual
Index of modules Index of module types Index of types Index of exceptions Index of values Index of keywords Xavier Leroy, Damien Doligez, Alain Frisch, Jacques Garrigue, Didier RÃ©my and JÃ©rÃ´me Vouillon
siburu 2016/01/25
RWOã«ã‚‚æ›¸ã‹ã‚Œã¦ãªã„ãƒ‡ã‚£ãƒ¼ãƒ—ãªæ©Ÿèƒ½ã®èª¬æ˜Žã‚‚ã‚ã‚‹

ocaml

manual
ãƒªãƒ³ã‚¯
OCaml - Lexer and parser generators (ocamllex, ocamlyacc)
siburu 2015/12/27
ocaml

ocamllex

ocamlyacc

parser

lexer
ãƒªãƒ³ã‚¯
http://pauillac.inria.fr/~fpottier/menhir/manual.pdf
siburu 2015/12/27
menhir

ocaml

parser
ãƒªãƒ³ã‚¯
GitHub - mirage/ocaml-github: GitHub APIv3 OCaml bindings
siburu 2015/12/21
ocaml

github

api

library
ãƒªãƒ³ã‚¯
GitHub - yallop/ocaml-ctypes: Library for binding to C libraries using pure OCaml
siburu 2015/12/21
ocaml

ctypes

ffi
ãƒªãƒ³ã‚¯
GitHub - yallop/higher: Higher-kinded programming in OCaml
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
siburu 2015/12/21
ocaml

higher

kind

functional
ãƒªãƒ³ã‚¯
é€Ÿæ”»MinCamlã‚³ãƒ³ãƒ‘ã‚¤ãƒ©æ¦‚èª¬
siburu 2015/11/20
ocaml

compiler

esumii
ãƒªãƒ³ã‚¯
Jane Street Tech Blog
Oct 04, 2024 | 8 min read Developer education at Jane Street Like most places, Jane Street largely teaches developers through a kind of apprenticeship model. A team matching process tries to thoughtfully match new devs to...
siburu 2015/10/19
ocaml

jane street
ãƒªãƒ³ã‚¯
Welcome to MirageOS
A programming framework for building type-safe, modular systems MirageOS is a library operating system that constructs unikernels for secure, high-performance network applications across a variety of cloud computing and mobile platforms. Code can be developed on a normal OS such as Linux or macOS, and then compiled into a fully-standalone, specialised unikernel that runs under a Xen or KVM hypervi
siburu 2015/10/19
ocaml

mirage
ãƒªãƒ³ã‚¯
1

ãŠçŸ¥ã‚‰ã›

ã‚‚ã£ã¨èªã‚€

å…¬å¼Twitter

@HatenaBookmark
ãƒªãƒªãƒ¼ã‚¹ã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“ã‚¹ã®ãŠçŸ¥ã‚‰ã›
@hatebu
æœ€æ–°ã®äººæ°—ã‚¨ãƒ³ãƒˆãƒªãƒ¼ã®é…ä¿¡

ã‚ãƒ¼ãƒœãƒ¼ãƒ‰ã‚·ãƒ§ãƒ¼ãƒˆã‚«ãƒƒãƒˆä¸€è¦§

jæ¬¡ã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

kå‰ã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

lã‚ã¨ã§èªã‚€

eã‚³ãƒ¡ãƒ³ãƒˆä¸€è¦§ã‚’é–‹ã

oãƒšãƒ¼ã‚¸ã‚’é–‹ã

è¨å®šã‚’å¤‰æ›´ã—ã¾ã—ãŸx