[SIMILAR] WITH 16493 の圏 WITH 16493 comonad WITH 14214 」> WITH 13096 monad WITH 10819 冗長 WITH 10277 haskell WITH 8246 pointed WITH 8246 applicative WITH 8246 mzero WITH 8246 位元 WITH 8246 hask WITH 7748 恒等 WITH 7748 りha WITH 7323 同値 WITH 7323 mplus WITH 7005 し冗 WITH 6955 圏を WITH 6922 join WITH 5991 はjo WITH 5336 定義 WITH 4927 、> WITH 3985 連結 WITH 3889 category WITH 3731 数式 WITH 3237 け足 WITH 3133 はmp WITH 2771 て定 WITH 2611 の型 WITH 2419 力強 WITH 1908 義で WITH 1836 任意 WITH 1726 無関 の検索結果 115 件中 1 - 10 件目 (0.07987772 秒)
量が多いので取り敢えずとびとびで読みました。 じっくり読んで気づいた点があったらまた報告します。 > Monadを真にPointedやApplicativeやより力強くしている typo 「やより」 > Haskellは、その方が便利なので、joinの代わりに(>>=)を使って > 定義した同じ数式を使用します。 「Haskellはjoinを使った構成と ...
by Brent Yorgey <first initial last name at cis.upenn.edu> 標準Haskellライブラリには、代数や圏論に裏打ちされた数多くの型クラスが用意されています。流暢なHaskellハッカーになるためには、これら全てに根本的に慣れ親しんでいる必要がありますが、慣れ親しむためには、しばしば山ほどのチュートリアルや ...
# (スコア:3967)
The Monad.ReaderのIssue 13に掲載されたThe Typeclassopediaという記事が、Functor, Monad, Monoid, Applicative, Foldable, Traversable, Arrowといったような型クラスについて良くまとまっていて、そのあたりを知りたい時の取っ掛かりになりそうだったので翻訳してみました。 作者のBrent Yorgeyさんからも許 ...
# (スコア:3682)
キーと値からなる設定ファイルをパースするとします。設定ファイルはこんな感じです。 name=Test value=5 マップなどで値を持つという方法もありますが、ちゃんと型付けするために専用の型を用意することにします。そうするとパースするコードはこんな感じでしょうか。 import Control.Monad import Data.Maybe ...
# (スコア:3346)
今更ではありますが、typoを見つけたのでご報告します。 Monad 定義 > (>>) :: m a ↓ > (>>) :: m a -> m b -> m b Monad インスタンス > 少なくとも、Monadクラス一般に関して読むのに合わせていじることのできる具体的な例が*得られるます*。 ↓ > 得られます。 Monoid インスタンス > 最後に、もしaがMonoidな ...
# (スコア:3290)
Invalid TextNewCGIはCGIモナドで、DBのアクセスはIOモナドの中で行われるので、もはや関数型というよりは単なる手続き型にしか見えません… import Control.Monad.Trans import Data.Maybe import qualified Database.HDBC as DB import qualified Database.HDBC.ODBC as ODBC import IO import Network.NewCGI ...
# (スコア:2901)
Invalid Textたとえば、HDBCを使うときに普通にIOモナドの中から直接扱うには、 f :: IO () f = bracket (connectODBC dsn) (disconnect) (\conn -> ...) のようにすればOKです。ところがこれをIOモナドを合成するモナドの中で扱うとすると、bracketの型がIO a -> (a -> IO b) -> (a -> IO c) -> IO cなのでbra ...
# (スコア:2556)
Invalid Text次はSynonym Families。引数の型によって関連づけられた型を変えたいときに使います。C++でいうところの、特殊化されたテンプレートの中のtypedefとでも言えるでしょうか。 ありがちな例としては、コレクションクラスがあります。 class Collection a where type Elem a empty :: a add :: Elem a ...
# (スコア:2556)
上の例だと、GADTを使っても同じような事ができます。 {-# LANGUAGE GADTs #-} import qualified Data.Sequence as Seq data Vector a where BoolVector :: [Bool] -> Vector Bool IntVector :: Seq Int -> Vector Int add :: a -> Vector a -> Vector a add v (BoolVector l) = BoolVector $ v:l add v (IntVe ...
# (スコア:2556)
# (スコア:10000)