2017-01-01から1ヶ月間の記事一覧
じっくり学ぶ曲線と曲面―微分幾何学初歩作者: 中内伸光出版社/メーカー: 共立出版発売日: 2005/09/15メディア: 単行本購入: 2人 クリック: 29回この商品を含むブログ (14件) を見る p.15 に 例1.1.4(放物線の曲率)、例1.1.5(4次曲線の曲率)があります。 放物…
ファイルの読み込み(基本形で、ここではまだ例外処理を入れていない) Reading a file in Servant ファイル読み込みに失敗した時の対処 (catch) *> :t catch catch :: Exception e => IO a -> (e -> IO a) -> IO a catchは、catchした時の対処はできるが、…
GHC 8.0からVisible Type Applicationが導入されました。 TypeApplication – GHC 今までは::で型を明示的に指定していました。 Prelude> Prelude> let x = return 1 Prelude> :t x x :: (Num a, Monad m) => m a Prelude> let x = return 1 :: Maybe Int Pre…
IntとIntegerとの違い インスタンスの確認 Prelude > :i Int data Int = GHC.Types.I# GHC.Prim.Int# -- Defined in ‘GHC.Types’ instance Bounded Int -- Defined in ‘GHC.Enum’ instance Enum Int -- Defined in ‘GHC.Enum’ instance Eq Int -- Defined in…
複素数のためのData.Complexパッケージがあります。 Data.Complex 複素数は:+コンストラクタを使います。 > :i :+ data Complex a = !a :+ !a -- Defined in ‘Data.Complex’ infix 6 :+ 1+2iは次のよう:+を使って次のようになります。 > 1 :+ 2 1 :+ 2 > :t …
下記にあるexampleのgreet.hs用のcabalファイルを作ります。 github.com cabal initにて対話形式で必要な項目を入力していきます。 foo$ cabal init Package name? [default: servant02] greet Package version? [default: 0.1.0.0] Please choose a license…
@lotz さんの下記の記事があります。手元で動かそうとしたところ(2017/01/15時点)、記事が書かれた頃とライブラリのバージョンが変わっているため、そのままでは動作しませんでした。そこで、修正部分をメモしました。 qiita.com 修正のポイントは以下の2点…
Log出力したいだけなのにさっぱりわからず。下記は動作するけどコーディングの考え方が間違っているはず。LoggingTはMonadXXXXのインスタンスになっているのに、なんでliftが必要なのかも謎。Haskellの独学は厳しい。。。。 Control.Monad.Logger Monad Logg…
map f . map g = map (f.g)
Javaの確認 (bar)blender:work06 foo$ java -version java version "1.8.0_05" Java(TM) SE Runtime Environment (build 1.8.0_05-b13) Java HotSpot(TM) 64-Bit Server VM (build 25.5-b02, mixed mode) Scalaのインストール (bar)blender:work06 foo$ curl…
stackoverflow.com Deducing code from types: filterMbyorgey.wordpress.com Powerset by filterM
Monadic parsing in Haskell Monadic parsing_in_Haskell
all sorts of permutations (insertion sort)
まつもとゆきひろ 言語のしくみ作者: まつもとゆきひろ出版社/メーカー: 日経BP社発売日: 2016/12/22メディア: Kindle版この商品を含むブログを見る 作業場所の作成 foo:work03 $ mkdir streem foo:work03 $ cd streem ソースコードの取得 foo:streem $ git …
Monad Transformer step by step