IIJ 社内でやったチュートリアル 純粋関数型言語Haskellの紹介 〜制約プログラミングのススメ〜 の資料を公開しました。
制約プログラミングのススメ - あどけない話
IIJ 社内でやったチュートリアル 純粋関数型言語Haskellの紹介 〜制約プログラミングのススメ〜 の資料を公開しました。
型レベルプログラミングの会 - kmizuの日記
型レベルプログラミングの会、略して型レ会、行って来ました。メモとか取ってなかったので詳細な感想は書けないのですが、とにかく濃い話が盛りだくさんで面白かったです。このように魅力的なイベントを主催していただいたk.inabaさん、魅力的な発表をしてくださった皆様、会場を提供してくださったサイボウズラボの光成さんに感謝です。 C++の可変引数テンプレートの便利さに舌を巻いたり Haskellの関数従属とか使った型レベルプログラミングの方法にうなったり Haskellのtype familyほげほげの話がよくわからなくなってorzしたり いけがみさんの発表を聴いて428を買いに行きたくなったり Dのテンプレートメタプログラミングの自由さ＆読みやすさに感動したり G'Camlのgeneric関数のシグネチャの読み方がなかなかわからなくてうなったり 初めて聞く話とか、話は聞いたことあるけど実際にどんな
Haskellプログラミングチュートリアル
Haskellは，次のような特徴をもった関数型言語です： 強力な型システム パラメータ多相のサポート 型クラスによるアドホック多相 非正格で純粋な関数型言語 関数は非正格 遅延評価：無限リストなどのデータ構造の扱いが容易 純粋：参照透明性が保存され，副作用がない モナドを用いたプログラミング 今回は，Haskellプログラムの基本要素である関数と型について， 順を追って解説していきたいと思います． まずは，おおまかな字句構造から： コメントの書き方については，C, JavaやMLのそれと変わりません． それぞれの関数定義や宣言は，セミコロン ';' で区切られ，ブレース '{}' でグループ化されます． しかし，Haskellのレイアウトという構文により， セミコロンを省いた記述が可能です． いまのところ，行頭に文字があったらその行から新しい宣言 くらいに思っておけば大丈夫です．
home
A dynamically tiling X11 window manager that is written and configured in Haskell. In a normal WM, you spend half your time aligning and searching for windows. XMonad makes work easier, by automating this. What’s new? xmonad and xmonad-contrib 0.18.0 are available. New versions of xmonad and xmonad-contrib have been released. Check out our download page for instructions on where to get them. (2024
いかにしてプログラムを書くか - Inemuri nezumi diary(2007-04-03)
_ 論理的思考の復興 諸君 私はオープンソースが好きだ 諸君 私はプログラミングが好きだ 諸君 私は論理的思考が大好きだ 「KISS*1！ PFP*2！！ D&C*3！！！」 よろしい、ならば論理的思考の復興を果たそう。 プログラミングに論理的な思考が必須なのではない、我々は 論理的な思考を愛し、その手段によって問題が解決される故に、 論理的な思考に基づいてプログラムを書くのである。 いかにしてプログラムを書くか、我々の持つ手段は直感あるいは論理的思考である。インスピレーションに基づいてプログラムを書いたときの気持ちよさはすばらしい。しかし、人に与えられたインスピレーションの回数は有限である、それは神がお決めになったことであり、自分自身が持っているインスピレーションがあと何回残っているか、それを知る術は残念ながら無い。いつでもいくらでも直感が湧くと考えておられるなら、あなたは傲慢である。歴
大人のためのブラックボックス読解講座――クロージャとオブジェクトの微妙な関係
はじめに 2006年8月、Javaの次期仕様（JDK7）にクロージャを入れる案*が出され話題になりました。クロージャは関数型言語では30年以上の歴史を持ち、プログラミングにおける基本的な道具となっています。最近はPerl、Ruby、Pythonなどの軽量言語（Lightweight Language）にも取り込まれ、それと知らずに使っているユーザーも増えているのではないでしょうか。 一方、手続き型言語の世界では、完全なクロージャはなじみが薄いようです。C言語からC++へと発展してきた手続き型言語のメインストリームでは、 ガーベジコレクションを持たず、ローカル変数をスタックに置くことを基本とする言語のため、クロージャとの相性が悪かった オブジェクト指向を採り入れることでクロージャの代用とできた といったことが理由でしょう。 実際、クロージャとオブジェクト指向プログラミング言語には、メカニズム
Haskell のお勉強
Haskell は関数型プログラミング言語の”標準語”として、1990 年に 誕生 (Haskell 1.0) した比較的新しい言語です。 その後、1999 年に安定した言語定義 Haskell 98 が制定され、 徐々に知名度が高くなっています。 しかし、まとまった日本語の解説がほとんど無いので、 簡単な解説記事を書いてみました。 目次 Haskell とは プログラムを動かす 関数を定義する 型 入出力 Haskell で最小二乗法 自前の data と class Monad 探索 種々のデータ構造 Module 詰碁を解く
プログラム工学VI 授業関連資料
重要：プログラム工学演習VI単位取得について レポート提出状況を更新した．これを見ると分かるが，プログラム高額演習VIの単位取得要件を満たしていない学生が，かなりいる．第3回までのレポート及び口頭試問については，12月20日までに問題点を解消しておかないと単位を取得することはできない． 重要：口頭試問について プログラム工学演習VIでは，第1～3回のレポートについて口頭試問を受けることが必須である．これまでに口頭試問を受けていない学生で，プログラム工学演習VI単位取得の意志がある者については，特別に12月20日に口頭試問を実施するので，必ず出席すること． これを逃すと，口頭試問の機会はない． 来週の演習日が12月21日になっていたのを，12月20日に訂正した． 補講期間中にも演習を行う予定になっていたのを，実施しないことにした． 2002年11月29日 レポート提出状況を更新した． 200
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
プログラミング - Flightless wing
有効なWikiNameではありません - Flightless wing
https://okmij.org/ftp/papers/LL3-collections-enumerators.txt
IBM Developer