Adventures in functional programming with Ruby
The following is an aimless journey through a degenerate form of Ruby, in an effort to learn a bit more about functional programming, simplicity, and API design. Suppose that the only way we have to organize code in Ruby is to make lambdas, and the only way we have to structure data are arrays: square = ->(x) { x * x } square.(4) # => 16 person = ["Dave",:male] print_person = ->((name,gender)) { p
シーケント計算と例外処理コード - 檜山正幸のキマイラ飼育記 (はてなBlog)
先週の土曜に、「晩に渋谷でパスタの会：双対編」を開催しました。例外処理の話をする予定ではいたのですが、当日の朝になって突然シーケント計算と絡めようと思ってしまいました。ところが、シーケント計算の話は最後の15分くらい。ちょっと残念。 ここでは、(コ)パスタの会の文脈は特に仮定しないで、古典論理のシーケント計算が、プログラムの合成や変換と対応付けられることを説明します。包括的な説明ではなくて、二、三の例を出すだけですけどね。でも、その例に関しては詳しく説明します。 内容： とても重要な注意 シーケントと推論図 シーケントと推論図とは何なのか カリー／ハワード対応 例外処理のコードパターン 例外コンバーターをパラメータとする例外処理 どこかで見たような推論規則 それにしても不思議だ とても重要な注意 土曜の晩に、口汚く差別用語を使ってまで強調したことがあります。それは、圏の射を、プログラミング
javascript - λ表記をDSLに : 404 Blog Not Found
2010年10月02日05:00 カテゴリMathLightweight Languages javascript - λ表記をDSLに 計算論 計算可能性とラムダ計算 高橋正子 クロージャーがある言語には、λ演算がすでに含まれています。 が、たいていの場合、その言語の流儀で書かねばなりません。たとえばこんな風に。 var Z = function(f) { return (function(g) { return function(m) { return f(g(g))(m); }; })(function(g) { return function(m) { return f(g(g))(m); }; }) }; ふつーに Z := λf. (λx. f (λy. x x y)) (λx. f (λy. x x y)) と書けたらよいと思いませんか? λscript(笑) できるようにし
Math - 言語はどこまで小さくなれるか - (unlambda|iota|jot) のすすめ : 404 Blog Not Found
2010年09月27日07:00 カテゴリMathLightweight Languages Math - 言語はどこまで小さくなれるか - (unlambda|iota|jot) のすすめ To Mock a Mockingbird Raymond M. Smullyan [邦訳:数学パズル ものまね鳥をまねる] 「言語設計者たちが考えること」の言語設計者たちが考えた、複雑で豊穣な言語に日々触れていると、ときおりその逆も考えずにはいられません。 言語は、どこまで簡潔になりうるのか、と。 Brainf.ck considered too complicated 小さな言語の代表としては、Brainf.ckがあげられます。人前でいいづらいその名はとにかく、設計は実にエレガントなもので、Shibuya Perl Mongersの現代表の竹迫良範氏をして、 最もタメになる「初心者用言語」は Br
Refactoring Functional Programs
Refactoring is about `improving the design of existing code' and as such, it has been practised as long as programs have been written. The term refactoring specifically refers to a common activity in programming and software maintenance: changing the structure of a program without changing its semantics. Often, refactoring precedes a program modification or extension, bringing the program into a f
Haskell で Y コンビネータ - あどけない話
Haskell では、Y コンビネータが作れないと誤解している人がいるので、できることを示すと同時に、これまで学んだことをまとめてみます。 遅延評価を活かした Y コンビネータ 関数名を用いた再帰を使ってよいなら、Haskell では遅延評価のおかげで、Y コンビネータを定義である Y x = x (Y x) の通りに書けます。 y :: (a -> a) -> a y x = x (y x) Y コンビネータ用の階乗を定義してみましょう。 fact :: Num a => (a -> a) -> a -> a fact = \f n -> if n == 0 then 1 else n * f (n-1) 以下のように動きます。 y fact 4 → 24 でも、この階乗は Haskell っぽくないので、入り口で分岐するように書き直してみます。 fact :: Num a => (a
A Neighborhood of Infinity: Data and Codata
In Gödel, Escher, Bach, Hofstadter introduces the programming language Bloop. Bloop is a little like BASIC except that it forces programmers to specify in advance how many times each loop will iterate. As a result, Bloop programs have the handy property that they are guaranteed to terminate. Unfortunately this property also makes it impossible to write something like an operating system in Bloop.
Primitive recursive function - Wikipedia
In computability theory, a primitive recursive function is, roughly speaking, a function that can be computed by a computer program whose loops are all "for" loops (that is, an upper bound of the number of iterations of every loop can be determined before entering the loop). Primitive recursive functions form a strict subset of those general recursive functions that are also total functions. The i
Haskell/Continuation passing style - Wikibooks, open books for an open world
Continuation Passing Style (CPS for short) is a style of programming in which functions do not return values; rather, they pass control onto a continuation, which specifies what happens next. In this chapter, we are going to consider how that plays out in Haskell and, in particular, how CPS can be expressed with a monad. What are continuations?[edit | edit source] To dispel puzzlement, we will hav
遅延評価と末尾再帰と余再帰 - あどけない話
遅延評価では再帰の効率はどうなるかという問題です。Real World Haskell で、末尾再帰は重要だと言った後に、遅延評価では末尾再帰なんて気にするなとちゃぶ台を返しています。ようやく haskell-cafeで答えを見つけたので、Luke Palmer さんの許可を得て訳を公開します。 Luke Palmer さんの説明 私が Haskell でプログラミングするときは、通常関数を末尾再帰にはしません。(Int や Bool など)正格な値へ畳み込む場合、末尾再帰を使うのはよいことです。しかし帰納的な遅延構造を作成する場合、関係する用語は（私の記憶が正しければ）「余再帰」(corecursion)であり(訳注：mapは再帰かつ余再帰だそうですが、専門的すぎるので普通の再帰でいいと思います)、末尾再帰とはまったく異なります。 リストに対し末尾再帰で map する関数を例として考えま
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. Nontechnical explanation[edit] Types in a most general view can be associated to a designated use sugges
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
檜山正幸のキマイラ飼育記 - 圏論やモナドが、どうして文書処理やXMLと関係するのですか？
…という類＜たぐい＞の質問に答えるのはちょっと面倒なんですけど、とりあえず1つだけ具体例を挙げておきましょう。テンプレート処理が、もろにモナドになっている、ってハナシ。今回はテキスト処理について説明。次回（いつになるかまったく不明）はXML処理の予定。 テキスト処理だけでも長ーい説明（最長記録かも）なのだけど、分割すると“勢い”がなくなるから一挙掲載。読むときはユックリ・ジックリ読んでくださいね。プログラミング課題も、実際にコーディングしないまでも、「こうやればいいな」という方針くらいは考えてください。 ※印刷のときはサイドバーが消えます。 内容： ネストしたテキスト テンプレート処理 ブロック、文字列、名前 フラット・テキストとテンプレート・テキスト 多段階のテンプレート処理 蛇足 素材を整理しよう モナドに向かって突っ走れ！！ バッチリ、モナドだぜぇ 残りは脱兎のごとく 最後に言ってお
Haskell-style monad do-notation for Ruby
This domain has been purchased and parked by a customer of Loopia. Use LoopiaWHOIS to view the domain holder's public information. Are you the owner of the domain and want to get started? Login to Loopia Customer zone and actualize your plan. Register domains at Loopia Protect your company name, brands and ideas as domains at one of the largest domain providers in Scandinavia. Search available dom
モナドのすべて Haskell におけるモナドプログラミングの理論と実践に関する包括的ガイド
モナドのすべて Haskell におけるモナドプログラミングの理論と実践に関する包括的ガイド Version 1.1.0 このチュートリアルは、モナドの概念とその関数プログラミングにおける応用に ついて、初中級の Haskell プログラマにわかりやすく、利用価値があるような 解説をすることを旨としています。読者は Haskell になれていることを前提と しますが、モナドに関する経験は要求していません。このチュートリアルは、多 くの題材をカバーしています。後半のセクションでは、前半の題材をよく理解し ていることを前提とします。順をおって、モナドプログラミングを例示するため のサンプルコードがたくさん用意されています。一読で、すべての題材を吸収し ようというのはお勧めできません。 このチュートリアルは 3 つの部分で構成されています。最初の部分は、 関数プログラミングにおけるモナドの基本的
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
サービス終了のお知らせ
http://www.codecommit.com/blog/scala/what-is-hindley-milner-and-why-is-it-cool
サービス終了のお知らせ
http://www.tom.sfc.keio.ac.jp/~sakai/d/?date=20060423