Simon Peyton-Jones - Microsoft Research
Reddit - The heart of the internet
The Haskell programming language community. Daily news and info about all things Haskell related: practical stuff, theory, types, libraries, jobs, patches, releases, events and conferences and more... ICFP 2010 papers are in ACM DL, but not freely available. The program is here: http://www.icfpconference.org/icfp2010/program.html And a (growing) list of freely available pre-prints: Monday Keynote:
Sunwin – Tải Sun Win Game Bài Đổi Thưởng Mới Nhất 2025
Sunwin – Game Bài Đổi Thưởng TOP 1 | Link Tải Sun Win 2025 Sunwin là một trong những cổng game bài đổi thưởng uy tín và được nhiều người chơi yêu thích nhất hiện nay. Nền tảng cung cấp đầy đủ các thể loại game hấp dẫn như tài xỉu, xóc đĩa, tiến lên, mậu binh, xì dách, phỏm, liêng và hàng loạt game quay hũ đổi thưởng mới nhất. Sun Win được đánh giá cao nhờ tốc độ nạp rút nhanh, tỷ lệ trả thưởng hấp
The Santa Claus Problem
The Santa Claus Problem Simon Peyton Jones, in "Beautiful Concurrency", [1] a chapter of Beautiful Code, presents the Santa Claus problem and a solution: A well-known example is the so-called Santa Claus problem, originally attributed to Trono: [2] Santa repeatedly sleeps until wakened by either all of his nine reindeer, back from their holidays, or by a group of three of his ten elves. If awakene
Philip Wadler's home page
Projects Interested in applying for a PhD or Internship? Verifying smart contracts for Blockchain Funded PhD post. (No longer available; filled by Tudor Ferariu.) From Data Types to Session Types: A Basis for Concurrency and Distribution, an EPSRC Programme Grant, joint with Simon Gay, Glasgow, and Nobuko Yoshida, Imperial. TypeScript: The Next Generation funded by a Microsoft Research PhD Scholar
Haskell Programming
Finally we see the agreement with our expectations. Iterative deepening now needs only 2MB (down from 56MB in the first try) to compute the first 100 Pythagorean triples. We may now try bigger searches. We have seen that lazy evaluation is a trade-off, which may be hurtful in some cases, in particular, in search problems over huge data structures, where it is often beneficial to recompute the resu
第9回 Haskellはなぜ遅いと思われているのか
前回は遅延評価の仕組みについて説明しました。今回は前回の知識をもとに，遅延評価の効率について検討していきたいと思います。 遅延評価のほうが速くなる場合 遅延評価の利点は，これまで何度も説明してきたように，無駄な計算を省けるところにあります。 (\x -> fst (sum x, product x)) [0..5]という式について考えてみましょう。sumとproductはいずれもPreludeの関数で，有限リストの数字を「足し合わせる関数」と「掛け合わせる関数」です（参考リンク）。この式は，先行評価ではこのように簡約されます。 先行評価 (\x -> fst (sum x, product x)) [0..5] => (\x -> fst (sum x, product x)) [0,1,2,3,4,5] => fst (sum [0,1,2,3,4,5], product [0,1,2,
Parser Combinatorというもの(その2) - 純粋関数型雑記帳
このページにはいわゆる解説記事を載せるつもりは無かったのだが、 (たいていは他にもっとうまい説明のページがあるだろうから…) どうやらこれがそうなってしまいそうである。 もっとまともな解説は http://sky.zero.ad.jp/~zaa54437/programming/clean/CleanBook/part2/Chap5.html こちらをどうぞ。(って人のページなんだけどな…) 概要 パーザコンビネータはプリミティブパーザと パーザ同士を組み合わせるコンビネータとからなる。 小さいパーザを組み立てて最終的なパーザを作り上げるのである。 パーザ パーザはいろいろなものが考えられるが、 ここでは単純に、文字列を引数にとり、 解析したもの+残りの文字列を返す関数であるとする。 type Parser a = String -> (a,String) Stringもパラメータ化すると
2004-07-30
実は昨日の話題はこれから書こうとする話とつながりがあるのだ。 (直接的には無いけど) (序) 突然であるが、Haskellは文字列処理が強力だと思う。 それも最強レベルに。 他のいわゆる文字列処理が得意であるとされる言語のように 正規表現による置換が可能であるとか、文字列がオブジェクトで 有用なメソッドがたくさん使えるとかそういった 小手先のものではなくてもっと根本的なレベルで強力なのである。 それはHaskellに於いて文字列が文字のリストであらわされていることに 起因する。わからない人から見ると文字列がリストであるということは Cにおいて文字列が配列で表されているのとかぶるかもしれない。 Haskellが文字列をリストとして持っていてうれしいというのは Haskellが全言語中でもほとんど最強のリスト操作能力を持っているからである。 Cで文字列が配列になっていても何もうれしくないのは、
d.y.d.おもしろいみろん
13:33 08/06/29 RSS of kmonos/wlog moved! http://www.kmonos.net/wlog/index.rdf いや、移動したのは15ヶ月前なので、すでにご存じの方は華麗にスルーしてください。 「ここのRSSが文字化けしてるよー」という方だけ、↑に登録変更していただけると、 直るかと思います。お手数おかけしてスミマセン。定期的に「文字化けってる」という 指摘を見かけるので再度ブロードキャストです。こう、辛辣な評議会とかで怒られそうですけど、 諸般の事情により古い方からリダイレクトかけるの難しいらしいのだよね… それはそうと、昨日の記事に追記しました。 10:26 08/06/28 Logic ∩ CS 検索してたらたまたまヒットした "On the Unusual Effectiveness of Logic in Computer Scienc
haskell.indd
46 8 2005 8 930 50 25 10 5 1 1 1 type Amount = Integer type Coin = Integer type Count = Integer -- cc :: Amount -> [Coin] -> Count cc 0 _ = 1 -- 0 1 cc _ [] = 0 -- 0 cc a ccs@(c:cs) | a < 0 = 0 -- 0 0 | otherwise = cc (a-c) ccs -- + cc a cs -- ccs@(c:cs) c:cs ccs cc.hs 1 % ghci -v0 cc.hs *Main> :set +s *Main> cc 100 [50,25,10,5,1] 292 (0.05 secs, 1264564 bytes) -v0 ghci :set +s 292 -1 cc 11 nobsun
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Not a HAppS Tutorial
Happstack - A Haskell Web Framework index.html
Bulletproofing HAppS
[Haskell] Announce: Haskell ACID Relational DBMS v0.1
Pure and simple transaction memories
[FAQ]Haskellには副作用があるのか、ないのか![[FAQ]Haskellには副作用があるのか、ないのか](https://cdn-ak-scissors.b.st-hatena.com/image/square/e8b5f753587db45b02829cec4e07adc72278f3df/height=288;version=1;width=512/https%3A%2F%2Fs.tgstc.com%2Fogp3%2Fc0d19d917305257561516bc192e7eb90-1200x630.jpeg)
http://www.tom.sfc.keio.ac.jp/~sakai/d/?date=20091106
http://atnd.org/events/451
はてなブログ | 無料ブログを作成しよう