SKI combinator calculus - Wikipedia
The SKI combinator calculus is a combinatory logic system and a computational system. It can be thought of as a computer programming language, though it is not convenient for writing software.[citation needed] Instead, it is important in the mathematical theory of algorithms because it is an extremely simple Turing complete language. It can be likened to a reduced version of the untyped lambda cal
FLOPSから帰宅 - sumiiのブログ
しました。報告は暇なときに少しずつ追記します（アンテナしづらい？）。こういう学会にしては「理論」より「応用」っぽい話が多かったかも。「Haskellで…というライブラリを作りました」みたいな。 http://nicosia.is.s.u-tokyo.ac.jp/FLOPS2006/program.html 以下は発表を抜粋して報告。論文は、タイトルや著者の名前で検索すれば、大抵はWebにあると思います。 Guy Steeleのinvited talk JavaがC++を改良した（ことになっている）みたいにFortranを改良しよう！という話。FLOPSのinvited talkだからという部分もあるだろうけど、やっぱりGuy SteeleはSchemeというか関数型言語ラブラブらしく、いかにこっそりと関数型言語の機能を導入するか、という話も。折角なのでWadlerたちと一緒に２時間ぐらい立
関数型言語マニアのための論文紹介６：定理証明器で書かれたCコンパイラ - sumiiのブログ
Formal certification of a compiler back-end, or: programming a compiler with a proof assistant. Xavier Leroy. POPL 2006. http://pauillac.inria.fr/~xleroy/publi/compiler-certif.pdf ソースコードとか。 http://pauillac.inria.fr/~xleroy/compcert-backend/ 著者のXavier LeroyはOCamlの作者です。 （ネイティブコードを吐く）コンパイラを作ったことがある人なら、ごく稀にしか起きない、わけのわからないバグに悩まされたことがきっとあると思います。そういうバグがあると、コンパイラを作る人どころか、それを使うプログラマも悩まされます。これはMLのような型つき言語でコ
川o・-・）＜2nd life - Haskell の日本語リファレンスマニュアル引きツール href
http://i.loveruby.net/w/href.html 入門HaskellやYAPC::Asia の Audrey のセッション、Learning Haskellで LL 界隈でも熱くなり始めた Haskell。かくいう自分も少しづつ勉強中です。 で、最初勉強するのに必至なドキュメントの一つがリファレンスマニュアルです。href はコマンドラインから日本語のリファレンスを引くことができる便利ツール。用例も載ってるのもありがたいですね。使用方法は簡単( ReFe と同じ )で href コマンドの引数に調べたい関数を書いて実行するだけ！ $ href reverse Data.List.reverse reverse :: [a] -> [a] PRELUDE reverse xs リスト xs を逆順にしたリストを返す。 reverse [1,2,3] = [3,2,1] re
なぜ関数プログラミングは重要か
John Hughes, Institutionen för Datavetenskap, Chalmers Tekniska Högskola, 41296 Göteborg, SWEDEN. rjmh@cs.chalmers.se この日本語訳は原著者の承諾を得て山下がここに公開するものです。 この訳文についての、御指摘などは山下伸夫(nobsun .at. sampou.org)までおねがい いたします。 翻訳最終更新日 : 2011-09-17 原文 "Why Functional Programming Matters" 日本語訳PostScript この論文は1984年以来何年ものあいだChalmers大学のメモとして回覧された。 1989年と1990年に幾分か改訂をしたのが[Hug89]と [Hug90]である。この版はもとのChalmer大学のメモ のnroff原稿をもとに
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
