Xavier Leroy - Home page
Hello and welcome to my corner of the Web. I'm a senior computer scientist interested in all scientific aspects of computer programming. I'm a professor at Collège de France, where I hold the chair of software sciences, and a member of Académie des sciences. I'm also a member of the Cambium research team of Inria. News [11/2025] A draft of my forthcoming book, Control structures in programming lan
ICFP 2010 実æ³ãªã©
kinaba @kinaba #WMM Appelã®æ‹›å¾…講演：é™çš„解æžå™¨ã§ä¸å¤‰æ¡ä»¶ã‚’挿入→（以下Coqã§ï¼‰æ¤œè¨¼â†’å…¬ç†çš„æ„味論ã‹ã‚‰æ“作的æ„味論ã‹ã‚‰åŒæ¨¡å€£ã§è¨¼æ˜Žã—ã‚„ã™ã„æ“作的æ„味論ã‹ã‚‰Leroyã®CompCertã§æŠ½è±¡ãƒžã‚·ãƒ³èªžã«ã‚³ãƒ³ãƒ‘イルã—ã¦ã‹ã‚‰PPCã¸ã€ã¨ã„ã†ã€ä¸¦åˆ—性を扱ãˆã‚‹Cコンパイラツールãƒã‚§ã‚¤ãƒ³ã«ã¤ã„ã¦ã€‚ 2010-09-25 23:39:52 kinaba @kinaba #WMM システムコールやpthreadã¯ã‚ªãƒ©ã‚¯ãƒ«ã¨ã—ã¦æŠ½è±¡åŒ–ã—ã¦ã‚„る。"ã“ã®é‡ã®è¨¼æ˜Žã¯æ©Ÿæ¢°åŒ–証明ãªã—ã§ã¯ç„¡ç†"ã€"証明ã®ãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«åŒ–(module,ä¾å˜åž‹,型クラス)é‡è¦"/(感想)ãã‚Œã§ã‚‚ã¾ã モジュール化機構ãŒ"足りã¦ãªã„"æ„Ÿã‚’æ„Ÿã˜ã‚‹ã‘ã©è¨¼æ˜Žè¨€èªžã¯å°†æ¥ã©ã†ãªã‚‹ã‹ãªãƒ¼ 2010-09-25 23:50:59
高階関数クイズ - camlspotter’s blog
ã¡ã‚‡ã£ã¨ã—ãŸé«˜éšŽé–¢æ•°ã‚’使ã£ãŸãƒ‘ズルã§ã™ã€‚å‰ã®ä¼šç¤¾ã®é¢æŽ¥ã§ä½¿ãŠã†ã‹ãªã‚ã¨æ€ã£ã¦ã„ãŸã®ã§ã™ãŒã€ä½¿ã†æ©Ÿä¼šã‚‚ãªããªã£ãŸã®ã§ã€‚å…¨ã別ã®æ©Ÿä¼šã«ã€é«˜éšŽé–¢æ•°ã‚’æ•™ãˆã‚‹ãŸã‚ã®ä¾‹ã‚’書ã„ã¦ã„ã¦ã€éŠã‚“ã§ã„ãŸã‚‰é¢ç™½ã„ã‚‚ã®ã‚’見ã¤ã‘ãŸã®ã§è¦šãˆã¦ã„ãŸã®ã§ã™ã€‚ # let twice f x = f (f x) ã“れ㯠f ã¨ã„ã†é–¢æ•°ã¨å€¤ x をもらã£ã¦ã€f を二回 x ã«é©ç”¨ã™ã‚‹é–¢æ•°ã§ã™ã€‚ 次㮠add1 ã¯å¼•æ•° x ã‚’å—ã‘å–ã£ã¦ã€ï¼‘足ã—ã¦è¿”ã™é–¢æ•°ã§ã™ã€‚ã“れを twice ã«ä½¿ã†ã¨ã€ã“ã†ãªã‚Šã¾ã™ã€‚ # let add1 x = x + 1 # add1 0 1 # twice add1 0 2 関数型言語ã«æ…£ã‚Œã¦ã„ã‚‹æ–¹ãªã‚‰ã€twice ((+) 1) 0 ã§ã‚‚åŒã˜ã§ã™ã。(OCaml を使ã£ã¦ã„ã¾ã™ãŒã€æ…£ã‚Œã¦ã„ãªã„æ–¹ã®ç‚ºã«ã€å‡ºåŠ›ã‚’一部çœç•¥ã—ã¦ã„ã¾ã™ã€‚# ã¯ãƒ—ãƒãƒ³ãƒ—トã§ã™ã€‚コメントã˜ã‚ƒã‚ã‚Šã¾ã›ã‚“。ã‚ã¨ã€å…¥åŠ›ã®å¾Œã«ã¯ ;; ã‚’
ICFP Programming Contest 2010 終了 - ã¾ã‚ã‚ã‚‚
ref: http://icfpcontest.org/ 今回ã®èª²é¡Œã¯è¿‘年稀ã«è¦‹ã‚‹é¢ç™½ã•ã§ã—ãŸã€‚è¦ç´„ã™ã‚‹ã¨ã“ã‚“ãªèª²é¡Œã€‚ 車ã¨ãã®ç‡ƒæ–™ã‚’開発ã—ã¦ã€å¸‚å ´ã«æŠ•å…¥ã›ã‚ˆã€‚ å¸‚å ´ã«æŠ•å…¥ã•ã‚ŒãŸè»Šã®è¨è¨ˆæ›¸ã¯å‚åŠ è€…å…¨å“¡ã«å…¬é–‹ã•ã‚Œã‚‹ã€‚燃料ã®è¨è¨ˆæ›¸ã¯å…¬é–‹ã•ã‚Œãªã„。 他社ã®è»Šã®è¨è¨ˆæ›¸ã‚’解æžã—ã¦ã€ä»–社ã®è»Šç”¨ã®ç‡ƒæ–™ã‚’開発ã—å¸‚å ´ã«æŠ•å…¥ã™ã‚‹ã“ã¨ã‚‚ã§ãる。売上ã¯ã»ã¼æŠ˜åŠ *1 。 燃料ã®å£²ä¸Šã‚’競ã†ã€‚ 以上より目的ã¯ã€ã€Œè§£æžãŒé›£ã—ã„車をè¨è¨ˆã—ã¦æŠ•å…¥ã—ã€ç‡ƒæ–™ã®å£²ä¸Šã‚’寡å ã™ã‚‹ã€ã‹ã¤ã€Œä»–人ã®è»Šã‚’解æžã—ã¦ç‡ƒæ–™ã‚’作りã€å£²ä¸Šã‚’奪ã†ã€ã¨ã„ã†ã“ã¨ã«ãªã‚Šã¾ã™ã€‚ã™ã°ã‚‰ã—ã„皮肉的ãªè¨å®šã€‚ ã•ã‚‰ã« ICFPC らã—ã•ã¨ã—ã¦ã€ 車や燃料ã®è¨è¨ˆæ›¸ã¯ trit æ–‡å—列 (0 㨠1 㨠2 ã®ã¿ã‹ã‚‰ãªã‚‹æ–‡å—列) ã§æ›¸ã‹ã‚Œã‚‹ã€‚trit æ–‡å—列ã®ä»•æ§˜ã¯éžå…¬é–‹ã€‚é©å½“ã«ä½œã£ãŸè¨è¨ˆæ›¸ã‚’投入ã—ã¦ã¿ã¦ã€ãƒ‘ースエラーã®ãƒ¡ãƒƒã‚»ãƒ¼ã‚¸ã‚’å…ƒã«ã€ãƒˆãƒ©ã‚¤ã‚¢ãƒ³ãƒ‰ã‚¨ãƒ©ãƒ¼ã§ãƒ•ã‚©ãƒ¼ãƒžãƒƒãƒˆã‚’
Ruby ã§ãƒ‘ターンマッム- ã¾ã‚ã‚ã‚‚
ref: 未æ¥ã®å›½ã®ã‚¢ãƒªã‚¹ - d.y.d. ã§ç´¹ä»‹ã•ã‚Œã¦ã„ã‚‹ implicit future ㌠Ruby ã«æ¬²ã—ã„ï¼ # promise を作る x = Promise.new a = [1, x, 2, x, 3, x] # 今ã¯ã¾ã 値ã«ãªã£ã¦ã„ãªã„ p a #=> [1, _promise_, 2, _promise_, 3, _promise_] # ã“ã® promise 㯠42 ã«æ±ºã‚ãŸï¼ (代入ã§ã¯ãªã„よ) x === 42 # x ã®ç®‡æ‰€ã¯å‹æ‰‹ã« 42 ã«ãªã£ã¦ã„ã‚‹ p a #=> [1, 42, 2, 42, 3, 42] ã¨ã„ã†ã®ã‚‚ã€ã“ã‚ŒãŒã‚れ㰠Ruby ã§ãƒ‘ターンマッãƒãŒã§ãã‚‹æ°—ãŒã™ã‚‹ã‚“ã§ã™ã‚ˆã。ã“ã‚“ãªæ„Ÿã˜ã«ã€‚ # 何ã«ã§ã‚‚マッãƒã™ã‚‹ç®‡æ‰€ã«ã¯ _ ã¨æ›¸ã (実体㯠Promise.new) def _ Promise.new end # + ã¨å®šæ•°ã ã‘ã‹ã‚‰ãªã‚‹æŠ½è±¡
3imp 写経ã®æ—¥ã€…ãã®ï¼’(マニアむã‘) - 言語ゲーãƒ
ã¨ã„ã†ã‚ã‘ã§ã‚„ã£ã¨ 4.7 ç« ã¾ã§èªã¿çµ‚ãˆãŸæ„Ÿæƒ³ã§ã™ã€‚ 3imp ã¯ç‰¹ã« Lisp 系言語ã®åˆ©ç‚¹ã‚’最大é™ã«ç™ºæ®ã—ãŸæ§‹æˆã«ãªã£ã¦ã„ã¾ã™ã€‚ã“ã®é™ã‚‰ã‚ŒãŸã‚¹ãƒšãƒ¼ã‚¹ã®ä¸ã§ã€ã‚³ãƒ³ãƒ‘イラã®å®Ÿè£…ã«ã¤ã„ã¦ä¸è¶³ãªã説明ã—ãる事ãŒå‡ºæ¥ãŸå‹å› 㯠S å¼ã¨ãƒžã‚¯ãƒã§ã—ょã†ã€‚ç§ã¯æ£ç›´ S å¼ã‚‚マクãƒã‚‚å«Œã„ã§ã™ãŒã€ã“ã¨ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã®å®Ÿè£…を解説ã™ã‚‹ã¨ã„ã†ç”¨é€”ã«ãŠã„㦠Lisp ã¯æœ€å¼·ã¨ã„ã†æ„Ÿæƒ³ã‚’æŒã¡ã¾ã—ãŸã€‚ ã¾ãš S å¼ã«ã¤ã„ã¦ã€‚S å¼ã‚’使ã†ã¨ãƒ‘ーサãŒä¸è¦ã§ã™ã€‚世ã®ä¸ã«å‡ºå›žã£ã¦ã„るコンパイラã®æ•™ç§‘書ã®ã‹ãªã‚Šã®ã‚¹ãƒšãƒ¼ã‚¹ãŒãƒ‘ーサã®èª¬æ˜Žã«ãªã£ã¦ã„る事を考ãˆã‚‹ã¨ã€ãƒ‘ーサãŒä¸è¦ã¨ã„ã†ã®ã¯ç”»æœŸçš„ã§ã™ã€‚パーサã®èª¬æ˜Žã‚’çœã事ã«ã‚ˆã£ã¦ã„ããªã‚Šæœ¬è³ªçš„ãªè°è«–ãŒå‡ºæ¥ã‚‹ã‹ã‚‰ã§ã™ã€‚ ãã‚Œã‹ã‚‰ãƒžã‚¯ãƒã«ã¤ã„ã¦ã€‚3imp ã®ã‚½ãƒ¼ã‚¹ã¯ SICP ã«æ¯”ã¹ã¦ç›¸å½“分ã‹ã‚Šã‚„ã™ã„ã§ã™ãŒã€ãã®ç†ç”±ã¯ record-case マクãƒã«ã‚ˆã‚‹ãƒ‘ターンマッãƒã‚‚ã©ãã«ã‚ã‚‹ã¨
Ruby Metaprogramming - RubyLearning
Metaprogramming in Ruby A comprehensive guide to Ruby metaprogramming - learn how to write code that writes code. First Step on Ruby Metaprogramming First Week Let's start learning Ruby Metaprogramming! Study 0 1st, review the built-in, read-only variable self. Read the following articles: self - The current/default object 2nd, review singleton class. Understanding Ruby Singleton Classes is essent
full abstraction - keigoiã®æ—¥è¨˜
full abstraction ... λ計算ã¨ã‹Ï€è¨ˆç®—ã¨ã‹è¡¨ç¤ºçš„æ„味論ã®ãŠè©±ã§ã¯ã‚ˆã出ã¦ãる概念ãªã‚“ã§ã™ãŒã€æœªã ã«ã‚ˆãã‚ã‹ã‚‰ãªã„ãªãƒ¼ã¨ã¤ã¶ã‚„ã„ã¦ã„ãŸã‚‰ id:sumii ã•ã‚“ã«æ•™ãˆã¦ã„ãŸã ã„ãŸã€‚ ã‚‚ã£ãŸã„ãªã„ã®ã§ã“ã“ã«æ®‹ã—ã¦ãŠãã¾ã™ã€‚ full abstraction ã®ç§çš„ãªèª¬æ˜Ž 計算体系Aã¨è¨ˆç®—体系(ã‚‚ã—ãã¯ãƒ¢ãƒ‡ãƒ«)B ãŒã‚ã‚‹ã¨ã—ã¦ã€ ãã®é–“ã®å¤‰æ›ã‚’ C[・] : A -> B〠〜A 㨠〜B ã‚’ãã‚Œãžã‚Œã®è¨ˆç®—体系(ã‹ãƒ¢ãƒ‡ãƒ«)ã«ãŠã‘ã‚‹ç‰ä¾¡æ€§ã¨ã—ã¾ã™ã€‚ ã™ã¹ã¦ã®Aã®é … ta1ã¨ta2ã«ã¤ã„㦠C[ta1] 〜B C[ta2] ãªã‚‰ã° ta1〜A ta2 ... adequacy(soundness) ta1 〜A ta2 ãªã‚‰ã° C[ta1] 〜B C[ta2] ... completeness ã“ã®ä¸¡æ–¹ãŒæˆã‚Šç«‹ã¤ã¨ã〠変æ›ã¯ fully abstract ã§ã‚ã‚‹ã¨ã„ã„ã¾ã™ã€‚ ãŸ
The Typeclassopediaを訳ã—ã¾ã—ãŸ, The Typeclassopedia - #3(2009-10-20)
â– [Haskell] The Typeclassopediaを訳ã—ã¾ã—㟠The Monad.Readerã®Issue 13ã«æŽ²è¼‰ã•ã‚ŒãŸThe Typeclassopediaã¨ã„ã†è¨˜äº‹ãŒã€Functor, Monad, Monoid, Applicative, Foldable, Traversable, Arrowã¨ã„ã£ãŸã‚ˆã†ãªåž‹ã‚¯ãƒ©ã‚¹ã«ã¤ã„ã¦è‰¯ãã¾ã¨ã¾ã£ã¦ã„ã¦ã€ãã®ã‚ãŸã‚Šã‚’知りãŸã„時ã®å–ã£æŽ›ã‹ã‚Šã«ãªã‚Šãã†ã ã£ãŸã®ã§ç¿»è¨³ã—ã¦ã¿ã¾ã—ãŸã€‚ 作者ã®Brent Yorgeyã•ã‚“ã‹ã‚‰ã‚‚許å¯ãŒã„ãŸã ã‘ãŸã®ã§å…¬é–‹ã—ã¾ã™ã€‚翻訳ã«æ…£ã‚Œã¦ã„ãªã„ã®ã§å¤‰ãªæ—¥æœ¬èªžï¼ˆç‰¹ã«å°‚門用語ã®æ—¥æœ¬èªžè¨³ã¯ã‹ãªã‚Šæ€ªã—ã„）ãŒã‚ã£ãŸã‚Šã€ãã‚‚ãã‚‚é–“é•ã£ã¦ã„ãŸã‚Šã™ã‚‹ã‹ã‚‚ã—ã‚Œã¾ã›ã‚“ã®ã§ã€ä½•ã‹è¦‹ã¤ã‘ãŸã‚‰ã‚³ãƒ¡ãƒ³ãƒˆã‚’é ‚ã‘ã‚‹ã¨åŠ©ã‹ã‚Šã¾ã™ã€‚ â– [Haskell] The Typeclassopedia by Brent Yorgey <first
Route 477 - gemcutterã®ä½¿ã„æ–¹ã¾ã¨ã‚ (2009年秋)
â– [haskell] モナドã£ã¦çµå±€ãªã‚“ãªã® 社内勉強会ã§ãƒ¢ãƒŠãƒ‰ã«ã¤ã„ã¦ç™ºè¡¨ã—ã¾ã—ãŸã€‚分ã‹ã£ãŸæ°—ãŒã™ã‚‹ãŸã³ã«ã™ãã«æ‰‹ã‹ã‚‰ã™ã‚Šã¬ã‘ã¦ã—ã¾ã†ã€ãã‚ŒãŒãƒ¢ãƒŠãƒ‰â€¦ï¼ 追記： モナドãã®ã‚‚ã®ãŒä½•ãªã®ã‹ã¨ã‹è€ƒãˆãªã„ã»ã†ãŒã„ã„ã‚“ã˜ã‚ƒãªã„ã§ã™ã‹ãï¼ [Twitter / ã„ーãã‚‹ã¨ã¾ã¨ã‚ˆã‚Šå¼•ç”¨] ã¾ã•ã«ãã®é€šã‚Šã ã¨æ€ã„ã¾ã™(笑)。IOã®ä½¿ã„æ–¹ã€Maybeã®ä½¿ã„æ–¹ã€Stateã®ä½¿ã„æ–¹ãªã©ã‚’押ã•ãˆã¦ãŠã‘ã°ã€ ä¸ãŒã©ã†ãªã£ã¦ã‚‹ã‹ãªã‚“ã¦çŸ¥ã‚‰ãªãã¦ã‚‚大丈夫。 ã§ã‚‚ã€ãƒ¢ãƒŠãƒ‰ã®æŒã¤ã€Œãªã‚“ã‹ç§˜æŠ€ãŒã‚ã‚Šãã†ãªæ„Ÿã˜ã€ãŒã€ä¸ã‚’覗ã„ã¦ã¿ãŸãã•ã›ã‚‹ã‚“ã§ã™ã‚ˆã。 ã“ã®ã€ã©ã“ã¾ã§æŽ˜ã£ã¦ã‚‚自分ã®çŸ¥ã‚‰ãªã„ã“ã¨ãŒå‡ºã¦ãã‚‹æ„Ÿã˜ãŒHaskellã®é…力ãªã®ã‹ã‚‚。 Haskell ã®æœ¬å½“ã«ã™ã”ã„ã¨ã“ã‚ã¯ã€ã€Œãªãœãªã«ã€ã‚’å•ã„ã‹ã‘ã‚‹ã“ã¨ã§ã„ã¤ã¾ã§ã‚‚プãƒã‚°ãƒ©ãƒžãŒæˆé•·ã§ãã‚‹ã¨ã“ã‚ã«ã‚る。 [ãµãã¼ã£ãŸãƒ¼ / ikegami__より引用] 一å•ä¸€ç” Q. モ
ã¯ã˜ã‚ã¦ã®ã«ã(2009-10-14)
_ 検索ãŒã†ã¾ããªã„ã¨ã„ã†è©± ãªã«ã‹åƒ•ã¯çµ¶æœ›çš„ã«ãƒ˜ã‚¿ãªæ¤œç´¢ã‚’ã™ã‚‹ã¨ã„ã†è©±ã‚’よãã™ã‚‹ã€‚ ã‘ã©å…·ä½“çš„ã«ã©ã‚“ãªãƒ˜ã‚¿æ¤œç´¢ã ã£ãŸã‹è¦šãˆã¦ãªã‹ã£ãŸã®ã§ã€ é©å½“ã«ãƒã‚°ã‚’ã‚ã•ã£ã¦ãƒ˜ã‚¿ãã†ãªæ¤œç´¢å¤±æ•—例を探ã—ã¦ããŸã€‚ ãŸã„ã¦ã„å˜èªžãŒè¶³ã‚Šã¦ãªãã¦å¢—ã‚„ã™ã®ã ã‘ã©ã€ 増やã™å‰ã®æ¤œç´¢ã‚ーワードã§ç›®çš„ã®ã‚‚ã®ãŒè¦‹ã¤ã‹ã‚‹ã¯ãšãŒãªã„。 DS => カルドセプト DS MT => MT mersenne 永田 => 永田 èµ¤è» span => span style => span style height NTT => NTT goo ã‚ã¨ã¯ä½•ãŒçŸ¥ã‚ŠãŸã‹ã£ãŸã®ã‹è¦‹å½“ã‚‚ã¤ã‹ãªã„よã†ãªã‚¯ã‚¨ãƒªãŒ ãŸã¾ã«ã‚ã‚‹ã¯ãšâ€¦ã¨æ€ã£ãŸã®ã ã‘ã©ã€æ„外ã¨ãªã‹ã£ãŸã€‚ ä¸æ„ã«ã€Œã¯ã‚‰ã¸ã£ãŸã€ã¨ã‹ã§æ¤œç´¢ã—ã¦ãŸæ°—ãŒã™ã‚‹ã‚“ã ã‘ã©ãªã。 本気ã§æ„図ãŒã‚ã‹ã‚‰ãªã‹ã£ãŸã®ã¯ã€ 「財布ã€ã€Œåº—主ã€ãªã©ãŒã‚ã£ãŸã€‚ 「雪æ©shinhã€ã¨ã„ã†ã®ã‚‚ã‚ã£ãŸãŒä¿ºã¯ä¸€ä½“何を期待ã—ã¦ã„ãŸã®
Matzã«ã£ã(2008-02-01)
<< 2008/02/ 1 1. [言語] 「ãƒãƒƒã‚«ãƒ¼ã¨ç”»å®¶ã€ã®è‘—者ãŒæ–°ã—ã„Lisp系言語「Arcã€ã‚’公開 | エンタープライズ | マイコミジャーナル 2. 「セã‚ュリティã€ãªã‚ã‚“ãªã‚ˆ!〠ãªã‚ãã“も一緒ã«æƒ…å ±ã‚»ã‚ュリティ強化宣言 | ãƒãƒƒãƒˆ | マイコミジャーナル 3. 「サイオステクノãƒã‚¸ãƒ¼ã¯ã‚°ãƒ«ãƒ¼ã‚¸ã‚§ãƒ³ãƒˆã®æœªæ¥æŠ€è¡“ã«æœŸå¾…ã—å会社化ã€ï¼šITpro 2 1. [Ruby] Nimble Method: Garbage Collection is Why Ruby on Rails is Slow: Patches to Improve Performance 5x; Memory Profiling 2. [言語] LuaJIT roadmap 2008 3. [Ruby] What will Matz do? 4. [Ruby] EURUKO 2008 − European Ruby
Pythonã®lambda - 西尾泰和ã®ã¯ã¦ãªãƒ€ã‚¤ã‚¢ãƒªãƒ¼
プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã‚·ãƒ³ãƒã‚¸ã‚¦ãƒ ã§è¨€èªžãƒ‘ターン - 使ã„ã‚„ã™ã„言語・ライブラリをデザインã™ã‚‹æ–¹æ³• - qwik.jp/lang-patternã®ç™ºè¡¨ã‚’èžã„ã¦ã„ã¦ã€ä½¿ã£ã¦ã»ã—ããªã„機能ã¯ä½¿ã„ã«ããã™ã‚‹ã¨ã„ã†è©±ã®ã¨ã“ã‚ã§ã€ŒPythonã®lambdaãŒä½¿ã„ã‚„ã™ã改善ã•ã‚Œãªã„ã®ã¯GuidoãŒä½¿ã£ã¦ã»ã—ããªã„ã¨æ€ã£ã¦ã„ã‚‹ã‹ã‚‰ã€ã¨ç™ºè¨€ã—ãŸã‚‰ã‚½ãƒ¼ã‚¹ã‚’求ã‚られãŸã®ã§èª¿ã¹ã¦ã¿ãŸ The fate of reduce() in Python 3000 Why drop lambda? Most Python users are unfamiliar with Lisp or Scheme, so the name is confusing; also, there is a widespread misunderstanding that lambda can do things that a nested fun
Route 477(2009-07-28)
â– [book][lisp] Let Over Lambdaã‚’èªã‚“ã§Common Lispã«èˆˆå‘³ã‚’æŒã£ãŸ 途ä¸ã¾ã§èªã‚“ã 。 4434133632 Lispマクãƒã‚’使ã£ã¦ã„ã‚ã„ã‚éŠã¶ãœï¼ã¨ã„ã†æœ¬ã€‚内容ã¯æ¿ƒã„ã‘ã©ã€ç« (テーマ)ãŒ7ã¤ã‚ã‚Šã€ä¸€ã¤ä¸€ã¤ã®ç¯€ã¯çŸã‚ãªã®ã§å°‘ã—ãšã¤èªã‚“ã§ã„ãã“ã¨ãŒã§ãる。 Lisp方言ã«ã¯ã€ŒCommon Lispã€ã¨ã€ŒSchemeã€(ã‚ã¨Arcã¨ã‹Clojureã¨ã‹)ãŒã‚ã‚‹ã‚ã‘ã ã‘ã©ã€ 本書ã§ã€ŒLispã€ã¨æ›¸ã„ã¦ã‚ã‚Œã°Common Lispã®æ–¹ã‚’指ã™ã€‚ã ã‹ã‚‰Lispコンパイラã®å˜åœ¨ã¯å½“然ã ã—ã€ãƒªãƒ¼ãƒ€ãƒ¼ãƒžã‚¯ãƒã‚‚ã‚る。 第3ã®ã‚¢ãƒ³ã‚¯ã‚ªãƒ¼ãƒˆã€Œ,.ã€ã¨ã‹å…¨ã知らãªã‹ã£ãŸãœã€‚ ã‚“ã§ã¾ã‚ã€ãƒžã‚¯ãƒã¨é–¢ä¿‚ãªã„ã‚“ã ã‘ã©ã€Schemeã¯ã‚·ãƒ³ãƒ—ルã•ã‚’å–ã‚‹ãŸã‚ã«ã€LispãŒæŒã£ã¦ã„ãŸã„ã‚ã„ã‚ãªã‚‚ã®ã‚’切りæ¨ã¦ã¦ã‚‹ã‚“ã ãªãã¨ã„ã†ã®ã‚’今ã•ã‚‰ã€‚ loopマクãƒã¨ã‹ã€ã€ŒCommon Lisp使ã„ã®æ›¸ãLi
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
https://dl.acm.org/citation.cfm?doid=1806689.1806757
anarchy proof -
mamememo
Buzz by DeWitt Clinton from Buzz
The Kawa language framework
Archives of the Caml mailing list > Message from Jacques Garrigue
{{#tags}}- {{label}}
{{/tags}}