oreilly.com
New! O’Reilly announces launch of the AI Academy. Read now Introducing the AI Academy Help your entire org put GenAI to work Every employee today needs to know how to prompt GenAI, use it to enhance critical thinking and productivity, and more. With the AI Academy they can. For less. O’Reilly AI-powered Answers just got even smarter O’Reilly Answers instantly generates information teams can trust,
ヒビルテ(2008-05-29)
λ. OCamlã§ãƒ©ãƒ³ã‚¯n多相 レコードã§ã‚‚liftã—ãŸã„ - ã¿ãšã´ãƒ¼æ—¥è¨˜ ã®ã‚³ãƒ¡ãƒ³ãƒˆã«é–¢ã™ã‚‹è£œè¶³ã€‚ 関数をå—ã‘å–ã£ã¦ã€ãƒ¬ã‚³ãƒ¼ãƒ‰ã®åž‹ã®ç•°ãªã‚‹è¤‡æ•°ã®ãƒ•ã‚£ãƒ¼ãƒ«ãƒ‰ã«å¯¾ã—ã¦é©ç”¨ã™ã‚‹é«˜éšŽé–¢æ•°ã‚’書ããŸã„ã¨ã„ã†è©±ã€‚ åž‹ã®ç•°ãªã‚‹ãƒ•ã‚£ãƒ¼ãƒ«ãƒ‰ã«å¯¾ã—ã¦é©ç”¨ã™ã‚‹ã«ã¯ã€å—ã‘å–る関数㯠[Int]→[Int]→[Int] ã®ã‚ˆã†ãªåž‹ã®å˜ç›¸çš„ãªé–¢æ•°ã§ã¯ãªãã€âˆ€a. [a]→[a]→[a] ã®ã‚ˆã†ãªåž‹ã®å¤šç›¸çš„ãªé–¢æ•°ã§ã‚ã‚‹å¿…è¦ãŒã‚る。ã§ã€å¤šç›¸çš„ãªé–¢æ•°ã‚’å—ã‘å–る高階関数㮠(∀a. [a]→[a]→[a])→Record→Record→Record ã®ã‚ˆã†ãªåž‹ã¯ã€äºŒéšŽãƒ©ãƒ ダ計算ã®è¨€è‘‰ã§ã„ã†ã¨ã€ãƒ©ãƒ³ã‚¯2ã®åž‹ã«ãªã£ã¦ã„る。 ランクã®æ£ç¢ºãªå®šç¾©ã¯ Type reconstruction in finite-rank fragments of the polymorphic λ-calculus (c.f. The “Curry
ã•ã£ããGTAã§DPã®ç·´ç¿’ - Qiita
ãƒã‚§ã‚¹ã®ãƒŠã‚¤ãƒˆãŒç›¤é¢ã®ç«¯ã‹ã‚‰ç«¯ã¾ã§ç‰¹å®šã®æ‰‹æ•°ã§ç§»å‹•ã™ã‚‹çµŒè·¯ã‚’ã™ã¹ã¦æ±‚ã‚る。 typelevel-tensor 㨠numeric-prelude ã‚‚å¿…è¦ã€‚ #!/usr/bin/env runhaskell {-# LANGUAGE NoImplicitPrelude, RecordWildCards #-} {-# OPTIONS -Wall #-} module Main where import Data.Maybe import Data.Tensor.TypeLevel import GTA.Data.JoinList import GTA.Core hiding (items) import NumericPrelude knightMoves :: [Vec2 Int] knightMoves = [Vec :~ x :~ y | x <- [-2..2], y<-[-2..
Probability monad
My favourite programming language Haskell has a nice library for doing calculations with probablility distributions, called probability. The library was originally written by Martin Ewig and Steve Kollmansberger and then extended and packaged for convenient installation by Henning Thieleman. Its main idea for the implementation is to use the fact that “probability distributions form a monad†(from
Haskellã¨OCamlã®åž‹ã®é•ã„
Hideyuki Tanaka @tanakh 完全ãªåž‹æŽ¨è«–よりもã€åž‹ã‚·ã‚¹ãƒ†ãƒ ã®è¡¨ç¾åŠ›ãŒé‡è¦ã§ã‚ã‚‹ã€ã¨ã„ã†è€ƒãˆã¯å¤šåˆ†OCamlã¨ã¯ç›¸å®¹ã‚Œãªã„。ãã“ãŒOCamlã¨Haskellã®æ±ºå®šçš„ãªå·®ã§ã‚ã£ã¦ã€Pureã¨ã‹Lazyã¨ã‹ã®é•ã„ã¯ãã‚Œã«æ¯”ã¹ã‚Œã°å‰²ã‚Šã¨ã©ã†ã§ã‚‚ã„ã„。 2012-03-26 14:24:35 Jun Furuse ðŸ«ðŸŒ´ @camloeba RT @tanakh 完全ãªåž‹æŽ¨è«–よりもã€åž‹ã‚·ã‚¹ãƒ†ãƒ ã®è¡¨ç¾åŠ›ãŒé‡è¦ã§ã‚ã‚‹ã€ã¨ã„ã†è€ƒãˆã¯å¤šåˆ†OCamlã¨ã¯ç›¸å®¹ã‚Œãªã„。ãã“ãŒOCamlã¨Haskellã®æ±ºå®šçš„ãªå·®ã§ã‚ã£ã¦ã€Pureã¨ã‹Lazyã¨ã‹ã®é•ã„ã¯ãã‚Œã«æ¯”ã¹ã‚Œã°å‰²ã‚Šã¨ã©ã†ã§ã‚‚ã„ã„。 2012-03-26 14:36:35
型クラス㧠tagless DSL メタプãƒã‚°ãƒ©ãƒŸãƒ³ã‚° - keigoiã®æ—¥è¨˜
ã“れ㯠Haskell Advent Calendar 2011 ã®5日目ã®è¨˜äº‹ã§ã™ã€‚ 去年も書ãã¾ã—ãŸãŒã€ãã®è¨˜äº‹ã¯ã“ã¡ã‚‰ → Haskell厨を6å¹´ã‚„ã£ã¦ã‚‹ä¿ºãŒOCamlを仕事ã§2ヶ月使ã£ã¦ã¿ãŸ - keigoiã®æ—¥è¨˜ 先日ã®è¨˜äº‹ Haskell＋タグレスãªåž‹ä»˜ãDSLã§æ¥½ã€…ï¼Cè¨€èªžã‚³ãƒ¼ãƒ‰ç”Ÿæˆ - keigoiã®æ—¥è¨˜ ã‚’ã¡ã‚‡ã£ã¨ãƒ–ラッシュアップã—ãŸã€‚å‰å›žã¯ã‚³ãƒ¼ãƒ‰ã«ã¤ã„ã¦ã¯å…¨ã説明ã—ãªã‹ã£ãŸã®ã§ã€æ”¹ã‚ã¦è§£èª¬ã™ã‚‹ã€‚ ãŠã•ã‚‰ã„ Haskellã‚„OCamlãªã©ã®é–¢æ•°åž‹è¨€èªžã¯ã€ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã®å‡¦ç† ― 構文解æžã¨ã‚³ãƒ¼ãƒ‰ç”Ÿæˆ ― ãŒã¨ã¦ã‚‚å¾—æ„ã 。 大手ã®ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ä¼æ¥ã¨ã—ã¦çŸ¥ã‚‰ã‚Œã‚‹ NTTデータも既å˜ã‚³ãƒ¼ãƒ‰ã®å‡¦ç† (構文解æžã€œãƒªãƒãƒ¼ã‚¹ã‚¨ãƒ³ã‚¸ãƒ‹ã‚¢ãƒªãƒ³ã‚°) ã®ãŸã‚ã« Haskell を使ã£ã¦ã„ã‚‹ãã†ã 。 (函数プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®é›†ã„2011より。インドã«å¤–注ã™ã‚‹éƒ¨åˆ†ã‚‚ã‚ã‚‹ãㆠtogetter 1
7.4. データ型ã¨åž‹ã‚·ãƒŽãƒ‹ãƒ ã¸ã®æ‹¡å¼µ
-XEmptyDataDeclsフラグ(ã¾ãŸã¯åŒç‰ã®LANGUAGEプラグマ)ãŒæŒ‡å®šã•ã‚Œã¦ã„ã‚‹ã¨ã€æ§‹ç¯‰åãªã—ã§ãƒ‡ãƒ¼ã‚¿åž‹ã‚’宣言ã§ãるよã†ã«ãªã‚‹ã€‚例ãˆã°ã€ä»¥ä¸‹ã®ã‚ˆã†ã«ã§ã‚る。 data S -- S :: * data T a -- T :: * -> * 構文的ã«ã„ã†ã¨ã€ã“ã®å®£è¨€ã¯ã€Œ= constrsã€ã®éƒ¨åˆ†ã‚’æ¬ ã„ã¦ã„る。ã“ã®ã‚ˆã†ã«å®šç¾©ã•ã‚Œã‚‹åž‹ã¯å¤šç›¸çš„ã§ã‚‚良ãã€ã•ã‚‰ã«ã©ã®ã‚ˆã†ãªç¨®ã«ã¤ã„ã¦å¤šç›¸çš„ã§ã‚‚良ã„ãŒã€ç¨®ãŒ*ã§ãªã„ãªã‚‰ã€æ˜Žç¤ºçš„ãªç¨®æ³¨é‡ˆã‚’使ã†å¿…è¦ãŒã‚る。(7.13.5. 明示的ã«ç¨®ä»˜ã‘ã•ã‚ŒãŸé‡åŒ–を見よ) ã“ã®ã‚ˆã†ãªãƒ‡ãƒ¼ã‚¿åž‹ã¯ãƒœãƒˆãƒ ã¨ã„ã†ãŸã 一ã¤ã®å€¤ã—ã‹æŒãŸãªã„ãŒã€ã€Œå¹½éœŠåž‹(phantom type)ã€ã‚’定義ã™ã‚‹ã¨ãã«ã¯ä¾¿åˆ©ãªã“ã¨ãŒã‚る。 Haskellã¯ã€ãƒ‡ãƒ¼ã‚¿åž‹ã«æ–‡è„ˆã‚’与ãˆã‚‹ã“ã¨ã‚’許ã—ã¦ã„る。例ãˆã°ä»¥ä¸‹ã®ã‚ˆã†ã«ã€‚ data Eq a => Set a = NilSet | ConsSet
Twitter ã®ç¿»è¨³ - d.y.d.
00:07 11/07/28 LOPSTR / PPDP 2011 LOPSTR 㨠PPDP ã¨ã„ã†å…±åŒé–‹å‚¬ã®å›½éš›ä¼šè°ã«è¡Œã£ã¦ã„ã¾ã—ãŸã€‚è«–ç†ã«åŸºã¥ã / 宣言型ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ãŒãƒ†ãƒ¼ãƒžã ãã†ã§ã™ã€‚ 実æ³ã¯ä¾‹ã«ã‚ˆã£ã¦ togetter.com/li/164644 ã«ã¾ã¨ã‚ã¦ã‚ã‚Šã¾ã™ã€‚ LOPSTR ã®æ–¹ã¯ã€ã‚ã¾ã‚Šã‚ˆã知らãªã‹ã£ãŸã‚“ã§ã™ãŒã€ç™ºè¡¨ã‚’è´ã„ã¦ã¿ã‚‹ã¨ã€ã‹ãªã‚Šã‚¬ãƒƒãƒ„リ㨠Prolog ã®è¨€èªžä»•æ§˜ã®ãƒ‡ã‚£ãƒ¼ãƒ—ãªã¨ã“ã‚ã«è§¦ã‚Œã‚‹ã‚ˆã†ãªè©±ãŒã‚ã£ã¦ã€ã¾ã‚‹ã§ã€ C++ ã‚„ Scala ã§ç››ã‚Šä¸ŠãŒã£ã¦ã‚‹è‡ªåˆ†ã®Twitterã®ã‚¿ã‚¤ãƒ ライン㮠Prolog 版を見ã¦ã‚‹ã‚ˆã†ãªé›°å›²æ°—ã§æ¥½ã—ã‹ã£ãŸã§ã™ã€‚ Sloth è´ã„ãŸä¸ã§ã¯ Sloth ã¨ã„ㆠHaskell ã®ãƒ©ã‚¤ãƒ–ラリã®è©±ãŒä¸€ç•ªé¢ç™½ã‹ã£ãŸã®ã§ã€å¸°ã£ã¦ã‹ã‚‰é–¢é€£è«–文をèªã‚“ã§ã„ã¾ã—ãŸã€‚ 何をã™ã‚‹ãƒ©ã‚¤ãƒ–ラリã‹ã¨ã„ã†ã¨ã€æ›¸ã„ãŸé–¢æ•°ãŒã€Œã§ãã‚‹ã‹ãŽã‚Šé…延評価ã™ã‚‹ã€ã‚‚
「モナドã¯è±¡ã (Monads are Elephants)ã€æ—¥æœ¬èªžè¨³ — Japanese Translation of Monads are Elephants v1.0 documentation
「モナドã¯è±¡ã (Monads are Elephants)ã€æ—¥æœ¬èªžè¨³Â¶ ã“ã®æ–‡ç« ã¯ã€ä»¥ä¸‹ã®è¨˜äº‹ã®ç¿»è¨³ã§ã™ã€‚ Monads are Elephants: http://james-iry.blogspot.com/2007/09/monads-are-elephants-part-1.html http://james-iry.blogspot.com/2007/10/monads-are-elephants-part-2.html http://james-iry.blogspot.com/2007/10/monads-are-elephants-part-3.html http://james-iry.blogspot.com/2007/11/monads-are-elephants-part-4.html JAMES IRY:ONE DIV ZERO: http://james-iry
How to choose a Haskell array library
Choosing an array type in Haskell is a difficult task. For one-dimensional random access data structure the vector library seems to be the optimal choice most of the time. Things are more complicated if you happen to need two- or multi-dimensional arrays (matrices), access their blocks and slices as first-class structures (like in Python), enjoy destructive updates, use some linear algebra, intero
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 Advent Calendar jp 2010 ã®ãŸã‚ã«æ›¸ã‹ã‚ŒãŸç‰©ã§ã™ã€‚(20日目) 型推論ã¯ç°¡å˜ ML ã‚„ Haskell ã®ã‚ˆã†ãªè¨€èªžã®åž‹æŽ¨è«–ã¯ã€åž‹æŽ¨è«–を知らãªã„ã¿ãªã•ã‚“ãŒè€ƒãˆã¦ã„るよりã¯é¥ã‹ã«ç°¡å˜ãªç‰©ã§ã™ã€‚大雑把ã«è¨€ã£ã¦ã—ã¾ãˆã°ã€æ§‹æ–‡æœ¨å…¨ä½“を探索ã—ã¦ã€åŒä¸€ã§ã‚る事ãŒæ˜Žã‚‰ã‹ãªåž‹åŒå£«ã®å˜ä¸€åŒ–ã‚’ã—ã¦ã„ã‘ã°åž‹æŽ¨è«–ã§ãã¦ã—ã¾ã†ã®ã§ã™ã€‚ 型推論ã®é›£ã—ã„所ãã®1 - 多相型 ã—ã‹ã—ã€åž‹æŽ¨è«–ã«ã‚‚難ã—ã„事ãŒç„¡ã„ã‚ã‘ã§ã¯ã‚ã‚Šã¾ã›ã‚“。ã¾ãšæœ€åˆã®é›£é–¢ã¨ã—ã¦ã¯å¤šç›¸åž‹ãŒæŒ™ã’られã¾ã™ã€‚ ML ã‚„ Haskell ã§ã¯ let ãªã©ã®å¤‰æ•°æŸç¸›ã«å¯¾ã—ã¦å¤šç›¸åž‹ãŒå°Žå…¥ã•ã‚Œã¦ã„ã¾ã™ã€‚å¼ã®ä¸ã§ã“れらã®å¤‰æ•°ãŒå‡ºç¾ã™ã‚‹ã¨ã€ãã®åž‹ã®åž‹å¤‰æ•°(確定ã—ã¦ã„ãªã„部分)ã‚’å…¨ã¦ä»˜ã‘替ãˆã‚‹æ“作ãŒç™ºç”Ÿã—ã¾ã™ã€‚ ã—ã‹ã—ã€ç¢ºå®šã—ã¦ã„ãªã„部分を付ã‘替ãˆã‚‹ã¨ã„ã†äº‹ã¯ã€æœ€çµ‚çš„ã«å…ƒã®åž‹ãŒç¢ºå®šã—ãŸå¾Œã«ãã®æ“作をã—ãªã‘ã‚Œã°ã€åž‹ã‚’æ£ã—ã
経験15å¹´ã®OCaml ユーザー㌠Haskell を仕事ã§åŠå¹´ä½¿ã£ã¦ã¿ãŸ - camlspotter’s blog
今ã®ä¼šç¤¾ã«ç§»ã£ã¦åŠå¹´çµŒã¡ã¾ã—ãŸã€‚ã‚ã§ãŸã試用期間終了ã§ã™ã€‚ã¨ã„ã£ã¦ã‚‚別ã«è©¦ç”¨æœŸé–“ä¸ã«å¯†ã‹ã«é¦–を切られるよã†ãªäº‹ã‚’ã—ãŸã¨ã‹ã€é€†ã«è©¦ç”¨æœŸé–“ãŒçµ‚ã‚ã£ãŸã‹ã‚‰ã¨è¨€ã£ã¦ã“ã‚Œã§å®šå¹´ã¾ã§ã®ã†ã®ã†ã¨åƒã‘ã‚‹ã€ã¨ã„ã†è¨³ã§ã¯ã‚ã‚Šã¾ã›ã‚“。未æ¥ã¯å…¨ã判りã¾ã›ã‚“。ã¾ã‚ã¨ã«ã‹ãã€ä¸€ã¤åŒºåˆ‡ã‚ŠãŒã‚„ã£ã¦ãã¾ã—ãŸã€‚ 金èžã‚’知らãªã„Quantsã®ä»•äº‹ ç§ã®è·æ¥ã®è‚©æ›¸ãã«ã¯ Quantitatitatitatitative ã¨ã„ã†å˜èªžãŒãã£ã¤ã„ã¦è¶…カッコよã•ãã†ã€‚普通㯠Quant ã¨ã„ã†ã¨ã€é‡‘èžå·¥å¦ã‚„統計数ç†ã«è©³ã—ã„夜もブイブイã„ã‚ã—ã¦ã„る超イケメン20代を想åƒã—ã¾ã™ãŒã€ç§ã¯é‡‘èžã¨ã‹å…¨ç„¶çŸ¥ã‚‰ãªã„アラフォーãŠçˆ¶ã•ã‚“ã§ã™ã€‚ãã‚Œã§ã‚‚ Quant ã§ã™ã€‚ãŠé¡˜ã„ã§ã™ã‹ã‚‰ã€ç§ã«ä½•ã‚’è²·ã£ãŸã‚‰ã„ã„ã‹ã¨ã‹ã€èžã‹ãªã„ã§ãã ã•ã„。金èžå•†å“ã¨ã‹è²·ã£ãŸäº‹ãªã„ã—。ã¨ã„ã†ã‹ã€é€†ã«æ•™ãˆã¦æ¬²ã—ã„ã§ã™ã€‚ ç§ã®ãƒãƒ¼ãƒ ã¯ã€æœ¬å½“ã® Quant ã•ã‚“é”ãŒé–‹ç™ºã—ãŸã€é‡‘èžæ´¾ç”Ÿå•†
関数型ï¼ä¾µç•¥ãƒŽã‚¹ã‚¹ãƒ¡â˜† - 純粋関数型雑記帳
（ã“ã®è¨˜äº‹ã¯ Functional Ikamusume Advent Calendar jp 2010 ã®ç‚ºã«æ›¸ã‹ã‚Œã¾ã—ãŸï¼‰ 侵略ï¼ä¾µç•¥ï¼ä¾µç•¥ï¼ä¾µç•¥ï¼ä¾µç•¥ï¼ä¾µç•¥ï¼ã‚¤ã‚«å¨˜ï¼ å†å¸°ã—ãªã‚¤ã‚«ï¼Ÿ main = putStrLn $ f 6 where f 0 = "イカ娘ï¼" f n = "侵略ï¼" ++ f (n-1) å¤é¢¨ã«å†å¸°ã—ãªã‚¤ã‚«ï¼Ÿ main = putStrLn $ f 6 where f 0 = "イカ娘ï¼" f (n+1) = "侵略ï¼" ++ f n 左派ã˜ã‚ƒãªã‚¤ã‚«ï¼Ÿ main = putStrLn $ foldl (\a _ -> "侵略ï¼"++a) "イカ娘ï¼" [1..6] å³æ´¾ã˜ã‚ƒãªã‚¤ã‚«ï¼Ÿ main = putStrLn $ foldr (\_ a -> "侵略ï¼"++a) "イカ娘ï¼" [1..6] å³æ´¾ã«è¦‹ã›ã‹ã‘ãŸå·¦æ´¾ã˜ã‚ƒãªã„ã‹ï¼Ÿ main = putStrLn $
関数åˆæˆã®å¦™æŠ€ - ã‚ã©ã‘ãªã„話
Haskell åˆå¿ƒè€…ã¯æ‹¬å¼§ã°ã‹ã‚Šã® Lisp ã®ã‚ˆã†ãªã‚³ãƒ¼ãƒ‰ã‚’書ã。ä¸ç´šè€…ã«ãªã‚‹ã¨ã€($) ãŒå¤šããªã‚‹ã€‚上級者(言ã„éŽãŽã‹ï¼Ÿ)ã«ãªã‚‹ã¨ã€($) ãŒæ¶ˆãˆã¦ã€(.) ãŒå¤šããªã‚‹ã€‚ã“ã®è¨˜äº‹ã§ã¯ã€ä¸Šç´šè€…ã«ãªã‚‹ã‚³ãƒ„ã‚’ã¡ã‚‡ã£ã¨æ•™ãˆã¡ã‚ƒãŠã†ã€‚ 括弧ã らã‘ã®ã‚³ãƒ¼ãƒ‰ ã§ã¯ã€ä»¥ä¸‹ã®ä¾‹ã«ã¤ã„ã¦è€ƒãˆã‚ˆã†ã€‚ foo p xs = sum (filter p (map (+1) xs)) 括弧ãŒå¤šãã¦ã€ã„ã‹ã«ã‚‚åˆå¿ƒè€…ãŒæ›¸ã„ãŸã‚³ãƒ¼ãƒ‰ã 。foo ã¯ã€ä»¥ä¸‹ã®ã‚ˆã†ã«å‹•ã。 foo even [1..6] → 12 ($) を使ㆠã§ã¯ã€æ‹¬å¼§ã‚’ ($) ã«ç½®ãæ›ãˆã¦ã¿ã‚ˆã†ã€‚ãã†ã™ã‚‹ã«ã¯ã€ä¸€ç•ªå³å´ã«ã‚ã‚‹é–‰ã˜æ‹¬å¼§ã‚’消ã—ã¦ã€å¯¾å¿œã™ã‚‹é–‹ã括弧を ($) ã«ç½®ãæ›ãˆã‚Œã°ã‚ˆã„。ã ã‹ã‚‰ã“ã†ãªã‚‹ã€‚ foo p xs = sum $ filter p $ map (+1) xs ã ã„ã¶è¦‹ã‚„ã™ããªã£ãŸã€‚ (.) を使ㆠmap (+1) xs
A Gentle Introduction to Haskell, Version 98
Paul Hudak, Yale University John Peterson, Yale University Joseph Fasel, Los Alamos National Laboratory September 28, 1999 翻訳：山下 伸夫 <nobs[email protected]> ã“ã‚Œã¯ã€ã€Œã‚„ã•ã—ã„ Haskell 入門 (ãƒãƒ¼ã‚¸ãƒ§ãƒ³98)ã€ã®HTMLãƒãƒ¼ã‚¸ãƒ§ãƒ³ã§ã™ã€‚ 目次è¦ç´„ イントãƒãƒ€ã‚¯ã‚·ãƒ§ãƒ³ 値ã€åž‹ã€ãã®ä»–ã®æœ‰ç”¨ãªæ¦‚念 関数 case å¼ã¨ãƒ‘ã‚¿ãƒ¼ãƒ³ç…§åˆ åž‹ã‚¯ãƒ©ã‚¹ã¨ã‚ªãƒ¼ãƒãƒãƒ¼ãƒ‡ã‚£ãƒ³ã‚° å†ã³ã€åž‹ã«ã¤ã„㦠入出力 標準㮠Haskell クラス モナド æ•° モジュール 型付ã‘ã®è½ã—ç©´ é…列 ã“ã®å…ˆã®å¦ç¿’ å‚考文献 目次 ã“ã®Haskell Tutorialã®ãƒžã‚¹ã‚¿ãƒ¼æ–‡æ›¸ã¯ã€ haskell.orgã«ã‚ã‚Šã¾ã™ã€‚ã“ã®ãƒ¬ãƒãƒ¼ トã®è¨‚æ£ã‚„変更ã¯ã™ã¹ã¦ãã“ã«åæ˜ ã•ã‚Œã‚‹ã‚ˆã†ã«ãªã£
1
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
XMonad on Unity 2D (Ubuntu 11.10); Based on http://www.haskell.org/haskellwiki/Xmonad/Using_xmonad_in_Unity_2D
モナドをCPS変æ›ã—ã¦é«˜é€ŸåŒ–ã™ã‚‹
FrontPage - Flightless wing
{{#tags}}- {{label}}
{{/tags}}