モナドとはモナドである - モナドとわたしとコモナド
この記事を読む前に、絶対に理解出来ないモナドチュートリアルに一度目を通してみてほしい。モナドを理解していく上で、とても重要なことが書かれている。 改めて言おう、モナドはモナドだ。コンテナだとかプログラマブルセミコロンだという説明では、モナドのすべてを正確に表せるとは言い難い。では、モナドを過不足なく説明できる、モナド以外の言葉はあるのか？ 実は、モナドを表現し、かつモナドで表現される言葉は存在する。その一つは手続きである。手続き型言語の「手続き」だ。 手続きとは何か 手続きは結果を持つ おおよそすべての手続きは何らかの結果を持つ。Haskellの()、C言語のvoid、PythonのNone、Rubyのnilなども結果の一種だ。結果が出ないとしたら、そのプログラムは停止しないか、途中で異常終了するだろう。 手続きには最小単位が存在する 処理系が扱っている以上、手続きが際限なく分解できるとい
低運賃が日本の鉄道をダメにしている：日経ビジネスオンライン
鉄道をダメにしてきた原因は何ですか？ 阿部：鉄道のイノベーションを妨げているものが何なのかが、『満員電車がなくなる日』で最も言いたかったことです。 満員電車の歴史を振り返りました。満員電車の歴史は、実は運賃抑制の歴史でした。140年前の鉄道開業以来、常に「鉄道の運賃は安くせよ」という社会的プレッシャーに負け続け、結果的に技術開発や設備投資をする資金を確保できなかったのです。 今も同じ状況です。やろうと思えばできることができないのは、早い話、お金が回らないからです。技術的にはできることができない、心ある多くの人が無念の思いを抱いてきた140年間の鉄道の歴史のシンボルが、言ってみれば満員電車なんです。 モータリゼーションのせいではない 国家のインフラは広くあまねく安く、というユニバーサルサービスの思想でしょうか？ 阿部：と言うより、むしろポピュリズム（大衆迎合主義）です。国鉄もそうだったし、J
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
