プãƒãƒ•ã‚£ãƒ¼ãƒ«ãƒšãƒ¼ã‚¸ã¸ç§»å‹•ã—ã¦ã„ã¾ã™ã€‚ Copyright (C) 2001-2025 hatena. All Rights Reserved.
keita_yamaguchi - ã¯ã¦ãª
プãƒãƒ•ã‚£ãƒ¼ãƒ«ãƒšãƒ¼ã‚¸ã¸ç§»å‹•ã—ã¦ã„ã¾ã™ã€‚ Copyright (C) 2001-2025 hatena. All Rights Reserved.
Objective Caml 入門
Objective Caml 入門五ååµ æ·³ äº¬éƒ½å¤§å¦ å·¥å¦éƒ¨æƒ…å ±å¦ç§‘計算機科å¦ã‚³ãƒ¼ã‚¹ 大å¦é™¢æƒ…å ±å¦ç ”ç©¶ç§‘çŸ¥èƒ½æƒ…å ±å¦å°‚æ”» e-mail: igarashi@kuis.kyoto-u.ac.jp September�24, 2007 Contents Chapter�1�� 1.1��関数型言語 ML 㨠Objective Camlã«ã¤ã„㦠1.1.1��ML・Objective Caml ã®ç‰¹å¾´ 1.2��å‚考書，資料，マニュアル 1.3��環境è¨å®š Chapter�2�� 2.1��インタラクティブコンパイラを使ㆠ2.1.1��簡å˜ãªä½¿ã„æ–¹ 2.1.2��ãã®ä»–: ファイルã‹ã‚‰ã®ãƒ—ãƒã‚°ãƒ©ãƒ ã®èªã¿è¾¼ã¿ãƒ»ã‚³ãƒ¡ãƒ³ãƒˆ 2.2��基本データ型ã¨ãã®æ¼”ç®— 2.2.1��unitåž‹ 2.2.2��intåž‹ 2.2.3��floatåž‹ 2.2.4��charåž‹ 2.2.5��stringåž‹ 2
サービス終了ã®ãŠçŸ¥ã‚‰ã›
サービス終了ã®ãŠçŸ¥ã‚‰ã› ã„ã¤ã‚‚Yahoo! JAPANã®ã‚µãƒ¼ãƒ“スをã”利用ã„ãŸã ãèª ã«ã‚ã‚ŠãŒã¨ã†ã”ã–ã„ã¾ã™ã€‚ ãŠå®¢æ§˜ãŒã‚¢ã‚¯ã‚»ã‚¹ã•ã‚ŒãŸã‚µãƒ¼ãƒ“スã¯æœ¬æ—¥ã¾ã§ã«ã‚µãƒ¼ãƒ“スを終了ã„ãŸã—ã¾ã—ãŸã€‚ 今後ã¨ã‚‚Yahoo! JAPANã®ã‚µãƒ¼ãƒ“スをã”愛顧ãã ã•ã„ã¾ã™ã‚ˆã†ã€ã‚ˆã‚ã—ããŠé¡˜ã„ã„ãŸã—ã¾ã™ã€‚
F#ã«ã‚ˆã‚‹é–¢æ•°åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°å…¥é–€
2009/10/22 Visual Studio 2010 beta2ãŒãƒªãƒªãƒ¼ã‚¹ã•ã‚Œã¾ã—ãŸï¼F#ã®è¨€èªžä»•æ§˜ã‚‚ãƒãƒ¼ã‚¸ãƒ§ãƒ³ã‚¢ãƒƒãƒ—ã—ã¦ã„ã‚‹ãŸã‚ã€ãれをè¸ã¾ãˆã¦ã“ã‚Œã‹ã‚‰ãƒšãƒ¼ã‚¸å…¨ä½“を見直ã—ä¸ã§ã™ã€‚ãã®ãŸã‚ã€èª¬æ˜ŽãŒå¤ã‹ã£ãŸã‚Šã†ã¾ãコンパイルã§ããªã„箇所ãŒã‚ã‚‹ã®ã§æ³¨æ„ã—ã¦ãã ã•ã„。 2008å¹´ã®å¹´æœ«ã«è¡Œã‚ã‚ŒãŸMicrosoftã®ã‚¤ãƒ™ãƒ³ãƒˆã«ãŠã„ã¦ã€F#ãŒVisual Studio 2010ã«æ載ã•ã‚Œã‚‹ã¨ã„ã†ç™ºè¡¨ãŒã‚ã£ã¦ã‹ã‚‰ç´„åŠå¹´ã€Visual Studio 2010 beta 1ã«F#ãŒæ¨™æº–æ載ã•ã‚Œã¾ã—ãŸã€‚ã¨ã“ã‚ãŒç¾åœ¨F#を勉強ã—ã¦ã¿ã‚ˆã†ã¨æ€ã£ã¦ã‚‚ã€ã‚ã¾ã‚Šå¤šãã®æƒ…å ±ã¯æ‰‹ã«å…¥ã‚Šã¾ã›ã‚“。ã¨ãã«ä½“系的ã«èª¬æ˜Žã•ã‚ŒãŸã‚µã‚¤ãƒˆã¨ãªã‚‹ã¨ã»ã¨ã‚“ã©ãªã„ã®ãŒç¾çŠ¶ã§ã™ã€‚ç¾åœ¨ã®ã¨ã“ã‚体系的ãªèª¬æ˜Žã®ã‚る資料ã¯ã€æ›¸ç±ã§ã¯F#ã®è¨€èªžè¨è¨ˆè€…ã§ã‚ã‚ŠC#ã®ã‚¸ã‚§ãƒãƒªãƒƒã‚¯ã®è¨è¨ˆè€…ã§ã‚‚ã‚ã‚‹Don Symeã®æ›¸ã„ãŸã€ŒExpert F#ã€ã€F#ã®ã‚¨ãƒ´ã‚¡
Mac OS X 㧠F# - keigoiã®æ—¥è¨˜
MacPorts ã‹ã‚‰ F# を入れã¦è§¦ã£ã¦ã¿ã¾ã—ãŸï¼Ž インストール sudo port install fsharp インタプリタã®èµ·å‹• fsi ã—ã°ã‚‰ãå¾…ã¤ã¨ mono ãŒã‚€ã£ãã‚Šã¨èµ·ã上ãŒã£ã¦ï¼Œãƒ—ãƒãƒ³ãƒ—トãŒã§ã¾ã™ã€‚ ã‚‚ã—èµ·å‹•ã—ãªã„å ´åˆã¯, bashrc ã« export DYLD_FALLBACK_LIBRARY_PATH=/usr/lib:/opt/local/lib ãªã©ã¨ã™ã‚Œã°ã‚ˆã„ã§ã—ょã†ã€‚ ã‚‚ã¡ã‚ã‚“ OCaml 㨠findlib を使ã†å ´åˆã¯ export DYLD_FALLBACK_LIBRARY_PATH=/usr/lib:/opt/local/lib:/opt/local/lib/ocaml/site-lib/stublibs ã§ã™ï¼Ž $ fsi MSR F# Interactive, (c) Microsoft Corporation, All Rights Res
ocaml-nagoya - ocaml-nagoya
次回ã®äºˆå®š †日時：2008/09/24(æ°´) 18:30〜 (開始時刻ãŒå¤‰æ›´ã•ã‚Œã¾ã—ãŸ) å ´æ‰€ï¼šåå¤å±‹å¤§å¦ IB館 å—棟 5階 エレベーターホール 内容 ã¯ã¦ãªã‚¤ãƒ³ã‚¿ãƒ¼ãƒ³ä¸ã®è¬›ç¾©å†…容紹介（Gemmaã•ã‚“） javascript, NekoVM, swf, PHPã«ã‚³ãƒ³ãƒ‘イルã§ãã‚‹ocaml製言語haXeã«ã¤ã„ã¦ã€‚(話者：？) ↑ [NEWS] †オープンソースカンファレンス2008 åå¤å±‹ã§ç™ºè¡¨ã—ã¦ãã¾ã—ãŸã€‚ 詳ã—ãã¯ã“ã¡ã‚‰ OCaml-3.10.2 æ¥ã¾ã—ãŸ!(2008-02-29) http://caml.inria.fr/ocaml/release.en.html 3.10.1 ã‹ã‚‰ã®å¤‰æ›´ç‚¹ 主ã«ä¸å…·åˆä¿®æ£. windows環境下ã§str.mliãŒè¦‹ä»˜ã‹ã‚‰ãªã‹ã£ãŸã‚‰ã€å†ã‚¤ãƒ³ã‚¹ãƒˆãƒ¼ãƒ«ã—ã¾ã—ょã†ã€‚ OCaml-3.10.1 æ¥ã¾ã—ãŸ!(2008-01-11) 3.10.0 ã‹ã‚‰ã®å¤‰
OCamlãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ«
ã“ã®ã‚¦ã‚§ãƒ–サイトã¯OCamlã‚’å¦ã¼ã†ã¨ã™ã‚‹äººãŸã¡ã®ç‚ºã®å®Ÿéš›çš„ã§è©³ç´°ãªãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ«ã‚’集ã‚ãŸã‚‚ã®ã§ã‚る。 よã知られã¦ã„る通りã€OCamlã¯ã‚¢ãƒ—リケーション開発ã®ãŸã‚ã®é«˜é€Ÿã€ç°¡æ½”ã‹ã¤å¼·åŠ›ãªè¨€èªžã§ã‚る。ã“ã“ã§ã¯èªè€…ãŒã™ã§ã«OCamlã®å‡¦ç†ç³»ã‚’インストールã—ã¦ã„ã‚‹ã‚‚ã®ã¨ä»®å®šã™ã‚‹ã€‚インストールã®æ–¹æ³•ã«ã¤ã„ã¦ã¯è‹±æ–‡ã§ã‚ã‚‹ãŒOCamlã®ãƒ¡ã‚¤ãƒ³ãƒšãƒ¼ã‚¸ã‚„OCaml Alianceã«ã‚ˆã‚‹è§£èª¬ã«èª¬æ˜Žã•ã‚Œã¦ã„る。ã¾ãŸDebianãã®ä»–ã®Linuxディストリビューションã€FreeBSDパッケージã«ã‚‚ãªã£ã¦ã„る。 原文(英語) 邦訳版ã«é–¢ã™ã‚‹ãƒ„ッコミãªã©
五ååµ æ·³ (Atsushi IGARASHI)
関連リンク äº¬éƒ½å¤§å¦ å¤§å¦é™¢æƒ…å ±å¦ç ”究科 çŸ¥èƒ½æƒ…å ±å¦å°‚æ”» ä½è—¤ãƒ»äº”ååµç ”究室 å·¥å¦éƒ¨æƒ…å ±å¦ç§‘計算機科å¦ã‚³ãƒ¼ã‚¹ æ±äº¬å¤§å¦ 大å¦é™¢æƒ…å ±ç†å·¥å¦ç³»ç ”究科 コンピュータ科å¦å°‚æ”», ç±³æ¾¤ç ”ç©¶å®¤ 大å¦é™¢ç·åˆæ–‡åŒ–ç ”ç©¶ç§‘ 広域システム科å¦ç³» æƒ…å ±ãƒ»å›³å½¢ æƒ…å ±ã‚·ã‚¹ãƒ†ãƒ ç ”ç©¶ã‚°ãƒ«ãƒ¼ãƒ— æ±åŒ—大å¦å¤§å¦é™¢æƒ…å ±ç§‘å¦ç ”ç©¶ç§‘æƒ…å ±åŸºç¤Žç§‘å¦å°‚æ”» å°æž—ç ”ç©¶å®¤ University of Pennsylvania Department of Computer and Information Science Prof. Benjamin Pierce last update on $Date: 2008-09-22 14:53:53 +0900 (Mon, 22 Sep 2008) $
OCaml プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°å…¥é–€
OCaml ã®ã™ã™ã‚ OCaml ã¨ã¯ãƒ•ãƒ©ãƒ³ã‚¹ã® æƒ…å ±æŠ€è¡“ç³»ã®ç ”究機関㮠INRIA ã§é–‹ç™ºã•ã‚Œã¦ã„る関数型言語 ML (ã®æ–¹è¨€) ã§ã™ã€‚ML ã«ã¯å¤šç›¸åž‹ã€åž‹æŽ¨è«–ã€ã‚¬ãƒ¼ãƒ™ãƒ¼ã‚¸ã‚³ãƒ¬ã‚¯ã‚·ãƒ§ãƒ³ (GC)ã€ ãƒ‡ãƒ¼ã‚¿æ§‹é€ ã®ãƒ‘ターンマッãƒãƒ³ã‚°ç‰ã€ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžç†è«–ã®ç ”究㮠æˆæžœ (ã™ã”ã最新ã®ã‚‚ã®ã¨è¨€ã†ã‚ã‘ã§ã¯ç„¡ã„ãã†ã§ã™ãŒ) ãŒè©°ã‚è¾¼ã¾ã‚Œ ã¦ã„ã¾ã™ã€‚ã“れらã®ç›®çš„・効用ã¯ã€ コードã®å†åˆ©ç”¨ã®ç¯„囲ãŒå¤§ãã„ (多相型) コードã®è¨˜è¿°é‡ãŒçŸã‹ããªã‚‹ (åž‹æŽ¨è«–ãƒ»ãƒ‡ãƒ¼ã‚¿æ§‹é€ ã®ãƒ‘ターンマッãƒãƒ³ã‚°) ãƒã‚°ã®å…¥ã‚Šè¾¼ã‚€ä½™åœ°ãŒå°‘ãªããªã‚‹ (GCã€é–¢æ•°çš„(副作用ã®å°‘ãªã„)プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°) ç‰ã§ã™ã€‚ç§ã¯ OCaml ã‚’ç ”ç©¶ã§ã®ãƒ‡ãƒ¼ã‚¿å‡¦ç†ã‚’ã¯ã˜ã‚ã€ä½œæˆã™ã‚‹ãƒ—ãƒã‚°ãƒ©ãƒ ã»ã¨ã‚“ã© å…¨ã¦ã«ãŠã„ã¦æ—¥å¸¸çš„ã«ä½¿ã£ã¦ã„ã‚‹ã®ã§ã™ãŒã€ ã¨ã«ã‹ã開発効率ãŒè‰¯ã„ã§ã™ã€‚ コンパイル時ã®åž‹ãƒã‚§ãƒƒã‚¯ã®åŽ³ã—ã•ã«ã¯æ…£ã‚Œãªã„ã¨ã¡ã‚‡ã£ã¨é¢å€’ã«æ„Ÿã˜ã‚‹ ã‹ã‚‚ã—ã‚Œã¾
OCaml.jp
ã“ã®ãƒšãƒ¼ã‚¸ã¯æœ€å¾Œã«æ›´æ–°ã•ã‚Œã¦ã‹ã‚‰1年以上経éŽã—ã¦ã„ã¾ã™ã€‚æƒ…å ±ãŒå¤ã„å¯èƒ½æ€§ãŒã‚ã‚Šã¾ã™ã®ã§ã€ã”注æ„ãã ã•ã„。 OCaml（オã‚ャムルï¼ã‚ªãƒ¼ã‚ャムル）ã¯ã€INRIAï¼ˆãƒ•ãƒ©ãƒ³ã‚¹å›½ç«‹æƒ…å ±å¦è‡ªå‹•åˆ¶å¾¡ç ”究所）ã§é–‹ç™ºã•ã‚Œã¦ã„る関数型言語ã®ä¸€ç¨®ã§ã€æœ€æ–°ã®è¨€èªžç†è«–ã®æˆæžœãŒå–り入れられãŸãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã§ã™ã€‚ 型安全ãªé™çš„型システムを基盤ã«ã€ãƒã‚°ã®å°‘ãªã„é«˜ä¿¡é ¼ãªãƒ—ãƒã‚°ãƒ©ãƒ ãŒé–‹ç™ºã§ãã¾ã™ã€‚ オブジェクトã€åž‹æŽ¨è«–ã€ä»£æ•°çš„データ型ã€ãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«ã‚·ã‚¹ãƒ†ãƒ ã€å¤šç›¸ãƒãƒªã‚¢ãƒ³ãƒˆã€ç¬¬ä¸€ç´šãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«ã€GADTã¨ã„ã£ãŸæ§˜ã€…ãªæ©Ÿèƒ½ã‚’利用ã—ã¦ã€ã‚ˆã‚Šç°¡æ½”ã§æ•´ç†ã•ã‚ŒãŸã‚³ãƒ¼ãƒ‰ãŒè¨˜è¿°ã§ãã¾ã™ã€‚ x86, x86-64, ARM, PowerPCãªã©å¤šæ•°ã®ã‚¢ãƒ¼ã‚テクãƒãƒ£ã®ãƒã‚¤ãƒ†ã‚£ãƒ–コードを出力ã§ãるコンパイラをæŒã£ã¦ã„ã¾ã™ã€‚Android ã‚„ iOS å‘ã‘ã®ã‚¯ãƒã‚¹ã‚³ãƒ³ãƒ‘イルもå¯èƒ½ã§ã™ï¼ˆLinux 上ã§ã®ã‚¯ãƒã‚¹ã‚³ãƒ³ãƒ‘イル㯠opam-cross-a
1
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
{{#tags}}- {{label}}
{{/tags}}