Frege REPL
{- | ____|| _ \ | ____| / _____|| ____| | |__ | |_) | | |__ | | __ | |__ | __| | | __| | | |_ | | __| | | | |\ \__ | |____ | |__| | | |____ |__| | _| `.___||_______| \______| |_______| ************ A Haskell for the JVM ************* Here in the editor, you can edit Frege code and then run it by clicking the 'Evaluate' button at the bottom or by pressing 'Ctrl + Enter'. The following is an example
プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžFrege(フレーゲ)を紹介ã—ã¾ã™ - uehaj's blog
ã“ã‚Œã¯ãƒžã‚¤ãƒŠãƒ¼è¨€èªž Advent Calendar 2013ã®21日目ã®è¨˜äº‹ã§ã™ã€‚ Frege(フレーゲ*1 )を紹介ã—ã¾ã™ã€‚ Fregeã¯ã€Java VM上ã§å‹•ä½œã™ã‚‹Haskell風ã®è¨€èªžã§ã™ã€‚以下ã®ã‚ˆã†ãªç‰¹å¾´ã‚’æŒã£ã¦ã„ã¾ã™ã€‚ 純関数型言語 éžæ£æ ¼è©•ä¾¡(ã„ã‚ゆるé…延評価) Hindley-Milner型推論ã«åŸºã¥ãé™çš„型言語 ã“れらã®ç‰¹å¾´ã¯ã€Haskellã¨å…±é€šã™ã‚‹ã‚‚ã®ã§ã‚ã‚Šã€æ§‹æ–‡ã‚‚基本的ãªã¨ã“ã‚ã«ã¤ã„ã¦ã¯Haskellã¨ã ã„ãŸã„åŒã˜ã‹ä¼¼ã¦ã„ã‚‹ã‹ã‚‚ã—ãã¯ã‚µãƒ–セットã§ã™ã€‚標準関数やデータ型やモジュールã«ã¤ã„ã¦ã‚‚ã€Haskell 2010ã‹ã‚‰ãŸãã•ã‚“引ã£ã±ã£ã¦ãã¦ã„ã‚‹ãã†ã§ã™ã€‚ ã—ã‹ã—ãªãŒã‚‰ã€Fregeã¯ãã®ç›®æ¨™ã«ãŠã„ã¦ã€Haskellã¨ã®å®Œå…¨ãªäº’æ›æ€§ã‚’é”æˆã—よã†ã¨ã¯ã—ã¦ã„ã¾ã›ã‚“。実際ã‹ãªã‚Šé•ã£ã¦ã„ã¾ã™ã€‚特ã«Java VM上ã§æœ‰ç”¨ã§ã‚ã‚‹ã“ã¨ã«é‡ç‚¹ãŒç½®ã‹ã‚Œã¦ãŠã‚Šã€ãƒ—リミティブ型ã¯Javaã®ã‚‚ã®
JavaコードをHaskellã§æ›¸ããªãŠã™ã®ã«æ‰‹ã“ãšã£ãŸè©± - yunomuã®ãƒ–ãƒã‚°
「続・アルゴリズムをå¦ã¼ã†ã€ãŒç™ºå£²ã•ã‚Œã¦ã€æ ¡æ£ã‚’ã»ã‚“ã®ã¡ã‚‡ã£ã¨æ‰‹ä¼ã£ãŸãŠç¤¼ã‹ãªã‚“ã‹ã§ç™ºå£²ã•ã‚ŒãŸæœ¬ã‚’é ‚ãã¾ã—ã¦ã€ã¼ã¡ã¼ã¡èªã‚“ã ã‚Šã—ã¦ã„ã¾ã™ã€‚ å‰ä½œã«æ¯”ã¹ã¦ä½¿ã„ã‚„ã™ã„ã¨ã„ã†ã‹ã€è¦ªã—ã¿ã‚„ã™ã„ãƒã‚¿ãŒå¤šãã¦é¢ç™½ã„ã§ã™ã。 「続・アルゴリズムをå¦ã¼ã†ã€http://www.amazon.co.jp/dp/4048913948/ ã§ã€ã¡ã‚‡ã£ã¨æš‡ã¤ã¶ã—ã«ã€Œç¶šãƒ»ã‚¢ãƒ«ã‚´ãƒªã‚ºãƒ ã‚’å¦ã¼ã†ã€ã«è¼‰ã£ã¦ã‚‹ãƒªãƒãƒ¼ã‚·ã‚’Haskellã§å®Ÿè£…ã—ã¦ã¿ã¾ã—ãŸã€‚ https://github.com/yunomu/exercises/tree/master/reversi ã“ã®æœ¬ã«è¼‰ã£ã¦ã„るプãƒã‚°ãƒ©ãƒ 例ã¯Javaã§æ›¸ã‹ã‚Œã¦ã„ã‚‹ã®ã§ã€è¦ã¯Javaã‚’Haskellã§æ›¸ããªãŠã™ã¨ã„ã†ä½œæ¥ã‚’ã—ãŸã‚ˆã†ãªæ„Ÿã˜ã«ãªã‚Šã¾ã—ãŸã€‚ å‰ã«ãªã‚“ã‹å‹˜é•ã„ã—ã¦ã„ãŸè©± Javaã¨Haskellã¨ã„ãˆã°ã€å‰ã«ç¤¾å†…ã§"Types and Programming La
1
ランã‚ング
ランã‚ング
ランã‚ング
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
{{#tags}}- {{label}}
{{/tags}}