New in-depth guide to stack - FP Complete
The stack build tool is a cross-platform program for developing Haskell projects. It is aimed at Haskellers both new and experienced. I recently put together an in-depth guide to using stack for Haskell development. EDIT The content below is now significantly outdated. We strongly recommend reading the guide on the Stack website. The official home for this document is in the stack repository. Belo
SICP Distilled
SICP Distilled Licence Donate Welcome Ch1 - Building Abstractions With Functions Chapter 1 Distilled Introduction 1.1 - The Elements Of Programming Expressions Naming and the Environment Evaluating Combinations Defining New Functions The Substitution Model Exercises Predicates Conditional Expressions Example: Newton’s Method Functions as Black-Box Abstractions 1.2 - Procedures and the Processes Th
Timothy Williamson『同一性と識別』 - うつし世はゆめ / 夜のゆめもゆめ
Identity and Discrimination ウィリアムソンのデビュー作を読んだ。基本的なアイディアはシンプルだが、同一性について悩むたびに繰り返し再読したくなるような内容だった。あと基本的には経験の質的同一性の話がメインなので、その辺に興味あれば楽しく読めるかと。 識別依存直観 ある種のものの同一性は、識別可能性に依存する。 例えば痛みを考えよう。痛みの同一性はどうなっているだろうか？ 痛みを感じる二つの経験があったとき、二つの経験が「同じ質の痛みだ」と言えるのはいつだろう？ 識別できない二つの経験は、同じ質をもつと言いたくなる。 どれだけ注意深くあっても経験xの痛みと経験yの痛みを識別できない場合に、「それでも両者は違う質の痛みなのだ」と考えることは、何やら奇妙だ。これが心から独立した物体の話なら、二つの物体の間に人間には識別できない違いがあると考えることは別におかしくはない
【前編】華麗なるキャリアの道程は、『ドワンゴ』から逃げ出したい一心から！？
Twitterでハッシュタグ「#naoya_sushi」が生まれてしまうほど、無類の寿司好きとして知られる伊藤直也氏（@naoya_ito）。そんな伊藤氏をホスト役とし、トップエンジニアをゲストに招いて、寿司をつまみつつホンネで語ってもらおうという、この企画。 第七回にして本対談もついに最終回を迎えることになりました。その栄えある最終回を飾ってくださるのは、あの『株式会社ドワンゴ』の川上量生氏！ 創業期からエンジニアとして第一線で活躍し、現在は代表取締役会長と『象徴CTO』を兼務。そして『株式会社KADOKAWA・DWANGO』（10月１日付で社名を『カドカワ株式会社』に変更予定）の代表取締役社長、『スタジオジブリ』のプロデューサー見習い、アニメーション製作会社の『株式会社カラー』では取締役と、業界では知らぬ者はいないスーパースター。そんな川上氏が、プライベートでもゲーム仲間として交流のあ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
konn - Overview
Freer Monads, More Extensible Effects | Lambda the Ultimate
Trees in the real world | F# for fun and profit
Generic recursive types | F# for fun and profit
Understanding Folds | F# for fun and profit
Introducing Folds | F# for fun and profit
Catamorphism examples | F# for fun and profit
Introduction to recursive types | F# for fun and profit
The Fully Immersive Mind of Oliver Sacks
Wisecrack
