Haskell のたった一つ、確実に優れているところ - camlspotter’s blog
それは、 偉大なるジョン・ハロップ師が既に去られた言語 その事に尽きる。師が興味を持たれた言語コミュニティーは荒れる。何故かは判らない。乱あるところすべからく師あり。師の去るところ平和あり。そう、Haskell は既に解放されたのだ。 OCaml も数年前は大いに荒れていたが、師が F#界にその活動拠点を移されてからは少し落ち着いてきた感がある。その分、F#界では今下克上の時代なのであろう。もちろん、今でも時々 「OCamlは F# の8倍遅い(8 core マシン上で)」という波が立つ事もあるが、そんな時には、師の息遣いを感じる事ができる。まだOCaml界には平和は訪れていないと感じる時だ。 Haskell は平和だと書いたが、やはり世の常である。全く平穏と言うわけでもない。時々愚かな若者が愚かな質問をする: It is a wonderful, very fast, mature an
think and error
ScalaMatsuriのアンカンファレンスで人類の4分の1くらいが困っているであろう問題について話して来ました。 スライド2日でなんとか錬成したはいいけどストーリー的にあまりScala感がなくて悩んでました。そういえばHaskell以外の話をしたのは久しぶりな気がします。 この管理画面問題、みんなどうしてるのかなーと以前から疑問でしたが、軽く聞いてみたところみんな困っていそうということがわかりました（つまり未解決）。 どうでもいいですがslideshareが日本語を表示しなくなった（そしてworkaroundめんどい）のでspeakerdeckに上げました。slideshare何が起こったの。 speakerdeck.com Q&A (うろ覚え+回答いくらか追加) Q1. OSSにしないの? するかもしれないですがやりたいことがまだ完成してないかつそれ入れると綺麗に切れるか微妙（ここで話
Dealing with binary data - HaskellWiki
Handling Binary Data with Haskell Many programming problems call for the use of binary formats for compactness, ease-of-use, compatibility or speed. This page quickly covers some common libraries for handling binary data in Haskell. Bytestrings Everything else in this tutorial will be based on bytestrings. Normal Haskell String types are linked lists of 32-bit characters. This has a number of usef
準同型写像に関する定理 [物理のかぎしっぽ]
群 が群 の上へ準同型写像で移されるときの核を とします．そして，この写像によって， の元 が に移されるとします．しかし，逆に に対応する の元が だけとは限りません(全射の図を思い出してください)． に移される元だけを集めると，この集合は の による剰余類 に等しい，という性質があります． theorem 群 の群 の上への準同型写像の核を とします．また，この写像によって， の元 は に移されるとします．このとき， に移される の元の集合は， です． proof 二つの元 がともに に移されるとします． ．このとき，準同型写像によって逆元は逆元に移されることを使って が言えます．よって定義より が分かりますから，両辺に を掛けて が言えます．■
代数的データ型と準同型写像 - プログラムモグモグ
最近考えていることを述べます. 代数的構造と準同型写像に関する考察です. 特に必要な知識は無いつもりですが, Haskellのコードを読めると嬉しいです. import Prelude hiding 以下のものを隠しておいて下さい. import Prelude hiding ((+), (++), length, True, False, Bool) 自然数とリストの定義 まず, 自然数(非負整数)とリストの定義からスタートします. data Nat = Zero | Succ Nat deriving (Show, Eq) 自然数はこんな感じです. ペアノの公理ですね. ここでは, 表示できるようにShowクラスのインスタンスとして自動導出しています. 更に, 同値であるか調べられる, という意味で, Eqクラスの自動導出もしています. ここで注意していただきたいのは, 名前が重要では
準同型 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "準同型" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2015年10月) 代数学において、二つの代数系が準同型（じゅんどうけい、homomorphic）であるとは、それらの間に数学的構造を保つ写像である準同型写像（じゅんどうけいしゃぞう、homomorphism) があることを意味する。 構造がまったく同じであることを表すときは、代わりに同型（どうけい、isomorphic）および同型写像（どうけいしゃぞう、isomorphism）という術語を用いる。 構造により、等長・等距、同相や射型などといった特定の術語が用いられることがある。
ヒビルテ(2009-07-05)
λ. “Referential transparency, definiteness and unfoldability” by Harald Søndergaard and Peter Sestoft Chatonのhaskell-jpルームで2009-07-03と2009-07-04にあった、参照透明性と副作用の定義に関わる話で出てきた論文。積読論文の中にあったので読んでみた。 参照透明性(referential transparency)はQuineによって考えられた概念で、LandinとStracheyによってプログラミング言語の性質として使われるようになった。が、その定義・使われ方は変化しており、それらは同値ではないという話。 それらを、この論文での呼び方で呼ぶと以下のような感じ。 確定性 (definiteness) 変数がそのスコープの中で単一の値を持つこと。xを変数とすると
Escape from the ivory tower The Haskell journey
Escape from the ivory tower The Haskell journey Simon Peyton Jones, Microsoft Research 1976-80 John and Simon go to university Early days of microprocessors 4kbytes is a lot of memory Cambridge University has one (1) computer The late 1970s, early 1980s SK combinators, graph reduction (Turner) e.g. (\x. x+x) 5 = S (S (K +) I) I 5 Lambda the Ultimate (Steele, Sussman) Backus Turing Award 1977 John
すごいHaskellたのしく裏話！
すごいHaskellたのしく裏話！ 田中英行 tanaka.hideyuki@gmail.com 2012-05-26 @Haskell Day 2012 自己紹介田中英行 (たなか ひでゆき)@tanakhhttp://tanakh.jp/(株)Preferred Infrastracture勤務 Haskell愛好家Haskell10年目英語が好きじゃない 祝・発売！ おかげさまで…好調に売れているようです > m(´･_･`)m ※略称についてAmazonのおすすめメールが元ネタらしい 本書についてLearn you a Haskell for Great Good! の和訳 原著についてもともと三年ほど前にWebで公開されている入門記事それが昨年に書籍化好評だったみたいhttp://www.reddit.com/r/programming/comments/77qxx/learn_
GTALib
This package provides the core functionalities of the GTA (Generate, Test, and Aggregate) programming framework on Haskell (c.f., Kento Emoto, Sebastian Fischer, Zhenjiang Hu: Generate, Test, and Aggregate - A Calculation-based Framework for Systematic Parallel Programming with MapReduce. ESOP 2012: 254-273. The authors' version is available at http://www.ipl-lab.org/~emoto/ESOP2012.pdf). Example
HaskellでRSpec的なテストができるhspecを試してみた話 - Fujimura
最近Haskellを書いてます。色々良くて、気がついたら本当に好きになってきた感があります。 さてRubyが母語の僕としてはどうしてもテスト事情が気になります。 今のところ、Haskellでは型をしっかり定義できていればある程度のテストは済んでいるという認識です。なにしろ型の制約が想像以上にリッチなので、コンパイルできればほぼ間違いなく全パス動作してくれます。 もちろんそれだけでは十分ではなくて、実際の演算が正しいかどうかは検査する必要があります。あといわゆるAcceptance Test的な粒度のテストも行いたいです。となると、書きなれたRSpecに似たものを探してしまいます。 御多分にもれずHaskellにもhspecというRSpecクローンがあったので、ちょっと試してみました。 コードの前に欠点を挙げておきます。 マッチャーが無いsetup/teardownが無いIOをテストしようと
YBlog - Haskell web programming
update: updated for Yesod 1.2 tl;dr: A simple Yesod tutorial. Yesod is a Haskell web framework. You shouldn’t need to know Haskell. Its efficiency (see Snap Benchmark & Warp Benchmark1). Haskell is an order of magnitude faster than interpreted languages like Ruby and Python2. Haskell is a high level language that makes it harder to shoot yourself in the foot than C, C++ or Java, for example. One o
はてなグループの終了日を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
Act as Professional |
プログラマは1日のほとんどを座った状態で生活している人がほとんどではないでしょうか？ この「座りすぎ」の毎日は病気のリスクを高くすることが明かになっています。 座りすぎは病気のリスクを高める この「座りすぎ」の生活は2型糖尿病、心血管疾...
ghcmod.vim と Unite hoogle の組み合わせ - eagletmt's blog
ghcmod.vim でカーソル位置の型を得ることができるため、これを Unite hoogle の入力としてみると便利そうだと思った。 例えば ~/.vim/ftplugin/haskell.vim に nnoremap <buffer> <silent> <Space>o :<C-u>call <SID>unite_hoogle_type()<CR> function! s:unite_hoogle_type() let [_, l:type] = ghcmod#type() call ghcmod#type_clear() call unite#start(['hoogle'], { 'input': l:type }) endfunction を追加する。 すると、よくわからない位置に undefined を書いてとりあえずコンパイルは通る状態にした後、 http://cache.
unite-haddock 書いた - EAGLE 雑記
http://d.hatena.ne.jp/kitokitoki/20111217/p1 の「ghc-browse-document の anything 化」が便利っぽかったので同じようなものを書いた． https://github.com/eagletmt/unite-haddock ghc-mod が必要．cabal install ghc-mod でインストールできる．Vim 内での $PATH に Cabal の bindir *1 が含まれていることも確認しておくこと． :Unite haddock でモジュールの一覧が表示され，unite.vim のインターフェイスで選択できる． デフォルトのアクション (browse_local) ではローカルのドキュメントを開く．ちなみにローカルなドキュメントは，cabal-install でパッケージをインストールする際に --enab
Gordon Freeman | Uncyclopedia | FANDOM powered by Wikia
Early LifeEdit In the year 1302 A.C., Demi Moore gave birth to Freeman. It is said that Gordon Freeman's father is in fact the deity Morgan Freeman, although Gordon actively denies both claims, but it was difficult saying he cannot talk. It was a virgin pregnancy, and the birth of Freeman is often compared to that of Jesus. However, the clearest distinction between the two was drawn by Gordon hims
Google Sites: Sign-in
Not your computer? Use a private browsing window to sign in. Learn more about using Guest mode
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Official Google Research Blog: Extra, Extra - Read All About It: Nearly All Binary Searches and Mergesorts are Broken
Why is Haskell used so little in the industry? - Stack Overflow
Vim-users.jp - Hack #211: Haskellでimportするモジュールや関数をその場で調べつつ入力する