遅延評価とIO - あどけない話
僕は今、プログラマーとしての幸福感に満たされている。遅延評価を習得できたと思えるからだ。 遅延評価 なぜ関数プログラミングは重要かには、遅延評価の利点を以下のように説明している。 停止条件はループの本体とは切離すことができ、強力なモジュール化が可能となる。 例として載っている「ニュートン-ラプソン法による平方根」は、若干難しいので、簡単な別例を示そう。Haskell には、第一引数の数だけ、第二引数を繰り返す関数 replicate がある。 > replicate 3 'a' → "aaa" これを普通に実装するとこうなる。 replicate 0 c = [] replicate n c = c : replicate (n-1) c Haskell 以外で実装する場合、きっとループを使うだろう。ただ、ここでは再帰かループかは問題ではない。 問題は、「結果を作る仕事」と「終了条件を判断
Haskellと副作用 - あどけない話
よく、Haskellには副作用がないと言われるが、それは間違いだ。確かに、Haskell には状態の変化（あるいは再代入）という副作用はない。しかし、入出力という副作用はある。この記事では、Haskell の副作用に対して、命令型プログラマーにすっきりと理解できる説明を試みたいと思う。 間違った方向への第一歩 Haskell の副作用に関する典型的な説明は、こんな感じだ。 Haskell にはあらゆるレベルで副作用がない。そのため、遅延評価が可能になる。遅延評価では、コードが記述順に実行／評価されるとは限らないので、入出力と相性が悪い。そこで、IO モナドが導入されている。IO モナドのおかげで、入出力に関するコードは記述順に実行され、外界に作用できる。 この説明を聞いて理解しろという方が無理である。説明が苦しい最大の理由は、Haskell にはあらゆるレベルで副作用がないと、間違った一歩
【ITproフォーラム】パフォーマンスは満足，ディスクI/Oなどに課題---パネル・ディスカッション
パフォーマンスや安定性はほとんど問題なし，ディスクI/Oやネットワークの仮想化などが今後の課題。それからアプリケーション側のサポートが不可欠である。ITproフォーラムの最後のプログラムであるパネル・ディスカッション「先進事例に学ぶ仮想化の効用と今後の期待」では，このような現実が見えてきた。 パネリストは，IMJネットワーク 代表取締役 山田 敏博氏，NEC マネージドプラットフォームサービス事業部 プラットフォームソリューショングループ シニアエキスパート 高橋 幸雄氏，NTTデータ 基盤システム事業本部 仮想化ビジネスプロジェクト プロジェクトマネージャ 斎藤 洋氏の3人。インテグレータやサービス・プロバイダであるが，ヴイエムウェアの仮想化ソフトウエア「VMware ESX Server」の先進ユーザーとして登壇した。モデレータは，日経BP社ITpro発行人 浅見 直樹。 リソースの柔
PowerPoint プレゼンテーション
[for 仮想化実装技術勉強会] Xen-VMについて 2006/12/6 富士通㈱ 江崎 裕 All Rights Reserved, Copyright FUJITSU LIMITED 2006 私たちの活動 オープンソースのXen-VMを素材に、IA-64および、 x86向けの仮想システムを開発中 コミュニティ連携 • Xen • Fedora project • Linux 機能の安定化 性能向上 (パフォーマンスチューニング) Linux以外のOSサポート Cambridge大 Xen-VMサイト VM: 仮想計算機システム 1 All Rights Reserved, Copyright FUJITSU LIMITED 2006 仮想マシン(VM:Virtual Machine)とは 仮想マシンとは，実マシン上に実現される論理的なマシ ン（計算機） ．また，その概
C プログラムから I/O ポートを使う
2.1. 普通の方法I/O ポートをアクセスするためのルーチンは /usr/include/asm/io.h (またはカーネルのソースパッケージの中の linux/include/asm-i386/io.h) に定義されています。必要なルーチンは、 この中でインラインマクロとして定義されていま すので、#include <asm/io.h> とするだけで十分でしょう。特別なライブラリなどは不要です。gcc (私の知る限り全てのバージョン、egcs も含む) からの制限のため、 これらのルーチンを使うソースをコンパイルするにあたり、最適化をオン にする( gcc -O1 またはそれ以上)、あるい は #include <asm/io.h> の前に #define extern static という宣言を おこなっておく必要があります。 (あとで #undef extern しておくのを
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Codelogy: Haskell でバグの出にくいプログラミング (2)
リコー、 共通ITインフラにシーゴ製品を活用。 ビジネス スピード を向 上させる 柔軟なクラウド基盤の構築を実現 Case_RICOH_xsigo.pdf
