経験15年のOCaml ユーザーが Haskell を仕事で半年使ってみた - camlspotter’s blog
今の会社に移って半年経ちました。めでたく試用期間終了です。といっても別に試用期間中に密かに首を切られるような事をしたとか、逆に試用期間が終わったからと言ってこれで定年までのうのうと働ける、という訳ではありません。未来は全く判りません。まあとにかく、一つ区切りがやってきました。 金融を知らないQuantsの仕事 私の職業の肩書きには Quantitatitatitatitative という単語がくっついて超カッコよさそう。普通は Quant というと、金融工学や統計数理に詳しい夜もブイブイいわしている超イケメン20代を想像しますが、私は金融とか全然知らないアラフォーお父さんです。それでも Quant です。お願いですから、私に何を買ったらいいかとか、聞かないでください。金融商品とか買った事ないし。というか、逆に教えて欲しいです。 私のチームは、本当の Quant さん達が開発した、金融派生商
Lambda: the ultimate syntax-semantics interface
Spreadsheets and Matlab are popular because they let domain experts write down a problem in familiar terms and quickly play with potential solutions. Natural-language semanticists have a better tool. It displays truth conditions, infers types, simplifies terms, and computes yields. Its modularity facilities make it easy to try fragments out, scale them up, and abstract encoding details out of sema
jQueryは本当にモナドだった - Pixel Pedals of Tomakomai
タイトルはかなり釣りです:-) まあ、間違えているかもしれないので内容の判断は自己責任で。 さて、元ネタはこちらなのですが、独自のモナド節を唱えていて非常に怪しい。と言うことで、怪しくならないように真面目に解説してみます。 ちなみに、このエントリでは数学のモナドではなくHaskellのMonad、つまりKleisli Tripleとして説明します。 元記事のどこが怪しいのか 元記事では「流れるインタフェース」がbindであるかのように書いていますが、ここが怪しいと感じます。「流れるインタフェース」は単なる関数合成(haskelでいうg . f)であり、クライスリ結合ではないと思います。後述するように、bindが提供するクライスリ結合は、違う型同士をくっつけられるという奇妙な性質を持つ合成です。 元となる圏 DOMエレメントとjQueryオブジェクトのみを含む任意の集合を対象(Object)
Haskell: The Confusing Parts
Dear Reddit:This page is very much a work in progress, and not yet meant to be consumed by the general public. But now that there’s a thread going, feel free to make all kinds of comments about stuff I have or haven’t covered yet (syntactic or otherwise) and I’ll decide whether it belongs here. (Often as not, it does.) Also, this page will eventually move. If you’re used to the C family of languag
The Comonad.Reader » Iteratees, Parsec and Monoids (Slides)
I was asked to give two talks at the Boston Area Haskell User Group for this past Tuesday. The first was pitched at a more introductory level and the second was to go deeper into what I have been using monoids for lately. The first talk covers an introduction to the mathematical notion of a monoid, introduces some of the features of my Haskell monoids library on hackage, and starts to motivate the
Apple Push Notification Library for Haskell
I have been working with Apple’s Push Notification service recently and decided to make a library to send notifications with Haskell. It is very simple and has a few helpers to make notifications with an alert, sound, etc,. ApplePush Hackage ApplePush Documentation When using the library, you must use an SSL tunnel, because Haskell’s SSL support is incomplete. I use stunnel4, which works great, an
Point-Free style: What is it good for? | OJ's rants
If you’re not interested in what inspired this post, then skip this section and jump to the more interesting bits. A little bit of history… Recently I’ve been delving into Haskell quite a bit. It’s part of my apparently never-ending quest to learn as much as I can about as many languages as I can (well, those that appeal to me at least :)). While I love playing around with a language, toying with
Haskellには副作用がないのか？ - あどけない話
ある人は、Haskell には副作用がないと言う。また、別のある人は Haskell には副作用があると言う。Haskell を学ぶ者にとって、こういった意見の食い違いが、Haskell を得体の知れない言語にし、学習の障壁となっているかもしれない。そこで、この記事では、なぜこのような意見の相違が生まれるのかについて説明したいと思う。 向心力か遠心力か？ 僕は高校三年になって受験勉強をするまで、物理の運動方程式が得体の知れないものに思えていた。 例として円運動を考えよう。ある説明では、円運動をしている物体には向心力が働いていると説明されている。また別の説明では、遠心力が働くと説明されている。一体、どういうことだろう？ 受験勉強でたくさんの問題を解いて、ようやく分かった。これらの説明はどちらも正しい。すなわち、観測者がどこにいるかによって、説明の仕方が異なるのだと。 観測者が円運動をする物体
Smalltalk のクラスと Haskell の型クラスを比較します。 - 言語ゲーム
私は Haskell の一番すごい所は型クラスだと思っているんですが、ここ数日それを言葉にしようとずっと悩んでいました。結局、もう一つの好きな言語なSmalltalk と比較して型クラスがどういう物か書いてみる事にしました。 型クラスという名前について Smalltalk に染まってしまった人にとって、「型クラス」というのは最悪なネーミングです。あまりにも Smalltalk のクラスと違いすぎるからです。機能的には traits や Java のインタフェースから継承を除いた物と思ったら良いです。また、「継承」や「インスタンス」など、Smalltalk と Haskell 両方で使われる言葉はことごとく別ものと思った方が良いです。 型クラスの位置づけ Smalltalk をはじめとするオブジェクト指向言語の機能をそのまま Haskell で実現しようとすると最初はすごく戸惑います。日本語
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Galois › Blog › Blog » Concurrent Orchestration in Haskell
Joe Armstrong and Simon Peyton Jones discuss Erlang and Haskell
Generic Programming - Dutch HUG
http://ezyang.com/haskell.html
TS | Data61 | home.pml
The Comonad.Reader » Slides from Hac Phi: “All About Monoids”
Gmane -- Mail To News And Back Again
Cool Haskell Function – thanthese
N-Queens in a Tweet
mornfall.net
akrish » Blog Archive » Dynamic Programming in Haskell and why DP is useful