Railway oriented programming | F# for fun and profit
UPDATE: Slides and video from a more comprehensive presentation available here (and if you understand the Either monad, read this first!). UPDATE 2: This is one of my most popular posts, and it is a useful approach to error handling, but please don’t overuse the idea! See my post on “Against Railway-Oriented Programming”. In the previous post, we saw how a use case could be broken into steps, and
Railway Oriented Programming | F# for fun and profit
Slides and videos explaining a functional approach to error handling This page contains links to the slides and code from my talk “Railway Oriented Programming”. Here’s the blurb for the talk: Many examples in functional programming assume that you are always on the “happy path”. But to create a robust real world application you must deal with validation, logging, network and service errors, and o
実例によるPureScript
本書の内容についての注意事項この翻訳の原著である "PureScript by Example" は現在更新が途絶えており、この翻訳も古い内容のままになっています。そのため、本書の内容は最新の言語仕様に沿っておらず、サンプルプログラムの多くは最新の処理系ではコンパイルすることができません。変更のない部分については本書の内容も参考になりますが、もし本書を読み進める場合には十分ご注意ください。最新の情報については、purescript/documentation (英語) などを参考にしてください。 目次 はじめに 開発環境の準備 関数とレコード 再帰、マップ、畳み込み パターン照合 型クラス Applicativeによる検証 Effモナド キャンバスグラフィックス 外部関数インタフェース モナドの探求 コールバック地獄 テストの自動生成 領域特化言語 そのほかのフォーマット 原書(英語) 原
蒸し返し： アドホック多相 vs パラメトリック多相 - 檜山正幸のキマイラ飼育記 (はてなBlog)
一年ほど前に「「アドホック多相 vs パラメトリック多相」をマジメに考えてはいけない」という記事を書きました。多相性を二種類に分類できるわけではなくて、パラメトリック性（あるいはアドホック性）はしょせん程度問題だ、という話です。「関数定義がひとつで済む多相はパラメトリック多相」なんていう曖昧な定義はあまり意味がありません。 しょせん程度問題だとすると、その“程度”を測って比較したいとは思います。「「アドホック多相 vs パラメトリック多相」をマジメに考えてはいけない // それでもマジメに考えたいのなら」に次のように書きました。 多相関数を自然変換として定式化して、自然変換のあいだの関係をアドホック性を計る尺度に用います。実際、いくつかの方法で自然変換のあいだの順序を定義できます。その順序は、アドホック性の程度とみなせます。 上記の方法でパラメトリック性（アドホック性）を実際に測って比較し
Wadler: Monads
Monads, Arrows, and Idioms Philip Wadler The arrow calculus Sam Lindley, Philip Wadler, and Jeremy Yalloop, Journal of Functional Programming 20(1):51&em;69, 2010. We introduce the arrow calculus, a metalanguage for manipulating Hughes’s arrows with close relations both to Moggi’s metalanguage for monads and to Paterson’s arrow notation. Arrows are classically defined by extending lambda calculus
Freeモナドのしくみ - Qiita
Freeは、Functorを受け取ってMonadをつくることができるモナドです。 Freeのデータ型の定義は以下です。 よくわからない再帰的な定義がされていますね。初見で読めたらすごいと思います。 この記事では、上の定義のようなFreeがどのようにMonadをつくるかを見ていきます。 次のような順で説明していきます。 PureScriptの予備知識と用語説明 ListについてFunctor / Monadを実装する Free fについて、同じようにFunctor / Monadを実装する Free fだけでなく、Freeそれ自体もモナドではあるんですが、1つ高いレイヤー(誤魔化した言い方)でのモナドなのでこの記事では触れません。 PureScriptの型システムでは表現できないですしね。 忙しい人のためのFree この記事で説明したいことをひとことで言うと、 Pureがpure、Freeが
Lazy K プログラムを書く - Qiita
Lazy K プログラムを書く 難読プログラミング言語 Lazy K でプログラムを書いてみたので、その時に学 んだことなどを記録しておきます。 λ計算を使いますが、紹介するので知らなくても読めます。 前提知識 関数型プログラミングの基本的なアイデア (再帰、無名関数、高階関数など) λ計算超入門 λ計算 is 何 Lazy K を理解するためには、λ計算を知っている必要があります。 λ計算は、簡単に言えば「めちゃめちゃシンプルな関数型言語」です。シンプ ルすぎるので整数型もなければリスト型もありませんが、それでも十分な計算 能力があることが証明されています (あとでその片鱗を見ていきます)。 λ計算はそのシンプルさのために数学的に扱いやすく、プログラミング言語と しては実用性がないものの、理論面の研究で利用されます。 λ計算の構文 λ計算にあるのは１引数の無名関数と関数呼び出しの２つだけ
Eugenio Moggi - Wikipedia
Eugenio Moggi is a professor of computer science at the University of Genoa, Italy. He first described the general use of monads to structure programs.[1] Academic qualifications: PhD in Computer Science, University of Edinburgh 1988[2] Laurea in Computer Science, University of Pisa 1983 Diploma, Scuola Normale Superiore di Pisa 1983
高階ことりちゃんと学ぶSKIコンビネータ
ことり: ねぇ、この前ね、λ式はみんなこんな感じの関数“S”と“K”だけで表現できるって聞いたんだけど、本当?
What's new in purely functional data structures since Okasaki?
Since Chris Okasaki's 1998 book "Purely functional data structures", I haven't seen too many new exciting purely functional data structures appear; I can name just a few: IntMap (also invented by Okasaki in 1998, but not present in that book) Finger trees (and their generalization over monoids) There are also some interesting ways of implementing already known datastructures, such as using "nested
クロージャやラムダ式を理解していない組込エンジニアが関数型言語を理解するチャレンジングな4冊(+6冊+α) - ひつじのにっき
手続き型言語を主なフィールドとして頑張ってきた組み込みエンジニアが関数型言語に興味を持ったので相談したら以下の4冊（+6冊）の本を薦められました。順次読んでいきます。多分にチョイスが偏ってます（ので、随時補正を取り込んで下に追記してます。初出は6冊だったのですが現時点で10冊。お好みでどうぞ。一部はWebで公開されていると教えていただいたのでリンクを足しておきました。一夜明けて、さらに参考文献が沢山きたので追記しました）。 ただ全ての本を連続的に読むことでタイトルのように関数型言語がわかった！みたいな意味を成すかはわかりません（しばらくまって結果を見たほうが参考になるはずです）。1冊か章の区切りかでまとめていくので一緒に読んでくれたりお勧めの本を教えてくれたり、誤った理解をなおしてくれると更に喜びます。とりあえず全部買ったので今からスタートです （追記：関数型言語、という入り口から入るなら
ラムダ計算で代数的データ型を表現する方法 - @syamino はてなダイアリー
ラムダ計算でEither Either型の値をパターンマッチする状況を考えます。 「データコンストラクタのパターンマッチ」は，下図のようにしてラムダ計算で表現できます。 ラムダ計算でBool 今度は，Bool型の値をパターンマッチする状況を考えます。 TrueやFalseには引数が無いので，(3)や(4)はλで囲みません。 パターンマッチ = 「データコンストラクタを他の関数に置き換えること」 パターンマッチによって，Leftがlに置き換わります。以下同様です。 「データコンストラクタを置き換える」という概念について，もう少し詳しく考えていきます。 データコンストラクタの置き換え方は2種類ある リストのような再帰的なデータ型では，データコンストラクタの置き換え方が2種類あります。 data List a = Cons a (List a) | Nil (1) 全てのデータコンストラクタを置
俺様言語 Lazy を作る。番外編。Yコンビネータ。 - 言語ゲーム
Y コンビネータとは何か？ あなたはどんな言葉でも使う事が出来ます。しかし、知らない言葉を使う時は、今まで知っている言葉で説明できなくてはなりません。 例えば、「カニ」と「コロッケ」と「クリーム」だけを知っている時、あなたは「カニクリームコロッケ」について語る事が出来ます。「『カニクリームコロッケ』とは、『カニ』の味のする『クリーム』の入った『コロッケ』である。」しかし、「かぼちゃコロッケ」については語る事は出来ません。なぜなら「かぼちゃ」について何も知らないからです。 さてここで問題。「皮」や「剥いだ物」について知っている時、次の説明は適当でしょうか？「『タマネギ』とは、『タマネギ』の『皮』を剥いた物である。」私たちは、タマネギの皮を剥いてもタマネギである事を知っています。しかし、タマネギを説明するのにタマネギを話題に出しても良いものでしょうか？インチキ臭い感じがしませんか？こういうのを
Type inference - Wikipedia
Type inference, sometimes called type reconstruction,[1]: 320 refers to the automatic detection of the type of an expression in a formal language. These include programming languages and mathematical type systems, but also natural languages in some branches of computer science and linguistics. In a typed language, a term's type determines the ways it can and cannot be used in that language. For e
Memoise
Memoi[sz]e、Memoi[sz]ation、メモ化の話題 メモ化ってなぁに？関数のメモ化memoise は特殊な ($) かも？Memo モジュール実装を共有する魔法 メモ化ってなぁに？ フィボナッチ関数を考えてみよう、定義は fib 0 = 0 fib 1 = 1 fib n = fib (n-1) + fib (n-2) これを使って、fib 7 を計算すると fib 7 -- fib 6 -- fib 5 -- fib 4 -- fib 3 -- fib 2 -- fib 1 -- 1 | | | | | | | | | | | fib 0 -- 0 | | | | | | | | | fib 1 -- 1 | | | | | | | fib 2 -- fib 1 -- 1 | | | | | | | fib 0 -- 0 | | | | | fib 3
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
https://github.com/kazu-yamamoto/recursion-drill/blob/master/README.md
自然変換 関手 F ,G
Waitrose.com Support
Functional Javaの紹介
サービス終了のお知らせ