日本語でArrowの説明があまり見付からなかったので、Haskell/Understanding arrows - Wikibooks, open books for an open worldを読んで理解したつもりのメモ。オリジナルの図を見ながらだと分かりやすいかも。誤り・間違いなど、乞うご指摘。 b->cな関数をArrowなるからくり箱に入れると、 (Arrow a) => a b c こんな型になる。型パラメタが、引数のbと返値のcのふたつ。 Monadは、値をからくり箱に入れたもの。からくり箱は基本的に(ヘンな)値。 Arrowは、関数をからくり箱に入れたもの。からくり箱は基本的に(ヘンな)関数。 arr :: (b -> c) -> a b c Monadでは、値をからくり箱に入れる関数returnがある。 Arrowでは、関数をからくり箱に入れる関数arrがある。 (>>>)
前回、なんか拡張を沢山使っていたが、おまじないのままなのもそろそろまずい感じなので、とりあえず調べてみた。 今回調べた拡張 型系 GADTs ScopedTypeVariables EmptyDataDecls TypeFamilies 型クラス系 MultiParamTypeClasses TypeSynonymInstances FlexibleInstances FlexibleContexts パターン系 BangPatterns PatternGuards ViewPatterns 文字列系 OverloadedStrings TemplateHaskell系 TemplateHaskell QuasiQuotes import系 ImplicitPrelude PackageImports 他言語系 CPP ForeignFunctionInterface 参考にしたところ L
While playing around with querying ElasticSearch I bumped into something that I hadn't really understood explicitly before about monads, nesting, and IO. Rather than blather on, I'm going to share a "literate" ghci session that demonstrates the point. Main editing change I made was to remove duplication in the output from querying the type :t in ghci. import Network.HTTP import Control.Monad (join
GHC (3), IO (1), alternative (1), applicative (1), base (6), basics (11), containers (10), control sequence (1), data (1), data_structure (1), devtool (1), file (2), ghci (5), haskell2010 (7), hspec (2), lens (1), library (2), list (27), maybe (1), monad (2), num (2), number (1), parsec (1), prelude (9), random (2), record (1), set (1), standard library (1), standard-library (1), standard_library
知り合いに教えたら喜ばれたので、ここでも共有。みんな使っていると思ってた。 多くのメーリングリストに登録していたりすると、自分宛てだけのメールを読みたいこととかもある。また、24時間以内に送られたメールの中から目的のメールを拾いたいこともある。 Gmailは検索機能があるので、検索オプションを使えば、これらは可能なのだが、毎回同じように検索オプションを開くのも面倒だ。 そんなときはGmailのクイックリンクと組み合わせて使うと良い。 設定などについては、2011年のライフハッカーの記事で紹介されているので、そちらの記事を読んでもらうのが良い。 「検索オプション」と「クイックリンク」を活用してGmailのメール検索をより快適にする方法 : ライフハッカー[日本版] ざっくり言うと、以下の通り。 Gmailの設定*1から、「Labs」に行き、そこから「クイック リンク」を有効にする*2。 画面
As part of my opening keynote at Cloud Connect in Las Vegas I summarized the latest moves in cloud, the slides are available via the new Powered by Battery site as "The Good the Bad and the Ugly: Critical Decisions for the Cloud Enabled Enterprise". This blog post is a detailed analysis of just part of what happened. Summary points AWS users should migrate from obsolete m1, m2, c1, c2 to the new m
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く