Haskell入門 | haskell

2019/03/22 195 users content Haskell 言語 従来 関数型言語

Skip to the content. Haskell入門 従来の言語では問題を部分化する方法について概念的な限界がいくつかある。関数型言語はこれらの限界を押し広げるも のである。 なぜ関数プログラミングは重要か 関数プログラミングを習得するには，これまで命令プログラミングで培った技術はいったん忘れ，真っ白な気持ちで臨む必要... 続きを読む

「なぜ関数プログラミングは重要か」を要約してみた（その１） - Okapies' Archive

2015/12/06 189 users QuickCheck Okapies archive 利点

2015-12-07 「なぜ関数プログラミングは重要か」を要約してみた（その１） Programming Scala 関数型プログラミング (functional programming) の利点を説く際によく持ち出されるのが、QuickCheck の開発者の一人である John Hughes が 1984 年に著した論文 "Why Functional Programming Matters" ... 続きを読む

『プログラミングの基礎』読書日誌-１９日目- - akimachoのはてなブログ

2015/08/05 50 users OCaml プログラミング ａｃｃｕｍｕｌａｔｏｒ 基礎 引数

2015-03-19 『プログラミングの基礎』読書日誌-１９日目- OCaml 読書 関数プログラミング プログラム はじめに 今回は，第１６章 情報の蓄積です．この章をもって，一区切りになります． アキュムレータ アキュムレータ（accumulator）とは，欠落している情報を補うために導入される引数のことをいいます．各辞書を尋ねてみると以下のような意味のようです．ウィズダム英和辞典によると， ... 続きを読む

第1章　関数プログラミングは難しくない！―初めて学ぶ人にも，挫折した人にもきちんとわかる｜gihyo.jp … 技術評論社

2015/06/15 310 users gihyo.jp 技術評論社

続きを読む

分散システム処理モデルに関する動向について（MapReduceからBorgまで） - Yahoo! JAPAN Tech Blog

2015/06/10 497 users Borg MapReduce モデル 特徴 以下

詳細については後述しますが、MapReduceの処理モデルは、上記の通り各区分ごとにそれぞれ単純化（限定）されたモデルであったと言えます。 また、MapReduceの関数プログラミングおよびグラフ的な特徴も合わせて以下に整理してみます。 関数プログラミング的な特徴 MapおよびReduceフェーズは、それぞれ関数型プログラミングのMapおよびReduce処理をモデル化したものです。MapReduc... 続きを読む

【長編ポエム】関数型言語が分からんお前でもPythonなら分かるやろ：第2回 関数を生成する関数はすごいよ編 - Qiita

2015/05/28 123 users 高階関数 Qiita Java PHP 執筆動機

はじめに これは、関数型プログラミングの特徴を Python で説明した長編ポエムです。 Python を知らなくてもなんとなく分かるように書いたので、PHP や Java や JavaScript の人も読んでみてください。 【ゴール】 「なぜ関数プログラミングは重要か」という文章で重要とされている「高階関数」と「遅延評価」について理解してもらうこと (遅延評価の説明は次回) 【執筆動機】 関数... 続きを読む

第5章　パーサコンビネータ―小さなパーサを組み合わせて大きなパーサを作る：［入門］関数プログラミング―質の高いコードをすばやく直感的に書ける！｜gihyo.jp … 技術評論社

2015/03/06 51 users パーザ パーサコンビネータ 至宝 gihyo.jp 入門

この章では，関数型の至宝であるコンビネータライブラリについて説明します。 コンビネータとは何か？ この章でいうコンビネータとは，ある型の部品と部品を組み合わせて，同じ型のより大きな部品を作るための関数のことです。たとえば，パーサのコンビネータライブラリは，パーサを組み合わせるための各種コンビネータを提供しており，簡単にパーサを作成できます。コンビネータライブラリは，言語内DSL（Domain Sp... 続きを読む

第1章　関数プログラミングは難しくない！―初めて学ぶ人にも，挫折した人にもきちんとわかる：［入門］関数プログラミング―質の高いコードをすばやく直感的に書ける！｜gihyo.jp … 技

2015/03/02 310 users gihyo.jp 入門 プログラマ 高いコード 関数型言語

gihyo.jp » DEVELOPER STAGE » 特集 » ［入門］関数プログラミング―質の高いコードをすばやく直感的に書ける！ » 第1章　関数プログラミングは難しくない！―初めて学ぶ人にも，挫折した人にもきちんとわかる マルチコア環境が身近になった影響からか，勉強熱心なプログラマの間で関数型言語が話題になっているようです。関数型言語が奨励する関数プログラミングでは，これまで命令型言語で... 続きを読む

［入門］関数プログラミング―質の高いコードをすばやく直感的に書ける！：特集｜gihyo.jp … 技術評論社

2015/03/02 161 users 関数 山本和彦 パク gihyo.jp 入門

山本和彦 近年，関数型言語が注目を集めています。小さな関数を使って大きな関数を組み立てるスタイルは，バグが入り込みにくくなったり，コードを直感的に書けたりなどたくさんのメリットがあります。しかし，命令型言語とは考え方が異なる部分が多く，「関数プログラミングは難しい」と感じる人も多いようです。本特集では，これから始める人，そしてこれまで学ぼうとして挫折した経験がある人のために，関数プログラミングを理... 続きを読む

JavaScript - 彡(ﾟ)(ﾟ) FRP・・・？　関数プログラミング・・・？ - Qiita

2015/01/04 87 users Qiita FRP JavaScript

彡(ﾟ)(ﾟ) データバインド・・・データフロープログラミング・・・ 彡(^)(^) なんや面白そうやんけ　さっそくやってみるで ｶﾁｬｶﾁｬ... var hoge = [0]; hoge .map(function(v){ setTimeout(function(){ return v * 2; }, 1); }) .map(function(v){ console.log(v); }); /... 続きを読む

マイクロサービスのための Tumblr 製フレームワーク "Colossus" - Okapies' Archive

2014/12/15 79 users tumblr Okapies Scala OSS 珠玉

2014-12-15 マイクロサービスのための Tumblr 製フレームワーク "Colossus" この記事は Scala Advent Calendar 2014 の 15 日目です。昨日は id:qtamaki さんの”「関数プログラミング 珠玉のアルゴリズムデザイン」をScalaで実装してみる”でした。 今日は、先日に Tumblr が OSS 化を発表した Scala 製のノンブロッキン... 続きを読む

関数プログラミング 珠玉のアルゴリズムデザイン

2014/11/18 50 users 珠玉 アルゴリズムデザイン algorithm オーム社 文字

このサイトについて このサイトは2014年11月にオーム社より発刊されました『関数プログラミング 珠玉のアルゴリズムデザイン』を楽しむためのサポートサイトです． 原書カバーの Puzzle no. 234 は ALGORITHM の 9 文字を使った Sudoku パズルになっています． 関連記事 読書メモなどを書いていただいた記事など，見つけたもの，教えてもらったもの． 【随時追記予定】読書メモ... 続きを読む

『関数プログラミング 珠玉のアルゴリズムデザイン』が発売されます！ - オーム社開発部

2014/11/05 319 users 珠玉 アルゴリズムデザイン 鹿野 オーム社開発部 プログラマ

鹿野です。「珠玉」という言葉を目にして、ジョン・ベントリーの『珠玉のプログラミング』という本を思い浮かべるプログラマの方は少なくないでしょう。『珠玉のプログラミング』は、 "Communications of the ACM" に連載されていた名コラム "Programing Pearls" を一冊の書籍としてまとめたものでした。 ところで関数プログラミングに興味がある方の多くは、いろいろ調べてい... 続きを読む

O'Reilly Japan - Haskellによる並列・並行プログラミング

2014/08/05 128 users Haskell 核心 プログラマ 根底 本書

並列・並行プログラミングはプログラマの重要な関心事であり、常に注目を集めている話題です。これまで、関数型言語は並列・並行プログラミングに有利であると言われてきましたが、それを説明する書籍はありませんでした。本書では、純粋関数型言語Haskellが提供する並列・並行プログラミングの機能を俯瞰し、実践的な問題を解いていきます。その根底にある考え方は、関数プログラミングの核心であるモジュラリティです。ま... 続きを読む

Conceptual Contexture: 関数プログラミングのボトルネックとしてのRDBMS

2013/09/18 133 users タール RDBMS 神話 ボトルネック モジュール性

2013年9月18日水曜日 関数プログラミングのボトルネックとしてのRDBMS プログラム開発は、多くの人々が目的達成のため、もがき苦闘するタールの沼である – Frederic P. Brroks, Jr., 人月の神話 モジュール性はプログラミング成功の鍵である – John Hughes, 関数プログラミングはなぜ重要か タールの沼の底から タールの沼と聞いて連想するのは大規模なSIである。... 続きを読む

命令プログラミングから関数プログラミングへ

2013/04/13 157 users Scala Statistics Likes 問題

Statistics Likes 1 Downloads 0 Comments 0 Embed Views 0 Views on SlideShare 43 Total Views 43 命令プログラミングから関数プログラミングへ Presentation Transcript 命令プログラミングから関数プログラミングへ 関数プログラマは問題をどう考えるか Scala 関西ビギナーズ ... 続きを読む

Rubyを使って「なぜ関数プログラミングは重要か」を読み解く（改定）─ 前編 ─ 但し後編の予定なし

2013/01/21 208 users Ruby 改定 後編 予定

２年ほど前に書いた記事を電子書籍化して「M'ELBORNE BOOKS」で販売するために全体的な見直しを行なって入稿する段になって、これにはベースとなっている他者の論文があって言ってみればこの記事はそのマッシュアップになっているんだけれども、その著者の許可もなくその表現が全く別物だとしてもその主張のあらすじが残っている限りにおいてこれを販売することが果たしていいことなのかという思考に遅ればせながら... 続きを読む

「Java開発者ための関数プログラミング」が出版されました - YAMAGUCHI::weblog

2012/06/20 89 users misc ePub YAMAGUCHI 拙訳 Weblog

misc, Translationみなさま、ご無沙汰しております。1ヶ月以上ぶりのブログ更新となりました。Python界の情弱こと山口です。この度、拙訳の「Java開発者のための関数プログラミング」という書籍がオライリー・ジャパンより電子書籍（ePub）で出版される運びとなりました。原著者はProgramming Scala（日本語版「プログラミングScala」）のDean Wampler氏。Ja... 続きを読む

Haskellの講義に関するQ&A - あどけない話

2011/11/24 77 users 道しるべ 意義 講義 担当教官 疑問

Haskell岡山大学で、関数プログラミングの講義を一コマ担当しました。資料は、函数プログラミングの集いで使った関数プログラミングの道しるべを流用しました。ちゃんと用意しなくて、講義を受けた学生には申し訳ないです。講義内容に関して質問を頂きました。同じような疑問を持つ人も多いと思いますので、担当教官の許可を得てここに公開します。 永続データプログラミングの意義は分かったが，破壊しないと効率が悪いの... 続きを読む

関数型言語&形式的手法セミナー(3)

2011/07/22 68 users 関数型言語 小笠原 応用事例 形式手法 本日

関数型言語&形式的手法セミナー(3) - Presentation Transcript 関数型言語&形式的手法セミナー(３) Start F#! ２０１１年７月１９日 　株式会社豆蔵　有限会社ITプランニング 小笠原　啓 1 F#のご紹介 関数プログラミングで開発を加速しよう！ 応用事例：ここでも使われている関数型言語 形式手法　定理証明支援器Coqとのつながり 2 Start F#! 本日の話... 続きを読む

Rubyで関数プログラミング 【目次】

2005/05/12 139 users Ruby 目次 言語 命令型言語 特徴

このページでは、Rubyを使って、関数プログラミングを行ってみたいと思います。 Rubyは、よくいわれるように命令型言語の発展形たるオブジェクト指向型言語ですので、関数プログラミングを行うのに適した言語ではありません。しかし、全く関数プログラミングの特徴を伝えることができないわけではありません。それに必要ないくつかの機能を備えていると思います。従って、Rubyで関数プログラミングを行うことにより、... 続きを読む

なぜ関数プログラミングは重要か

2005/02/22 936 users

John Hughes, Institutionen för Datavetenskap, Chalmers Tekniska Högskola, 41296 G&oumlteborg, SWEDEN. rjmh@cs.chalmers.se この日本語訳は原著者の承諾を得て山下がここに公開するものです。 この訳文についての、御指摘などは山下伸夫(nobsun .at. sampou.org)まで... 続きを読む