type inference with logic programming
型推論ã¨è«–ç†ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚° core.logicを用ã„ã¦Clojureã®åž‹æŽ¨è«–器を実装ã—ã¾ã™. å˜ç›¸åž‹ 自己評価å¯èƒ½ãªå€¤ã«å¯¾ã—ã¦ã®åž‹ä»˜ã‘を考ãˆã¦ã¿ã¾ã—ょã†. Clojureã¯JVMã§å‹•ä½œã™ã‚‹ãŸã‚, Javaã®ãƒªãƒ•ãƒ¬ã‚¯ã‚·ãƒ§ãƒ³ã«ã‚ˆã‚Šå€¤ã‹ã‚‰åž‹ã‚’å–å¾—ã™ã‚‹ã“ã¨ãŒå¯èƒ½ã§ã™. (class "hoge") ; => java.lang.String (class []) ; => clojure.lang.PersistentVector
Java ã¨æ¯”ã¹ã¦ Clojure ㌠3 å€ä»¥ä¸Šé…ã„ã¨ã„ã†ã®ã¯ä½•ã‹ã®é–“é•ã„ã§ã¯ãªã„ã‹ã¨æ€ã£ã¦ç¢ºã‹ã‚ãŸã‚‰ï¼Œã‚„ã£ã±ã‚Šé–“é•ã„ã ã£ãŸä»¶ - tnoda-clojure
マルãƒã‚³ã‚¢ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®æ¦‚念㨠Java 8/Scala/Clojure ã§ã®æ›¸ã方，ãŠã‚ˆã³ï¼Œå„プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžé–“ã§ã®æ¯”較記事ãŒã¯ã¦ãªãƒ–ックマーク㧠93 ブクマ（執ç†æ™‚点）を集ã‚ã¦ãŠã‚Šï¼Œäººæ°—ã¨ãªã£ã¦ã„ã¾ã™ï¼Ž マルãƒã‚³ã‚¢æ™‚代ã®ãƒ—ãƒã‚°ãƒ©ãƒžã¯é–¢æ•°è„³ã«ãªã‚ã†ã€œScala・Clojure〜 - Tech-Sketch 記事をèªã‚“ã§ã¿ã‚‹ã¨ãªã‚‹ã»ã©åˆ†ã‹ã‚Šã‚„ã™ã，å„プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã®é•ã„も比較的ã™ã£ã¨é ã«å…¥ã£ã¦ãる良ã„記事ã§ã—ãŸï¼Žã“ã®è¨˜äº‹ã‚’書ã„ãŸä½œè€…ã«æ•¬æ„を表ã—ã¾ã™ï¼Ž ã—ã‹ã—，ã¾ã¨ã‚ã®ã¨ã“ã‚ã«æ›¸ã‹ã‚Œã¦ã„る実行時間比較を見ã¦ã¿ã‚‹ã¨ï¼Œä½•ã‹ãŒãŠã‹ã—ã„ã®ã§ã™ï¼Ž （元記事，ã¾ã¨ã‚ã®è¡¨ã‹ã‚‰ã®å¼•ç”¨ï¼‰ Java7 Java8 Scala Clojure éžä¸¦åˆ—処ç†å®Ÿæ™‚é–“ 0m32.304s 0m32.511s 0m50.478s 1m38.138s ＣＰＵ時間 0m33.730s 0m35.842s 2m12.2
1
ランã‚ング
ランã‚ング
ãŠçŸ¥ã‚‰ã›
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
{{#tags}}- {{label}}
{{/tags}}