Plain Functional Programming by Martin Odersky
Please subscribe to our YouTube channel @ https://bit.ly/devoxx-youtube Like us on Facebook @ https://www.facebook.com/devoxxcom Follow us on Twitter @ https://twitter.com/devoxx In a short time, functional programming went from an obscure academic endeavor to the technology "du jour" of the software industry. On the one side, this is great, because functional programming holds real promise to
Functional Programming in the Real World
Here is a list of functional programs applied to real-world tasks. The main criterion for being real-world is that the program was written primarily to perform some task, not primarily to experiment with functional programming. Functional is used in the broad sense that includes both `pure' programs (no side effects) and `impure' (some use of side effects). Languages covered include CAML, Clean, E
純粋関数型アルゴリズム入門
6. 今日の話 この本の解説 Purely Functional Data Structure Chris Okazaki リストとキューの話しかしません （それでも十分難しい） 7. 関数型言語の利点 • 本を読め！ by C.Okazaki – J.Backus 1978 – J.Hughes 1989 – P.Hudak and M.P. Jones 1994 • それだとあんまりなので、適宜説明しま す 8. データ永続性（persistency） • 変数に割り当てられた値は一切変更され ることはない – 破壊的代入が行われない – いつ参照しても同じ値が返ってくる • 永続性により保守性が高まる 例： 1. aにある値を代入 2. bにある値を代入 3. a,bの値を表示 4. aとbにある操作をしてその結果をcに代入 5. a,bの値を表示 この間に値が変わらないのが、永続性
Purely Functional Composition
In Functional Mixins, we discussed mixing functionality into JavaScript classes. The act of mixing functionality in changes the class. This approach maps well to idioms from other languages, such as Ruby’s modules. It also helps us decompose classes into smaller entities with focused responsibilities that can be shared between classes as necessary.1 That being said, mutation has its drawbacks as w
Lambda Nights
In this tutorial series, we will write a compiler for a simple functional programming language, from scratch, in Standard-ML. This night focuses on the core language features that we will need in order to write useful software in ML. If you are familiar with Standard-ML, or Functional Programming in general, then you can probably skip this section without worry.
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
【長編ポエム】関数型言語が分からんお前でもPythonなら分かるやろ：第1回 関数を受け取る関数は便利だよ編 - Qiita
これは、関数型プログラミングの特徴を Python で説明した長編ポエムです。 IQ145 の美少女は出てきませんので、過度な期待はしないでください。 【対象読者】 関数型言語は知らないけど関数型プログラミングの初歩を勉強したい人 (Python を知らなくてもなんとなく分かるように書いたので、PHP や Java や JavaScript の人も読んでみてください) 【連載記事】 第1回 関数を受け取る関数は便利だよ編 (←今ココ) 第2回 関数を生成する関数はすごいよ編 はじめに 「なぜ関数プログラミングは重要か」という文章があります。タイトルの通り、関数型言語がいかに役に立つかを紹介している文章です。長いですが、3 行でまとめるとこんな感じ： ソフトウェアがどんどん複雑になるので、モジュール化が重要 関数型言語は、強力なモジュール化機能を提供している 特に「高階関数」と「遅延評価」が
20分でわかるPurely Functional Data Structures (PDF)
20分でわかる Purely Functional Data Structures k.inaba (http://www.kmonos.net/) Apr. 4, 2010 あらすじ イ ミ ュ ー タ ブ ル デ ー タ 構 造 は 遅 い Immutable Object だけで作るデータ構造 この本の 内 容を 全速力で 布教する お題：キュー (Queue) • FIFO (First-In First-Out) • pushBack(e) でデータeを入れる • popFront() で取り出せる • 入れた順に出てくる • 以上 破壊的キュー Immutable Object でない 打倒すべき目標 代 入 手続き型でよくある interface Queue<E> { void pushBack(E e); E popFront(); } よくある実装 1 2 3 ・ 4 ・
Functor - Wikipedia
This article is about the mathematical concept. For other uses, see Functor (disambiguation). "Functoriality" redirects here. For the Langlands functoriality conjecture in number theory, see Langlands program § Functoriality. In mathematics, specifically category theory, a functor is a mapping between categories. Functors were first considered in algebraic topology, where algebraic objects (such a
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
https://www.matfournier.com/2019-07-25-effects/
Either bifunctor
https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.106.364&rep=rep1&type=pdf
Functorial Blog - Functorial Blog
ICFP 2015
http://plastic-idolatry.com/erik/sw2015.pdf