[B! fp] dannのブックマーク

「静的型付け関数型プログラミングだとOOよりもTDD(BDD)がしやすい(もしくはいらない)」?

きょん＠アジャイルコーチ、システムアーキテクト @kyon_mm 僕が不勉強な部分はあるのだけど、「静的型付け関数型プログラミングだとOOよりもTDD(BDD)がしやすい(もしくはいらない)」とかたまにいう人がいるんだけど、その人がまともにTDD/BDDの説明しているの聞いたことがないので、まるで参考にならない意見ばかりでつらいです。 2014-04-17 12:49:49

dann 2014/04/20

fp

リンク

Search

Releases, Offers & More Be the first to hear about our newest content, best promotions and upcoming events. Plus get 25% off your next purchase. Newsletter Sign Up Download Accounts Your em ail address is your account identifier. You can create a password, or just download from the links sent via em ail. My Orders (Resend order em ails) How We're Different Hands-on instructions Solutions to real-worl

dann 2013/03/14

リンク

静的型付き言語プログラマから見た動的型付き言語 - あどけない話

およそ20年前にAlan Kay の講演をきいたことがある。印象に残ったのは、彼が引き合いに出した McLuhan の言葉だ。 I don't know who discovered water, but it wasn't a fish. (拙訳)誰が水を発見したかは知らないが、発見者が魚でなかったことは確かだ。誰しも信念という水の中を泳ぐ魚のような存在だ。思い切って飛び跳ね空気に触れてみなれば、自分が信念という水の中にいることに気付かない。ある手法の利点を語るには、その手法の欠点や、他の手法の利点や欠点とできるだけ客観的に比較しなければ説得力がない。ただ、これを実践するのは難しい。この記事では、客観的になれているか自問自答しながら、動的型付き言語と静的型付き言語について比較してみようと思う。僕は静的な C 言語から、動的な Perl、Lisp、JavaScript を経て、現在で

dann 2013/03/11

fp

リンク

IBM Developer

IBM Developer is your one-stop location for getting hands-on training and learning in-demand skills on relevant techno logies such as generative AI, data science, AI, and open source.

dann 2012/12/21

リンク

http://ua.pycon.org/static/talks/kachayev/index.html

dann 2012/11/25

python
fp

リンク

Functional Reactive Programmingのチュートリアルスライドを訳した - Faith and Brave - C++で遊ぼう

FRP - Slides from the tutorial session in Halle Functional Reactive Programmingの勉強中。reactive bananaの資料がわかりやすかったので訳してみました。 frp_tutorial.pdf frp_tutorial.pptx

dann 2012/09/20

fp

リンク

Scalatronで楽しく学ぶ関数型プログラミング

2. 自己紹介  FiS Projectの皆さんは知ってると思いますが  Twitter: @ST63Jun_  地方の私立工業大学で大学院生やってます  普段はJavaを読み書きしています  Scala歴：「hello world は書いた」 2

dann 2012/08/24

scala
fp

リンク

ループ書いたら負けかなと思っている

ループ書いたら負けかなと思っている uskz 自己紹介梶本裕介 25歳ループ嫌い抽象度が低すぎる形式的な扱いが面倒くさい範囲とかいちいち気にしないといけないのが嫌 accumulate? transf orm? int f(int a, int b, int c) { return 3 * a + 3 * b + 3 * c; } int f(int a, int b, int c) { return 3 * (a + b + c); } bool p(bool a, bool b, bool c) { return (!a && b || a && !b) != c; } bool p(bool a, bool b, bool c) { return a == b == c; } ホーア論理 {P}S {Q} Pは事前条件で，Qは事後条件．｛P｝S｛Q｝が正しいことはPが成り立つ

dann 2012/08/09

fp
haskell

リンク

連載: IBM Watson Workspace #鬼わかアプリケーション開発: 第 7 回: IBM Watson Workspace で AI を利用したアプリ連携の実現 #鬼わか解説（前編）

IBM Developer is your one-stop location for getting hands-on training and learning in-demand skills on relevant techno logies such as generative AI, data science, AI, and open source.

dann 2012/07/14

fp
scala

リンク

Joy compared with other functional languages

By Manfred von Thun Joy is a functional programming language which is not based on the application of functions to arguments but on the composition of functions. This paper compares and contrasts Joy with the theoretical basis of other functional formalisms and the programming languages based on them. One group comprises the lambda calculus and the programming languages Lisp, ML and Miranda. Anoth

dann 2012/06/30

リンク

IBM Developer

IBM Developer is your one-stop location for getting hands-on training and learning in-demand skills on relevant techno logies such as generative AI, data science, AI, and open source.