「関数の型から実装が自動的に決まる」で理解する米田の補題
圏論の米田の補題を Haskell で考えてみるとすごく直感的に理解できる、なんなら当たり前に思える、というアイデアを知って感動したので、興奮しているうちに紹介したいと思います。 型が a -> a な関数は id しかない、という話から2ステップで米田の補題に辿り着きます。 f :: a -> a な関数はどれだけあるか Haskell で関数を書いていると、型から実装が自動的に決まることがあるのを感じると思います。たとえば次のような型の関数を考えます。 これを実装する人の立場で考えます。まず返り値の型から読むと 「指定された型 a の値を必ず何か返しなさい」 となります。次に引数の型を読むと 「ただし、型 a の値 x が渡されます」 となります。 この関数では、型 a の値を返す必要があります。そしてそのためには渡された引数 x を使うほかに手段がありません。また型 a については事
Elevators
Everyone has shared the frustration of waiting for an elevator that never seems to arrive. "I pressed the button, why isn't it coming?" you ask. For something as commonplace as elevators, they are far more complex than meets the eye. Over the course of this article, we'll unravel the mysteries of elevators. The way you push their buttons, and how they push yours. 4321 One CarThe simplest elevator
呼び鈴が鳴るまで・呼び鈴が鳴るまで | マンガSPA!
ABJマークは、この電子書店・電子書籍配信サービスが、著作権者からコンテンツ使用許諾を得た正規版配信サービスであることを示す登録商標(登録番号第6091713号)です。ABJマークの詳細、ABJマークを掲示しているサービスの一覧はこちら。 https://aebs.or.jp/
目が見えなくなって気づいた「日比谷駅にある謎の10メートル」について / 視覚障害者の日常
通勤や通学の途中で、「なんでだろう？」と気になっている場所はないだろうか？ 私の場合、日比谷駅の地下通路にある点字ブロックがそうだった。 目が見えなくなった今では「これはなんだろう？」が日常のほとんどなのだが、見えなくても「なぜだろう？」となってしまう場所……。 そのモヤモヤを解決したら、同時に「歴史」を感じることになった。 ・点字ブロックには2種類ある そもそも、点字ブロックは大まかに「誘導ブロック」と「警告ブロック」の2種類がある。 誘導ブロックは進む方向を示す。 警告ブロックは階段や分岐など注意が必要な場所を教えてくれる。 これを組み合わせることで、私たち視覚障害者は安心して歩けるのだ。 誘導ブロックは、相棒の白杖をツーっと滑らせることができ、神経使用率30％くらいで済む。 誘導ブロックを歩く時は多少油断している場合もある……。 一方、警告ブロックは注意喚起が目的なので、白杖がガタガ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
