Coccinelle: A Program Matching and Transformation Tool for Systems Code
What is Coccinelle? Coccinelle is a program matching and transformation engine which provides the language SmPL (Semantic Patch Language) for specifying desired matches and transformations in C code. Coccinelle was initially targeted towards performing collateral evolutions in Linux. Such evolutions comprise the changes that are needed in client code in response to evolutions in library APIs, and
TypeRex
TypeRex, the OCaml Programming Studio TypeRex is a set of open-source tools and libraries for developing applications in OCaml, edited by OCamlPro. It is currently under development. Libraries and tools are released independantly, as soon as they reach a state where they can be tested and used by users.
経験15å¹´ã®OCaml ユーザー㌠Haskell を仕事ã§åŠå¹´ä½¿ã£ã¦ã¿ãŸ - camlspotter’s blog
今ã®ä¼šç¤¾ã«ç§»ã£ã¦åŠå¹´çµŒã¡ã¾ã—ãŸã€‚ã‚ã§ãŸã試用期間終了ã§ã™ã€‚ã¨ã„ã£ã¦ã‚‚別ã«è©¦ç”¨æœŸé–“ä¸ã«å¯†ã‹ã«é¦–を切られるよã†ãªäº‹ã‚’ã—ãŸã¨ã‹ã€é€†ã«è©¦ç”¨æœŸé–“ãŒçµ‚ã‚ã£ãŸã‹ã‚‰ã¨è¨€ã£ã¦ã“ã‚Œã§å®šå¹´ã¾ã§ã®ã†ã®ã†ã¨åƒã‘ã‚‹ã€ã¨ã„ã†è¨³ã§ã¯ã‚ã‚Šã¾ã›ã‚“。未æ¥ã¯å…¨ã判りã¾ã›ã‚“。ã¾ã‚ã¨ã«ã‹ãã€ä¸€ã¤åŒºåˆ‡ã‚ŠãŒã‚„ã£ã¦ãã¾ã—ãŸã€‚ 金èžã‚’知らãªã„Quantsã®ä»•äº‹ ç§ã®è·æ¥ã®è‚©æ›¸ãã«ã¯ Quantitatitatitatitative ã¨ã„ã†å˜èªžãŒãã£ã¤ã„ã¦è¶…カッコよã•ãã†ã€‚普通㯠Quant ã¨ã„ã†ã¨ã€é‡‘èžå·¥å¦ã‚„統計数ç†ã«è©³ã—ã„夜もブイブイã„ã‚ã—ã¦ã„る超イケメン20代を想åƒã—ã¾ã™ãŒã€ç§ã¯é‡‘èžã¨ã‹å…¨ç„¶çŸ¥ã‚‰ãªã„アラフォーãŠçˆ¶ã•ã‚“ã§ã™ã€‚ãã‚Œã§ã‚‚ Quant ã§ã™ã€‚ãŠé¡˜ã„ã§ã™ã‹ã‚‰ã€ç§ã«ä½•ã‚’è²·ã£ãŸã‚‰ã„ã„ã‹ã¨ã‹ã€èžã‹ãªã„ã§ãã ã•ã„。金èžå•†å“ã¨ã‹è²·ã£ãŸäº‹ãªã„ã—。ã¨ã„ã†ã‹ã€é€†ã«æ•™ãˆã¦æ¬²ã—ã„ã§ã™ã€‚ ç§ã®ãƒãƒ¼ãƒ ã¯ã€æœ¬å½“ã® Quant ã•ã‚“é”ãŒé–‹ç™ºã—ãŸã€é‡‘èžæ´¾ç”Ÿå•†
DRuby - Home
Overview Diamondback Ruby (DRuby) is an extension to Ruby that aims to bring the benefits of static typing to Ruby without compromising the expressiveness of the language. The main features of DRuby are: Type inference: DRuby uses inference to model most of Ruby’s idioms as precisely as possible without any need for programmer intervention. Type annotations: Methods may be given explicit type anno
OCamlã§è‡ªåˆ†ã§å¦ã¶éš›ã«ã‚„ã‚‹ã“㨠- YAMAGUCHI::weblog
id:camlspotterã«æ•™ãˆã¦ã„ãŸã ã„ãŸã“ã¨ã‚’メモ。 $ ocamlc -whereã“ã‚Œã§OCamlã®æ¨™æº–ライブラリãŒã‚ã‚‹ä½ç½®ã‚’調ã¹ã‚‰ã‚Œã‚‹ã€‚*.mliã«ã¯ã©ã‚“ãªé–¢æ•°ãŒå®šç¾©ã—ã¦ã‚ã‚‹ã‹ãŒæ›¸ã„ã¦ã‚ã‚Šã€*.mlã«ã¯å½“然実装ãŒã‚る。
手続ã脳 - 兼雑記
; ã§åŒºåˆ‡ã‚‹ã¨æ™®é€šã«æ¬¡ã®è¡Œã«è¡Œãã¾ã™ã€‚ãªã‚“ã¨ã„ã†ã‹å‰¯ä½œç”¨ã‚¢ãƒªã‚¢ãƒªãªã®ã§ã¨ã¦ã‚‚嬉ã—ã„ã§ã™ã€‚ã‚ã¨ãªã‚“ã‹ ref ã£ã¦ã¤ã„ãŸå¤‰æ•°ã¤ãã¨ä»£å…¥ãŒã§ãる変数ã«ãªã‚‹ã®ã§ã€å¤‰æ•°ã«ä»£å…¥ã—ãªã„ã¨ç”Ÿãã¦ã„ã‘ãªã„人も生ãã¦ã„ã‘ã¾ã™ã€‚ let _ = let x = ref 0 in print_int !x; print_newline (); x := 1; print_int !x; print_newline (); ()ãªã‚“ã‹ ! ã¨ã‹ã¤ã‘ãªã„ã¨å€¤ãŒè¦‹ã‚Œãªã„ã‚“ã§ã™ãŒã“ã‚“ãらã„ãªã‚‰è¨±å®¹ç¯„囲。ã¾ãã‚ã‚“ã¾ä½¿ã‚ã‚“æ–¹ãŒã„ã„ã‚“ã ã‚ã†ã‘ã©ã€‚ã§ã‚‚最終兵器ãŒã‚ã‚‹ã¨ã„ã†ã‹ã。 goto ãŒã‚る安心感ã¿ãŸã„ãªã€ãã‚“ãªã€‚ã‚ã€ã‚ã¨ãªã‚“ã‹é–¢æ•°å†…㧠let ã—ãŸå ´åˆã¯ãŠã—ã‚Šã« in ã‚’ã¤ã‘ã¾ã—ょーã¨ã„ã†(ザツ)。 ã‚ã¨æ‰‹ç¶šã脳ã«å¬‰ã—ã„ãŠçŸ¥ã‚‰ã›ã§ã™ãŒ printf ãŒã‚ã‚Šã¾ã™ã¨ã‹ã€‚ Printf.printf "%d\n" 3ãªã‚“ã‹ã“ã‚Œ
国立大å¦æ³•äºº 電気通信大å¦
AI生æˆã‚ーワード #大å¦ã®å†¬ä¼‘ã¿ #ãƒãƒƒãƒ”ーホリデー #皆ã•ã¾ã‚ˆã„ãŠå¹´ã‚’ #denki tushin university #調布市ã«ã‚ã‚‹å›½ç«‹å¤§å¦ #SNSã§è¦‹ãŸã‚ˆ 上記ã®ã‚ーワードを元ã«Adobe社ã®ã€ŒAdobe Fireflyã€ã§ç”Ÿæˆã—ã¦ã„ã¾ã™ã€‚本画åƒã¯ã€AIã«ã‚ˆã‚Šç”Ÿæˆã•ã‚ŒãŸç”»åƒã§ã‚ã‚Šã€ã‚ãã¾ã§ã‚¤ãƒ¡ãƒ¼ã‚¸ç”»åƒã§ã™ã€‚
Module Pycaml
What is Pycaml? A library written by [email protected].net which follows the Python/C API as closely as possible, while providing equivalent functionality for objective caml. This is built against python 2.x and Ocaml 3.04. It is intended to allow users to build native ocaml libraries and use them from python, and alternately, in order to allow ocaml users to benefit from linkable libraries p
OCaml 基礎最速マスター — Scratch Leaf — MAYAH.JP
OCaml 㯠Haskell ã¨ã¯é•ã£ã¦ç´”粋ã§ãªã„関数型言語ã§ã™ã€‚ML (Meta Language) ã¨ã„ã†è¨€èªžãƒ•ã‚¡ãƒŸãƒªãƒ¼ã®æ–¹è¨€ã®ä¸€ã¤ã§ã€ãƒ•ãƒ©ãƒ³ã‚¹ã® INRIA ã¨ã„ã†ç ”究所ã§é–‹ç™ºã•ã‚Œã¦ã„ã¾ã™ã€‚速度を稼ããŸã‚ã«å‘½ä»¤åž‹ã®ã‚ˆã†ã«æ›¸ã“ã†ã¨æ€ãˆã°æ›¸ã‘ã‚‹ã—ã€é…延評価もデフォルトã§ã¯ã—ã¾ã›ã‚“。ãã®åˆ†ã€practical ãªã‚¢ãƒ—リケーションãŒæ›¸ãã‚„ã™ããªã£ã¦ã„ã¾ã™ã€‚ ä»–ã®è¨€èªžã‚’ã‚る程度知ã£ã¦ã„る人ã¯ã“れをèªã‚ã° OCaml ã®ã¨ã‚Šã‚ãˆãšã®åŸºç¤Žã‚’マスターã—㦠OCaml を書ãã“ã¨ãŒã§ãるよã†ã«ãªã‚Šã¾ã™ã€‚多分。関数型言語ã®çŸ¥è˜ã¯ä»®å®šã—ã¦ã„ã¾ã›ã‚“。C/C++ ãらã„ã®çŸ¥è˜ãŒã‚ã‚Œã°èªã‚ã‚‹ã¨æ€ã„ã¾ã™ã€‚元㮠Perl 基礎文法最速マスターã§ã¯ãƒªãƒ•ã‚¡ãƒ¬ãƒ³ã‚¹ã½ã„作りã§ã™ãŒã€ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ«ã½ããªã£ã¦ã—ã¾ã„ã¾ã—ãŸã€‚ ãªãŠã€èªã‚“ã§ã„ã‚‹ã¨åˆ†ã‹ã‚Šã¾ã™ãŒã€è‰²ã€…ã¨ã‚ã‚“ã©ãã•ã„ã“ã¨ãŒå¤šã„よã†ã«æ„Ÿã˜ã¾ã™ã€‚ã—ã‹ã—ã€ã“れをã¡ã‚ƒã‚“ã¨æ›¸ã
æ£è¦è¡¨ç¾ãƒ©ã‚¤ãƒ–ラリ書ãã¾ã—㟠- ã¿ãšã´ãƒ¼æ—¥è¨˜
æš‘ã„ãªãƒ¼ã€ã¨æ€ã£ã¦éƒ¨å±‹ã§ã”ã‚ã”ã‚ã—ã¦ãŸã‚‰ã€ã„ã¤ã®ã¾ã«ã‹æ£è¦è¡¨ç¾ãƒ©ã‚¤ãƒ–ラリを書ã„ã¦ã¾ã—ãŸã€‚ãªã«ãŒãŠã“ã£ãŸã‹ã€(ry ã¾ã ã€ç›´ã—ãŸã„ã¨ã“ã‚ãŒã„ãã¤ã‹ã‚ã‚Šã¾ã™ãŒã€ã¨ã‚Šã‚ãˆãšå‹•ãよã†ã«ã¯ãªã£ãŸã®ã§å…¬é–‹ã—ã¨ãã¾ã™ã€‚ 使ã„æ–¹ ã‚·ã‚°ãƒãƒãƒ£ã¯ã“ã‚“ãªæ„Ÿã˜ã€‚ val regexp : string -> char regexp val compile : 'a regexp -> 'a list -> ('a list * 'a list) option = <fun> let f () = let r = compile @@ regexp "(foo)*" in let s = explode "foofoo" in match r s with Some (matched,rest) -> Printf.printf "matched = %s\n" @@ implode matched; Printf
OCamlã®ã¾ãªã³ã‹ãŸ - ã¾ãã€ãã‚“ãªã‚‚ã‚“ã§ã—ょã†ã€‚
ã„ã‘ãŒã¿ã•ã‚“ãŒç´ æ™´ã—ã„エントリをã‚ã’ã¦ã‚‰ã£ã—ゃã„ã¾ã™ã€‚Inemuri nezumi diary(2009-05-03)。ãã“ã§ã€ŒOCamlã®ã¾ãªã³ã‹ãŸã€ã«ã¤ã„ã¦æ€ã†ã¨ã“ã‚を改ã‚ã¦æ›¸ãã¾ã™ã€‚ ã¾ãšã€Web上ã®ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ«ã‚’èªã‚ã°ã€ã–ã£ãã‚ŠOCamlãŒã©ã†ã„ã†è¨€èªžãªã®ã‹åˆ†ã‹ã‚‹ã‹ã¨æ€ã„ã¾ã™ã€‚次ã®äºŒã¤ãŒãŠå‹§ã‚ã§ã™ã€‚ http://www.ocaml-tutorial.org/jaObjective Caml 入門 一緒ã«OCamlをインストールã—ã¦ä½¿ã£ã¦ã¿ãªãŒã‚‰å¦ã¹ã°ã€ã‚ˆã‚ŠåŠ¹çŽ‡çš„ã§ã™ã€‚ $ sudo apt-get install ocaml; sudo apt-get install ocaml-mode lennyã®ãƒ‘ッケージã¯3.10ç³»ã§ãƒãƒ¼ã‚¸ãƒ§ãƒ³ãŒä¸€ã¤å¤ã„ã®ã§ã€ã“ã ã‚る人ã¯Latest Objective Caml releaseã‹ã‚‰ã‚½ãƒ¼ã‚¹ã‚’å–ã£ã¦æ¥ã¦ã‚³ãƒ³ãƒ‘イルã—ã¦ä¸‹ã•ã„。./confi
Users Meeting - OCaml.jp
縺薙�ｮç¹å£¹ï¿½ï½¼ç¹§ï½¸ç¸ºï½¯è›ï¿½è •å¾Œâ†“è–ï½´èｰ縺輔ｌ縺ｦ縺ä¹ï½‰1蟷ｴ莉･è³é¡”ï½µç¢â„ƒç¸ºåŠ±â€»ç¸ºï¿½ç¸ºï½¾ç¸ºå¶ï¿½ã‚ˆãƒ¥è£ï½±ç¸ºæ‚Ÿå•†ç¸ºï¿½èœ¿ï½¯é–ｽ諤ｧ縺後≠繧翫∪縺å¶ï¿½ï½®ç¸ºï½§ç¸²âˆšï¼ƒè±•ï½¨è«¢ä¸Šï¿¥ç¸ºï£°ç¸ºè¼”＞縲� OCaml Meeting 2009 in Tokyo (蟷ｳ謌仙ｻｿè³ï¿½èŸ·ï½´èšï½±é©›ï½½èžŸï½§é¬§ï½±é¬§æ˜œï½¼ï¿½) 縺薙�ｮ繧､ç¹å¶Î¦ç¹åŒ»ï¿½ï½¯é€¶å¸¶ï½³âˆšï¿½ï½®ç¸ºï¿½ç¸ºï½¡ç¸ºï½«é‚¨ã‚†ï½ºï¿½é–¾ï½´ç¸ºåŠ±âˆªç¸ºåŠ±â—†ç¸²ã‚…＃蜿ょ刈鬆ゅ＞縺溽嚀讒倥�√≠繧翫′縺ｨ縺�縺æ–＊縺�縺ｾ縺励◆縲� 逋ｺ陦ｨ雉�èå¶ï½„èœæ…•åˆ¤ç¸ºæªŽï½½ï½®ç¸ºï¿½ç¸ºï½¦ç¸ºã‚…ｊ縺ｾ縺å¶ï¿½ï½®ç¸ºï½§ç¸²âˆšï¼ƒèœ¿ã‚‰ï¿½ï½§ç¸ºä¸Šâ–¡ç¸ºè¼”＞縲� 髢｢謨ｰè™çŽ–ｨ�隱� OCaml縲�1994蟷ｴ縺ｫ螟ｧ蜈�縺ｨ縺ｪ繧� CAML 縺悟ｮ溯｣�縺輔ｌ縺ｦ莉･èšï½¥ç¸²ï¿½é«Ÿï½·ç¹§å³¨ï¿¥éçš®ï½©ï½¶é– ï¿½é€•ï½¨ç¸ºï½®ç¸²å¾Œâ™€ç¹§ã‚…â– ç¹§ï¿½ç¸²é˜ªâ†“é€¡å¶âˆªç¸ºï½£ç¸ºï½¦ç¸ºï¿½ç¸ºï¿½ OCaml 縺ｧ縺å¶â€²ç¸²âˆšâ—Žç¸ºï½®ç¹åŠ±ÎŸç¹§ï½°ç¹ï½©ç¹ï£°ç¸ºï½®èž³ç‰™ï¿½ï½¨è«¤ï½§ç¹§å‰ƒï½¿æ™
OCamlãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ«
ã“ã®ã‚¦ã‚§ãƒ–サイトã¯OCamlã‚’å¦ã¼ã†ã¨ã™ã‚‹äººãŸã¡ã®ç‚ºã®å®Ÿéš›çš„ã§è©³ç´°ãªãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ«ã‚’集ã‚ãŸã‚‚ã®ã§ã‚る。 よã知られã¦ã„る通りã€OCamlã¯ã‚¢ãƒ—リケーション開発ã®ãŸã‚ã®é«˜é€Ÿã€ç°¡æ½”ã‹ã¤å¼·åŠ›ãªè¨€èªžã§ã‚る。ã“ã“ã§ã¯èªè€…ãŒã™ã§ã«OCamlã®å‡¦ç†ç³»ã‚’インストールã—ã¦ã„ã‚‹ã‚‚ã®ã¨ä»®å®šã™ã‚‹ã€‚インストールã®æ–¹æ³•ã«ã¤ã„ã¦ã¯è‹±æ–‡ã§ã‚ã‚‹ãŒOCamlã®ãƒ¡ã‚¤ãƒ³ãƒšãƒ¼ã‚¸ã‚„OCaml Alianceã«ã‚ˆã‚‹è§£èª¬ã«èª¬æ˜Žã•ã‚Œã¦ã„る。ã¾ãŸDebianãã®ä»–ã®Linuxディストリビューションã€FreeBSDパッケージã«ã‚‚ãªã£ã¦ã„る。 原文(英語) 邦訳版ã«é–¢ã™ã‚‹ãƒ„ッコミãªã©
MinCamlã«ã¤ã„ã¦ã®ã€Œã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢è«–文〠- sumiiã®ãƒ–ãƒã‚°
http://min-caml.sourceforge.net/jpaper.pdf http://ci.nii.ac.jp/lognavi?name=nels&lang=ja&type=pdf&id=ART0008688688 （æ£å¼ãƒãƒ¼ã‚¸ãƒ§ãƒ³ãŒç„¡å„Ÿä¸€èˆ¬å…¬é–‹ã•ã‚Œã¾ã—ãŸï¼‰ 「コンピュータソフトウェアã€ï¼ˆæ—¥æœ¬ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ç§‘å¦ä¼šã®å¦ä¼šèªŒï¼‰ã«æŽ²è¼‰ã—ã¦ã„ãŸã ã‘ã‚‹ã“ã¨ã«ãªã‚Šã¾ã—ãŸã€‚（FDPE05ã®è‹±èªžè«–文もã‚ã‚‹ã®ã§ï¼‰ã‚„や今更ã§ã™ãŒã€æ—¥æœ¬èªžãŒè‰¯ã„ã¨ã„ã†æ–¹ã¯ã©ã†ãžã€‚
2007-08-23
レコードã¯åå‰ä»˜ãタプルã¨ã„ã†ã‹ã€Structã¨ã„ã†ã‹ã€‚ãã‚“ãªæ„Ÿã˜ã®ã‚‚ã®ã§ã™ã€‚よãã‚る例ã¨ã—ã¦äºŒæ¬¡å…ƒåº§æ¨™ã¨ã‹ã€‚ # type point = { x:int; y:int };; type point = { x : int; y : int; } # let pt = {x=3; y=5};; val pt : point = {x = 3; y = 5} # pt.x * pt.y;; - : int = 15 フィールドåã‚’åŒã˜ã«ã—ã¡ã‚ƒã†ã‚ˆã†ãªã‚ªã‚¤ã‚¿ã¯åž‹æŽ¨è«–ã®é‚ªé”ãªã®ã§ãƒ€ãƒ¡ã‚‰ã—ã„ã§ã™ã€‚ # type hoge = { x:int };; type hoge = { x : int; } # {x=3;y=5};; Characters 0-9: {x=3;y=5};; ^^^^^^^^^ The record field label y belongs to the type poi
1
ランã‚ング
ランã‚ング
ランã‚ング
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
http://xtalk.msk.su/~ott/common/emacs/rc/emacs-rc-pretty-lambda.el.html
EmacsWiki: Pretty Symbols For Languages
åˆå¿ƒè€…ãŒæ›¸ã„㟠OCaml 入門
{{#tags}}- {{label}}
{{/tags}}