平素は株式会社ライブドアのサービスを ご利用いただきありがとうございます。 提言型ニュースサイト「BLOGOS」は、 2022年5月31日をもちまして、 サービスの提供を終了いたしました。 一部のオリジナル記事につきましては、 livedoorニュース内の 「BLOGOSの記事一覧」からご覧いただけます。 長らくご利用いただき、ありがとうございました。 サービス終了に関するお問い合わせは、 下記までお願いいたします。 お問い合わせ ※カテゴリは、「その他のお問い合わせ」を選択して下さい。
c.l.sで興味深い議論が進行していたのでメモ。 purely functional Lisp + call/cc = ? 発端は、Nils M Holmの 「Purely functionalなマイLispにcall/ccをつけてみたよ」 という投稿。 それに対し、Schemeの大御所達から 「call/ccは、副作用を生じるよ」 と突っ込みが入る。 言い替えれば、「set!などの明示的な副作用オペレータを一切持たない purely functionalなLispに、call/ccを導入すると、それはもはや purely functionalではなくなる」ということ。 実例 これは簡単な例によって示すことができる。szgygによる例: (let ((f (lambda (x) (call/cc (lambda (k) k))))) (cons (f 0) (f 0))) (f 0)の2回
思想界のリビングレジェンド・見田宗介(東大名誉教授)から3.11後を生きる若者たちへのメッセージ。「人間はようやく地上に〝天国〟を実現する段階に達した感じがします」 [2012年03月11日] Tweet 「今」という時代は、いったいどんな時代なのか?そして「3・11後の世界」のカタチとは? 2008年にあった「人類史の大転換期を象徴する3つの事件」を切り口に大きな、大きなスケールで考えてみよう! ―今日は見田宗介先生という、思想界の伝説的な方をお迎えしまして……。 見田 昔の(笑)。 ―いえいえ! 今の大御所から若手まで、世代を超えた思想家たちから何十年も尊敬され続けている存在ってほかにいませんから。 見田 いや、そんな。 ―そんな見田先生から、3・11から1年がたとうとしている今日、週プレの20代読者にとって「時代の見晴らし」がよくなるお話をいただけたらと思いまして。 見田 孫ぐらいの
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く