[SIMILAR] WITH 22494 ダ式 WITH 17336 london WITH 15146 country WITH 9791 where WITH 7748 スva WITH 7748 expressiontree WITH 7748 左辺 WITH 7323 通ラ WITH 6866 ムダ WITH 5894 bool WITH 5629 city WITH 5599 expression WITH 5200 func WITH 4869 式的 WITH 4527 select WITH 4175 等価 WITH 3910 、fu WITH 3454 生成 WITH 3438 書式 WITH 2437 template WITH 2365 マか WITH 1318 ラム WITH 1296 test WITH 1225 解析 WITH 1055 name WITH 982 スキ WITH 944 式の WITH 884 を生 WITH 715 書け WITH 590 ーマ WITH 588 キー WITH 585 from の検索結果 187 件中 1 - 10 件目 (0.078871666 秒)
DLINQ（RDB向けのLINQ）では、スキーマからクラスを生成した上で書式的には同じように検索が書けるのですが、ラムダ式の扱いが異なります。 Test db = ...; // Testはスキーマから生成されたクラス var q = from c in db where c.City = "London" select new { c.Name, c.Country }; と書ける訳で、これは var ...
Type Familiesを使って型レベルで階乗を実装してみます。基本の考え方としては、dataで定義する型が型レベルの値で、type familyで定義する型属が型レベルの関数になります。 まずは、数の定義から。EmptyDataDecls拡張を使います。 {-# LANGUAGE TypeFamilies, EmptyDataDecls, UndecidableInstances, ScopedT ...
# (スコア:2718)
Invalid TextData Familiesは、型パラメータに依って実装を変えたいときに使えます。C++のテンプレートでの特殊化みたいなものでしょうか。 {-# LANGUAGE TypeFamilies #-} import qualified Data.Sequence as Seq data family Vector a -- BoolのVectorはリストで表現 data instance Vector Bool = BoolVector ...
# (スコア:2591)
上の例だと、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 ...
# (スコア:2429)
by Brent Yorgey <first initial last name at cis.upenn.edu> 標準Haskellライブラリには、代数や圏論に裏打ちされた数多くの型クラスが用意されています。流暢なHaskellハッカーになるためには、これら全てに根本的に慣れ親しんでいる必要がありますが、慣れ親しむためには、しばしば山ほどのチュートリアルや ...
# (スコア:2403)
HSQL-1.7を使ってMySQL 5.0.24に接続してみるテスト。 module Main where import IO import qualified Database.HSQL as DB import qualified Database.HSQL.MySQL as MySQL host = "localhost" db = "test" user = "root" password = "password" main :: IO () main = process `DB.catchSql` print where proc ...
# (スコア:2403)
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 ...
# (スコア:2403)
Synonym Familiesの別の良くある例はこんな感じのもの。 class Mul a b where type Result a b (*) :: a -> b -> Result a b instance Mul Int Int where type Result Int Int = Int (*) = (Prelude.*) instance Mul Int Double where type Result Int Double = Double (*) x y = fromIntegral Prelude.* y これ ...
# (スコア:2403)
Invalid Text次はSynonym Families。引数の型によって関連づけられた型を変えたいときに使います。C++でいうところの、特殊化されたテンプレートの中のtypedefとでも言えるでしょうか。 ありがちな例としては、コレクションクラスがあります。 class Collection a where type Elem a empty :: a add :: Elem a ...
# (スコア:2403)
しかし、上のような例だと、Collectionを型クラスではなくて型構築子クラスにすれば、Synonym Familiesを使わなくても書けます。 class Collection c where empty :: c a add :: a -> c a -> c a instance Collection [] where empty = [] add = (:) instance Collection Seq where empty = Seq.empty add = (< ...
# (スコア:2403)
# (スコア:10000)