はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
ヒビルテ(2006-12-06)
λ. newtypeはHaskellの仕様に不要では? 向井さんのdataとnewtypeのちがいのわかりやすい例というエントリへの便乗なのだけど、newtypeはHaskellの仕様に不要だったのではないかと私は思っている。 向井さんの例でいうと「data T2 = T2 !Int」と「newtype T3 = T3 Int」の表す領域は全く同じである。違うのは「メモリ上のデータの表現の効率」と「パターンマッチの意味」だけ。しかし、この場合にはメモリ上のデータ表現はコンパイラによる最適化が可能であろうし、そのような最適化はプログラマにとって十分透過的*1だろうから、プログラマがメモリ上の表現を明示する意味はあまり無いはず。また、newtypeで宣言した場合のパターンマッチの意味については、dataで宣言した場合でも遅延パターンを用いれば実現できる。 仮にHaskellの仕様にnewtyp
Haskell Bowling
XProgramming > XP Magazine > Haskell Bowling COLLECTED TOPICS: Kate Oneal | Adventures in C# | Documentation in XP | Book Reviews At the Simple Design and Testing conference, Dan Mead bravely agreed to implement the infamous Bowling Game exercise, TDD style, in Haskell. It was fun and interesting. Here I present some discussion, his program, and a Java program in a similar style. "New P
defmacro - Writing A Lisp Interpreter In Haskell
Introduction A while ago, after what now seems like eternity of flirting with Haskell articles and papers, I finally crossed the boundary between theory and practice and downloaded a Haskell compiler. I decided to do a field evaluation of the language by two means. I was going to solve a problem in a domain that Haskell is known to excel at followed by a real world problem1 that hasn't had much ex
Online Tutorial: What the hell are Monads?
Noel Winstanley, 1999 Introduction This is a basic introduction to monads, monadic programming and IO, motivated by a number of people who've asked me to explain this topic, and also by similar queries I've seen on mailing lists. This introduction is presented by means of examples rather than theory, and assumes a little knowledge of Haskell. Maybe Once upon a time, people wrote their Haskell prog
仕事でhaskellを使いだしてみたよ - sshi.Continual
ついに仕事(に使う予定)のツールをhaskellで書きだしてみた。その前まではrubyで書いてたツールのリライト+拡張。ま、(コード自体は)僕しか見なくていいからこういうことができるんだけども。 やっぱ静的に型が付くと安心感あるなー。でもって、静的といえども、処理系が型推論してくれるので自明なところにはいちいち型を書く手間がなくて、書いてる感じや見た目は動的な言語のままなのが嬉しい。 それに、コード変更した時にも型推論は威力を発揮する。途中である関数に引数を増やしたり、引数のデータ構造を変更した時、動的な言語ではその変更が影響する範囲を調べるのが面倒だ。型推論ありの処理系だと、残りの関数のうちどれを直さないといけないかはもれなくコンパイラが教えてくれる。勿論、型は同じなのに値の範囲が変わる、とかそういったデータの値に関する変更の時は無力だが、そういうケースにはあんまり遭遇していない。 さら
J - C++の素晴らしさ
SOFSはC++で書いてた。C++といえば、僕の趣味は、ときどき、C++の素晴らしさについて考えることなんだけど、そういう話。 まず、C++に触ったことないのに、どっかの誰かの受け売りで、「C++はキモくてヤバい」というような考えを抱いてる人がいたとすれば、それは、まあ、つまらない人生を送ってるよね、というような話なのである。 確かに、C++の素晴らしさは、大体にして時間の無駄なので、わざわざ時間を割いて勉強するものではないと思うのだけど、C++は、憎むべき点が山のようにあるのと同じように、愛すべき点も他の言語の愛すべき点を++したぐらいはあるのだ！ どっかのだれかの受け売りでC++に全く触らないのというのは、非常に正しいのだけど、間違っているのである！STL極めて、Boost極めて、その後で、「やっぱり、まともな構文とまともなコンパイル時間と、まともなエラー表示が欲しいわ」と、そこまで至
Write Yourself a Scheme in 48 hours
Write Yourself a Scheme in 48 Hours A Haskell Tutorial By Jonathan Tang Contents Overview First Steps: Compiling and running Parsing A Simple Parser Whitespace Literal Numbers and Strings: Return Values Lists, Dotted Lists, and Quoted Data: Recursive Parsers Evaluation, Part 1 Displaying Values: Show and Typeclasses Evaluating Primitive Values: Pattern Matching Evaluating Primitive Functions: Firs
LL 飲み会で Haskell の洗脳をされる
山下さんに Haskell の洗脳をされる。 数年前に机を並べてたときには、全然 Haskell を 使う気にならなかったんだけどなあ。 ちょっとしたワンライナーは Ruby とか Perl を使ってたけど、 Haskell を使ってみるかなあ、という気がしてきたよ。 以下、洗脳の要点。 1. 開発環境 弱いと思ってたけど、そんなことはない。 Eclipse のプラグインなんてものもあるらしい。 スウエーデンの大学(Chalmers大学？)では、 Haskell に強力に取り組んでて支援ツールを いっぱい出している。 2. 実行環境 いちいちコンパイルして実行しなきゃいけないんじゃ、 かったるいよな〜、それに速度も遅いんじゃない、 と思ったらそれも誤解。 インタプリタがあるので、Lisp や Python のように 使うことができる。 遅いっていうのも、最近文字列処理とかで、 高速なライブ
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
ヒビルテ(2006-09-12)
λ. PPL Summer School 2006 今日は PPL Summer School に行ってくる。 色々な人に会えるであろうから楽しみ。 行ってきた。昨日のSLACSはほとんど宇宙語の世界だったが、今日はこころある人間の言語のようで、気楽に聴いていられた。色々な人にお会いできたが、あまり話すことが出来ず残念だった。 以下色々書くが、これらは講演内容をまとめたわけではなく、私の単なるメモであり、偏っており間違いを含む可能性も高いのでご注意を。まあ、真に受ける人はいないと思うが。 他の方の感想など λ. 圏論の諸相 講師 木下 佳樹 先生（産業技術総合研究所） 概要 圏論は、圏の構造についての理論ではあるが、その利用者にとっては、ものの見方を与え、いい定義を探すための道具であるという面がある。定理の証明よりいい定義を見つけるのが難しい、というのは、圏論や型理論に共通の特徴で、同じ数
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://www.city5.org/darcs/wiki.cgi?page=Tutorial
人力検索 - 関数型言語（プログラミング言語Scheme, Haskellなど）を勉強しようと思っています。 関数型言語の勉強方法
らくがきえんじん
Rubyのある風景 - Non Determinism
https://person.dibris.unige.it/moggi-eugenio/ftp/lc88.pdf
http://www.tom.sfc.keio.ac.jp/~sakai/d/?date=20061011
http://www.tom.sfc.keio.ac.jp/~sakai/d/?date=20050917
http://www.tom.sfc.keio.ac.jp/~sakai/d/?date=20060913