2019-04-01から1ヶ月間の記事一覧
今作成しているライブラリでHLintを実行してみました。傾向としては、冗長なdoと冗長なカッコの指摘が多いようでした。 src/Database\SQLServer\Internal\Tokens.hs:626:1: Suggestion: Use newtype instead of data Found: data ROW = ROW{columnValues :: …
Generatorを作る必要があります。 以下のようにしてしまうと、固定値を永遠に流すストリームになってしまいます。 badFunc :: InputStream Int -> IO (InputStream Int) badFunc s = do v <- S.read s case v of Just x -> makeInputStream $ return $ Just …
io-streamでinputstreamを作りつなげるだけ。 is-stream sample
io-stream sample 3 (copy) デバック部分はコメントアウトしています。
Extractionという機能を使うとできるらしい。Coqで証明してHaskellで動作させる感じなのか。 coq.inria.fr 単純な方の定義 Inductive FBB : Type := | Foo | Bar | Buzz. Require Extraction. Extraction Language Haskell. Extraction "C:\work\FBB.hs" FBB…
数学でいうモナドの定義と、Haskellで普段使っているモナドの定義は、一見違うように見えるが、実は、クライスリカテゴリを通じて、同じだという話(雑な理解)。 http://emorehouse.web.wesleyan.edu/research/talks/monad_rosetta.pdf the seemingly diffe…
diogocastro.com 記事を読むには以下のextensionの理解が必要。 KindSignatures haskell - Kind Signatures - Stack Overflow ExplicitForAll MagicHash haskell - What are hashes (#) used for in the library's source? - Stack Overflow ConstraintKinds…
ラムダ計算を学ぶときに最初に読んでおくとよいと思った。(というか自分にとっては今が最初だけど) sites.google.com "f(x)"という表記法の欠陥は、高校の数学までではほとんど表面化しませんが、 大学に入ってから定義域や値域が関数の集合になるような …
例えば、 数学の不定積分の説明 不定積分|もう一度やり直しの算数・数学 不定積分とは、積分の範囲をどこからどこまで、という範囲を指定していませんので、積分の範囲が不定になっている積分のことです。 (中略) ※記号のCは積分定数なのでその中身はいくつ…