Lost in Technopolis
As some one who has enjoyed the Lisp language (in several flavors) for about 15 years now, I wanted to express some of my reactions at recently discovering Haskell, and why it has supplanted Lisp as the apple of my eye. Perhaps it will encourage others to explore this strange, wonderful world, where it looks like some pretty damn cool ideas are starting to peek over the horizon. First, let me say
関数プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°å…¥é–€ Haskellã§å¦ã¶åŽŸç†ã¨æŠ€æ³• | Ohmsha
本書ã¯Haskellã€OCamlã€F#ã€Scalaã¨ã„ã£ãŸè¨€èªžã®æ™®åŠã«ã‚ˆã‚Šæ”¹ã‚ã¦æ³¨ç›®ã•ã‚Œã‚‹ã€Œé–¢æ•°ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã€ã®ç†è«–を体系的ã«å¦ã¶æ•™ç§‘書"Introduction to Functional Programming using Haskell"（Prentice Hall, 1998）ã®ç¿»è¨³ã§ã™ã€‚ 関数プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã«ãŠã‘る評価戦略ã€ãƒ‡ãƒ¼ã‚¿æ§‹é€ ã€è¨ˆç®—é‡ã€åž‹ã€ãƒ¢ãƒŠãƒ‰ã®ä»•çµ„ã¿ãªã©ã«ã¤ã„ã¦ã€Haskellã«ã‚ˆã‚‹ã‚·ãƒ³ãƒ—ルãªã‚³ãƒ¼ãƒ‰ã‚’例ã«è§£èª¬ã—ã¦ã„ã¾ã™ã€‚ 訳者åºæ–‡ 第2版ã¾ãˆãŒã 教師ã¸ã®åŠ©è¨€ è¬è¾ž 第1ç« åŸºæœ¬æ¦‚å¿µ 1.1 セッションã¨ã‚¹ã‚¯ãƒªãƒ—ト 1.2 評価 1.3 値 1.4 関数 1.5 定義 1.6 åž‹ 1.7 仕様 1.8 ç« æœ«ãƒŽãƒ¼ãƒˆ 第2ç« å˜ç´”ãªãƒ‡ãƒ¼ã‚¿åž‹ 2.1 ブール値 2.2 æ–‡å— 2.3 列挙 2.4 組（タプル） 2.5 ãã®ä»–ã®åž‹ 2.6 型シノニム2.7 æ–‡å—列 2.8
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
Haskell ã® 4 ã¤ã®ç³Š - ã‚ã©ã‘ãªã„話
ãªãœé–¢æ•°ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã¯é‡è¦ã‹ã§ã¯ã€ç³Šã®é‡è¦ã•ãŒå¼·èª¿ã•ã‚Œã¦ã„ã¾ã™ã€‚ å•é¡Œã‚’解ããŸã‚ã®éƒ¨å“プãƒã‚°ãƒ©ãƒ を書ãã¨ãã€ãã®å•é¡Œã‚’部分å•é¡Œã«åˆ†å‰²ã—ã€éƒ¨åˆ†å•é¡Œã‚’解ãã€ãã®è§£ã‚’åˆæˆã™ã‚‹ã€‚å…ƒã®å•é¡Œã‚’分割ã™ã‚‹æ–¹æ³•ã¯ã€éƒ¨åˆ†è§£ã‚’張りåˆã›ã‚‹æ–¹æ³•ã«ç›´æŽ¥ä¾å˜ã™ã‚‹ã€‚ãれゆãˆã«ã€æ¦‚念的ã«ã¯å•é¡Œã‚’モジュール化ã™ã‚‹èƒ½åŠ›ã‚’高ã‚ã‚‹ãŸã‚ã«ã¯ãã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã®ãªã‹ã§æ–°ãŸãªç³Šã®é¡žã‚’用æ„ã—ãªã‘ã‚Œã°ãªã‚‰ãªã„。... 糊ã®é‡è¦æ€§ã¯ã€å¤§å·¥ä»•äº‹ã¨ã®é¡žæ¯”ã«ã‚ˆã£ã¦ã€æ£ã—ã評価ã§ãる。椅åã¯ã€éƒ¨åˆ†(座部ã€è„šã€èƒŒã‚‚ãŸã‚Œãªã©)を作りã€ãれらをæ£ã—ããã£ã¤ã‘åˆã›ã‚‹ã“ã¨ã§å®¹æ˜“ã«ä½œã‚‹ã“ã¨ãŒã§ãる。ã—ã‹ã—ã€ã“ã‚Œã¯ã‚¸ãƒ§ã‚¤ãƒ³ãƒˆã¨æœ¨ã‚’張りåˆã›ã‚‹ã¨ã„ã†èƒ½åŠ›ã«ä¾å˜ã™ã‚‹ã€‚ãã®èƒ½åŠ›ãŒãªã‘ã‚Œã°ã€æ¤…åを作る方法ã¯ã²ã¨ã¤æœ¨ã®å¡Šã‹ã‚‰ãれを彫り出ã™ä»¥å¤–ãªãã€éžå¸¸ã«é›£ã—ã„作æ¥ã«ãªã‚‹ã€‚ã“ã®ä¾‹ã¯ã€ãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«åŒ–ã®å¼·å¤§ãªåŠ›ã¨æ£ã—ã„糊をæŒã¤ã“ã¨ã®é‡è¦æ€§ã®ä¸¡æ–¹ã‚’例示ã™ã‚‹ã‚‚ã®ã§ã‚る。 僕ãŒæ€ã†ã«
関数型言語ã§ã®é–¢æ•°ã®åŸºç¤ŽçŸ¥è˜ - ã‚ã©ã‘ãªã„話
関数型言語ã§ã®é–¢æ•°ã«ã¤ã„ã¦ã€Haskell を用ã„ã¦èª¬æ˜Žã—ã¾ã™ã€‚ 関数ã®åž‹ 関数ã®åž‹ã¯ã€-> を使ã£ã¦æ›¸ãã¾ã™ã€‚例ãˆã°ã€Int ã‚’ Char ã«å¤‰æ›ã™ã‚‹ chr ã¨ã„ã†é–¢æ•°ã®åž‹ã¯ã€ä»¥ä¸‹ã®ã‚ˆã†ã«ãªã‚Šã¾ã™ã€‚ chr :: Int -> Char 一引数ã®é–¢æ•°ã®åž‹ã¯ã€ã¾ãã“ã‚“ãªã‚‚ã‚“ã ã¨æ€ãˆã‚‹ã§ã—ょã†ã€‚ã³ã£ãã‚Šã™ã‚‹ã®ã¯ã€å¼•æ•°ãŒå¢—ãˆãŸã¨ãã§ã™ã€‚ãŸã¨ãˆã°ã€replicate ã¨ã„ã†é–¢æ•°ã®åž‹ã‚’見ã¦ã¿ã¾ã—ょã†ã€‚ replicate :: Int -> a -> [a] replicate ã¯ã€ç¬¬äºŒå¼•æ•°ã§æŒ‡å®šã•ã‚ŒãŸãƒ‡ãƒ¼ã‚¿ã‚’第ー引数ã«æŒ‡å®šã•ã‚ŒãŸå€‹æ•°åˆ†ç”¨æ„ã—ã¦ã€ãƒªã‚¹ãƒˆã«ã—ã¦è¿”ã™é–¢æ•°ã§ã™ã€‚([] ã¯é…列ã§ã¯ãªãã€ãƒªã‚¹ãƒˆã§ã™ã€‚) 次ã®ã‚ˆã†ã«å‹•ãã¾ã™ã€‚ > replicate 3 "foo" → ["foo","foo","foo"] a ã¯åž‹å¤‰æ•°ã¨ã„ã£ã¦ã€ä»»æ„ã®åž‹ã‚’å–ã‚Œã¾ã™ã€‚ãªã˜ã‚ãªã„人ã¯ã€å…·ä½“çš„ãªåž‹ã‚’当ã¦ã¯ã‚ã¦ã¿
[Haskell-cafe] Why functional programming matters
FriendsOver the next few months I'm giving two or three talks to groups of *non* functional programmers about why functional programming is interesting and important. If you like, it's the same general goal as John Hughes's famous paper "Why functional programming matters". Audience: some are technical managers, some are professional programmers; but my base assumption is that none already know an
Sign in - Google Accounts
Not your computer? Use a private browsing window to sign in. Learn more about using Guest mode
Haskellã®å…¥å‡ºåŠ›
å‚ç…§é€éŽæ€§ã¨é…延評価 純粋é…延関数型言語ã«å…¥å‡ºåŠ›ã‚’å°Žå…¥ã™ã‚‹å ´åˆã«ã¯ã€ å‚ç…§é€éŽæ€§ã‚„é…延評価ã¨ã©ã†æŠ˜ã‚Šåˆã„ã‚’ã¤ã‘ã‚‹ã‹ã€ ãŒå•é¡Œã«ãªã‚‹ã€‚ å‚ç…§é€éŽæ€§(Referential Transparency) 「å‚ç…§é€éŽæ€§ã€ã®æ£ç¢ºãªå®šç¾©ã¯çŸ¥ã‚‰ãªã„。 ã‘ã‚Œã©ã€ã ã„ãŸã„ 「ç‰ã—ã„ã‚‚ã®ã‚’別ã®ç‰ã—ã„ã‚‚ã®ã«ç½®ãæ›ãˆã‚‰ã‚Œã¦ã€ ç½®ãæ›ãˆã¦ã®å…¨ä½“ã®çµæžœãŒå¤‰ã‚らãªã„〠ã¨ã„ã†æ€§è³ªã‚’「å‚ç…§é€éŽæ€§ã€ã¨å‘¼ã¶ã€‚ (「代入å¯èƒ½æ€§ã®åŽŸç†ã€ã¨ã©ã†é•ã†ã®ã‹ã¯ã€ã‚ˆã判らãªã„) ãªã‚“ã§ã“ã®æ€§è³ªã‚’å‚ç…§é€éŽæ€§ã¨å‘¼ã¶ã®ã‹ã‚‚æ£ç¢ºãªæ‰€ã¯åˆ¤ã‚‰ãªã„ã‘ã©ã€ ãŸã¶ã‚“次ã®ã‚ˆã†ãªäº‹ãŒå…ƒã«ãªã£ã¦ã„ã‚‹ã®ã§ã¯ã€ã¨äºˆæƒ³ã—ã¦ã„ã‚‹ (以下ã—ã°ã‚‰ãã€æœ¬é¡Œ(入出力ã®è©±)ã¨ã¯é–¢ä¿‚ãªã„)。 クワインã¯ã€ŒæŒ‡ç¤ºã¨æ§˜ç›¸ã€(「論ç†çš„観点ã‹ã‚‰ã€ã«åŽéŒ²)ã§ã€ ã ã„ãŸã„次ã®ã‚ˆã†ãªäº‹ã‚’書ã„ã¦ã„る。 åå‰(ã¨ã‹é …ã¨ã‹)ãŒå˜ã«å¯¾è±¡ã‚’指示ã™ã‚‹ã‚‚ã®ã¨ã—ã¦ç¾ã‚Œã¦ã„ã‚‹å ´åˆã‚’ 「純粋ã«æŒ‡ç¤ºçš„(purely r
1
ランã‚ング
ランã‚ング
メンテナンス
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
[Haskell-cafe] Why functional programming matters
{{#tags}}- {{label}}
{{/tags}}