イベントレポート：「Coqチュートリアル#1」
去る1月12日、定理証明支援系ツールCoqの初心者向けチュートリアルが開催さ れた(http://kokucheese.com/event/index/23667/)。今後も2月2日 (http://kokucheese.com/event/index/23744/)、2月9日、2月16日と引き続き開 催されていく予定である。本記事では、開催の様子をレポートする。
InfoQ
InfoQ
トピック・タグ別の表示
Functional Programmingに関するすべてのコンテンツ
Functional Programmingに関する最新コンテンツ
Functional Programmingに関するNews
Javascript経由でClojureをブラウザで利用できるようにするClojureScript
Rich Hickey氏がClojureをJavascriptにコンパイルするClojureScriptを発表した。これを使えばClojureをブラウザやモバイルの世界で利用できる。InfoQはClojureScriptの存在理由やその実装を探った。
OOPがCMUのComputer Science入門カリキュラムから消える
Carnegie Mellon 大学の Computer Scienceの教授であるRobert Harper と Dan Licataの両氏は、CSの入門カリキュラムからOOPを「完全に除く」ことを決めた、と先週発表した。
JavaOne プレビュー：Javaの関数プログラミングについて、GridGainのCEOであるNikita Ivanov氏とインタビュー
今月、San FranciscoのJavaOneで、GridGainのCEOであるNikita Ivanov氏が関数プログラミングについて講演する。リリース3.0で、APIを再設計して、その製品にもっと関数型の感じを加えた。InfoQは、Ivanov氏に関数型プログラミングの経験について、より詳しく聞いた。
オブジェクト指向プログラミングは間違いだったか?
QCon London 2010のインタビューで、Erlangの最初の開発者であるJoe Armstrong博士とSmalltalk、OOP、パターンに長い間関係しているRalph Johnson博士に、オブジェクト指向に関して、私たちは長年「間違った道」を下ってきたかという質問をした。2人は「間違った道」であったことを認めたが、これはオブジェクトの考え方の実現方法に欠点があったためであり、この考え方自体の欠点ではないと述べた。
Clojure 1.1，効率のためにトランジェントとチャンクシーケンスを追加
Clojure 1.1 RC1 が公開された。永続的データ構造に可変性の制御機能を与える "トランジェント(Tranjent)"，遅延シーケンスを効率化する "チャンクシーケンス(Chunked Sequence)" の導入によって，関数プログラミングのコンストラクタに関するオーバーヘッドが改善されている。InfoQ では，これら改良点がどのように動作するかを調査した。
Clojure総まとめ：Craneによる配布、Incanterによる算術計算、Leiningen 1.0によるビルド
Clojureインスタンスｗの配布と遠隔操作のためのツールであるFlightCasterのオープンソースCraneは、現在EC2に特化されている。IncanterはClojureを使って簡単にR風の統計計算ができるClojureライブラリとツールである。また、ビルドと依存関係管理ツールであるLeiningen 1.0がリリースされた。
HaskellとHubrisを使ってRubyに力を与える
RubyやRailsアプリケーションにCを組み込むのは、パフォーマンスのボトルネックを解消するひとつの方法だ。Mark Wotton氏は最近、HubrisというRubyからHaskellコードの呼び出しを可能にするブリッジを書いた。