畳み込み関数の比較 (fold / accumulate / inject / reduce) - blanket log
つーか、fold の弱点として、言語によって引数の順番がまちまちで、 正直憶えきれないってのがあるんだよな。誰か対応表とか作ってくれんもんか。 jijixi's diary - fold, map, for-each この中から一つ選ぶとしたらどれ？ 確かにいろいろとややこしいのでまとめてみました。 いくつかの言語について大雑把に表にすると次のような感じ。 言語 関数 Haskell, OCaml, Scheme, Erlang foldl* f init items C++ accumulate(begin, end, init, f) Ruby*, JavaScript items.inject(init, f) Python, Perl* reduce(f, items [, init]) 言語 畳み込む二項演算 Scheme(SRFI)*, Erlang f(item, acc)
Robert Harper's Home Page
Papers A verified cost analysis of joinable red-black trees. Runming Li, Harrison Grodin, and Robert Harper. October, 2023. Logical Relations for Session-Typed Concurrency. Stephanie Balzer, Farzaneh Derakhshan, Robert Harper, and Yue Yao. July 2023. Decalf: A Directed, Effectful Cost-Aware Logical Framework. Harrison Grodin, Robert Harper, Yue Niu, and Jonathan Sterling. July 2023. (Repository: D
Comparing Objective Caml and Standard ML
This page compares point-by-point the Objective Caml (OCaml) and Standard ML (SML) programming languages, the two main representatives of the ML programming language family. The comparison includes language design and current tool availability, as well as further social factors. This page isn't meant to be a complete comparison, but rather to highlight differences that might lead to choosing one l
なぜ次に学ぶ言語は関数型であるべきか - YAMAGUCHI::weblog
はじめに こんにちは、Python界の情弱です。ちょっと前にOCaml系のエントリを色々と眺めていたらYaron Minsky氏のエントリを見つけたので翻訳してみました。 OCaml for the Masses - ACM Queue Yaron Minsky氏はJane Streetで第一線で活躍されるエンジニアで、Jane Streetの技術ページをはじめ多くの場所でOCamlに関しての知見を語ってくださっています。 Jane Street Tech Blogs 本エントリはJohn Hughesの名エントリ「なぜ関数プログラミングは重要か」を受けてACM Queueに寄稿されたものの日本語訳です。 なぜ関数プログラミングは重要か Why the next language you learn should be functional YARON MINSKY, JANE STREE
エディンバラ大学の関数プログラミングの講義 | Webシステム開発／教育ソリューションのタイムインターメディア
さて、今日は、いつもとは違ったことを紹介しよう。 Haskellのプログラムをちょこちょこ紹介していたが、今日は、世界に飛び出してみよう。 つまり、日本以外、世界ではHaskellでどんなことをしているのだろうか。とくに、大学などで、Haskellをどのように教えているのか見てみよう。 まず、Haskellをやる以上、かならず見るべきサイトがある。 The Haskell Programming Language (www.haskell.org) うまく表示されないときは、新しいタブ・新しいウィンドウに表示させるようにしてみてください。 そして、いままで使ってきたのがGHCなのだが、このGはグラスゴー大学のGなのだ。 ということで、グラスゴー大学で探すと、Functional Programming Research at Glasgowがすぐに見つかったが、文字情報はいっぱいあるものの
関数型プログラミングを学ぶことの重要性 - Strategic Choice
Apply Functional Programming PrinciplesEdward Garson関数型プログラミングを学ぶことの重要性エドワード・ガーソンどういうこと？関数型プログラミングは、マルチコアとの相性の良さで再び脚光を浴びています。ただ、関数型プログラミングのパラダイムを十分に学ぶことの意義はそれだけではありません。その知識・技術は応用可能で、幅広く役に立ちます。どうして？特に重要なのが「参照透過性（referential transparency）」の考え方です。これは「関数がいつどこで呼び出されようと、入力が同じであれば、常に得られる結果が同じになる」ということを意味します。つまり、関数の評価結果が状態変化の副作用に左右されることがない、ということです。コードの品質を高く保つための「副作用のないプログラミング」を実現できます。この参照透過性を血肉となるくらい深く理解す
ProofCafe - 名古屋を中心に活動する定理証明器・関数型言語のコミュニティ
開催勉強会 ProofCafeではいくつかの勉強会を定期開催しています。 詳細は個別のページをご覧ください。 Coqを用いたプログラムの証明について勉強する勉強会です。 コーヒーを飲みながら楽しく証明しましょう。 TAPL-nagoya Types and Programming Laungages(通称TAPL)の読書会です。 ScalaやF#などの静的型付け言語の基礎になっている型理論について学びます。 休日カフェタイム, KCTNagoya 圏論に関する勉強会です。 どえりゃあ Haskell Haskellに関する勉強会です。 サービス Software Foundations(和訳) Benjamin C. Pierce氏による同名のテキストの和訳です。関数プ ログラミグやラムダ計算についてCoqによる実例を交えながら丁寧 に説明されています。 Cochin Coqの定理検索サー
Nemerle - Wikipedia
Nemerle（ネマール）は.NETプラットフォーム上で動作する静的型付けの高級言語である。 手続き型、オブジェクト指向、関数型言語の機能を取り込んだハイブリッド言語であり、C#によく似た構文構造と強力なメタプログラミング機能が特徴となっている。 Wrocław University（ポーランド）のKamil Skalski、Michał Moskal、Prof. Leszek Pacholski、Paweł Olsztaらによって開発された。 現在ではロシアの開発コミュニティであるRSDNによって開発・保守がされているが、2012年よりJetBrainsがコア開発者を雇用して、"N2" と呼ばれる新規・既存言語を実装するためのフレームワークの開発に注力している。[1][2][3] 特徴[編集] おそらくNemerleの最も重要な特徴は、オブジェクト指向プログラミングと関数型プログラミング
The Pure Programming Language
The Pure Programming Language http://pure-lang.sourceforge.net/ Pure is a functional programming language based on term rewriting. It has a modern syntax featuring curried function applications, lexical closures and equational definitions with pattern matching, and thus is somewhat similar to languages of the Haskell and ML variety. But Pure is also a very dynamic and reflective language, and is m
カリー化談義 - あどけない話
最近、スタートHaskellで「カリー化された関数のメリットは何か？」という質問が出た。そのすぐ後に、kmizuさんがカリー化の誤用に対して警鐘を鳴らしてしていた。僕からするとkmizuさんの「カリー化の定義」も誤用に思えたので、調べるとともに考えたことのまとめ。 いろんな定義 「カリー化する」という用語は、すくなくとも以下の3つの意味で使われているようだ。 部分適用という意味 これは明らかに間違い 「複数の引数を取る関数」を「一引数を取る関数のチェインに直す」こと これはkmizuさんの定義。世間でもよく使われる。 「構造体を一つ取る関数」を「構造体のメンバーを複数の引数にばらし、一引数を取る関数のチェインに直す」こと これは僕の定義。というか、Haskellコミュニティの定義。 「部分適用」の意味で使うのは明らかに間違いのなで排除。定義2と3について議論する。あとで、部分適用とは何かに
letとshadowing - F#マスターへの道
という表記でした。これを見たとき頭に浮かんだのは、僕が中学のとき触れた日立の「BasicMaster Jr.」というパソコンのBASICでした。この頃のBASICには、代入文にletを書く必要があったのです。その後、NECのPC-8801でのN88-BASICではletを必要としなくなったため、代入がletで始まるというのはまさに「ここまで戻らないといけないのか・・・・」という衝撃だったのです。 実際、BASICから始めてPASCAL、C、VB、C++、Javaという言語遍歴の僕にとって、関数型言語というのは「そこまで戻らないといけないもの」であったわけですが、このlet文の衝撃はその巻き戻しのスタート地点ともいえるものでした。正直、関数型言語になじむために必要な「頭の転換」に比べれば、構造化言語からオブジェクト指向への転換はほとんど誤差の範囲ではなかったかと思えるほどです。 ここでは、F
関数型プログラミングの今昔（仮）
函数プログラミングの集いで発表したスライド． 後半についての詳細を知りたい方には， Hudak らの A History of Haskell をお薦めします．Read less
函数プログラミングの集い 2012 in Tokyo - 言語ゲーム
函数プログラミングの集い に行ってきたのでメモ。 仕事で F# を使った bleis さん。 F# には独自のライブラリがあるので、.NET Framework 2.0 縛りでも楽にプログラミング出来る。 事例1: 手作業を自動化する Web アプリ。一ヶ月 PM + PG1 + 自分 「実践 F#」を教科書にして、「自分でループを書かない」「リストの後ろに追加しない」「null と None は違う」と鍛えた 事例2: 社内結合ツール 事例3: プロキシサーバー Azure 8000 行だった物が 1600 行に減った コードの行数がこんなに減ったというのはすごい。。。 関数型言語偏歴を語る kskmc さん。 「関数型言語を使ってはいけない」! 関数じゃ無いもの: 定義域 {1,2,3} 地域 {4,5,6} の時 F = {(1,4), (1,4), (2,5), (3,6)} 定義
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Functional False
Efficient data transfer through zero copy
NameBright - Coming Soon
Deprecating the Forge in 2017
関数型言語の基礎理論
Forthfreak wiki
Is Functional Programming possible in Java?
