タグ

2019年8月22日のブックマーク (4件)

  • QAで学ぶMonad - あどけない話

    この記事は、Monad でつまづいた Haskeller のための Monad 再入門です。 Monadとは何ですか? Monad とは、単なる型クラスの一つです。難しいという風評もありますが、それ以上でもそれ以下でもありません。 この型クラスのメソッドは、return と >>= です。 class Monad m where (>>=) :: m a -> (a -> m b) -> m b return :: a -> m a つまり、以下を満たす型の集合が Monad です。 m a で表現できるように一つの型変数を格納するコンテナ型 >>= と return を実装 return は新しいコンテナを作り、>>= は二つのコンテナを合成します。 Monad のインスタンスは失敗系と状態系に大別できます。以下に代表的なインスタンスを示します。 失敗系: Maybe、[] (リスト)

    QAで学ぶMonad - あどけない話
    l-_-ll
    l-_-ll 2019/08/22
    "(+1) <$> は、(+1) という文脈非依存の関数を Maybe という文脈に持ち上げているのです。(略)「失敗しない関数を失敗するかもしれない関数に変更している」と考えてもよいでしょう"
  • A Heavily Commented Linux Kernel Source Code

  • システム開発で得たRedis利用ノウハウ | フューチャー技術ブログ

    こんにちは。初投稿です。 2012年新卒入社の竹内です。入社当時を振り返るとOracle10g,11gを良く利用していおり、データモデリングなどテーブル設計が好きで、2018年4月ぐらいまでRDBとバッチに浸ってました。 さて、現在プロジェクトでRedisを使っているのですが、いままでRDB人間だっただけにKVSやRedisならではの特徴に四苦八苦してます。 苦しんだ分、色々な知見を得ることができているので、その内容をご紹介します! 対象者 Redisの業務システム導入を検討している方 RDBとRedisの違いを知りたい方 現場的なRedisの利用方法を知りたい方 書いてないこと データ型やコマンドなど、HelloWorld的に公式ドキュメントを見て得られる情報 インストールなど、Redisを利用できるまでの手順 フェイルオーバーやバックアップをはじめとする運用に関する内容 データ永続化に

    システム開発で得たRedis利用ノウハウ | フューチャー技術ブログ
    l-_-ll
    l-_-ll 2019/08/22
  • 実はアイデアの宝庫? 刺激的なWikipediaの記事150選|INSPI(インスピ)|広告デザインとアイデアの教科書

    Wikipediaには日語版だけで116万以上もの記事(2019年8月現在)が書かれています。 今回はそんな膨大な記事の中から、創作ネタやアイデアの種に繋がるような刺激的な記事を150ピックアップしてご紹介したいと思います。 ---------------------------------- 11B-X-1371 11B-X-1371 は、2015年前半のインターネット上に現れた動画の名称。この動画が収録されたDVDが、スウェーデンのテクノロジー系ブログ「GadgetZZ.com」の運営元に郵送され、動画は当該ブログ上で公開された後にインターネット上で話題となった。内容は2分間の白黒映像であり、荒れ果てた廃墟のなかで、ペスト医師のようなコスチュームの人物が壁を背に立っている様子が映し出され、壁に空いたガラスのない窓からは森林が見えている。人物が片手を挙げると、手のひらから不規則に点

    実はアイデアの宝庫? 刺激的なWikipediaの記事150選|INSPI(インスピ)|広告デザインとアイデアの教科書