モナドを理解する - 迷える者への手引き
いずれにせよ、システムの状態が時間の関数であり、そのため時間は考慮しなければならない余分な要素となります。"xの値は何？"と問い合わせることは実際できません。代わりに、"時間tにおけるxの値は何？"と問い合わせなければなりません。これではコードを判断するのが難しくなり、複雑な要素が増えます。結論としては... 状態あり: ダメ! 状態なし: グッド! 式とアクション 式とは値を持った文です。たとえば以下のコードを考えてみましょう。 x = 5 y = x + 7 x = y + 1 最初のxは値が5であるという式です。最後のxは値が13であるという式です。コードは他の式も含んでいます。たとえば真ん中の行は、x + 7が12という値であるという式です。 ほとんどのコンピュータ言語では、キーボードから読み込むコマンドは式であり、その式は値を持っています。次の文を考えてみましょう。 x = ne
Elmによって実現した無停止システム
QCon London 2017において、noredinkのソフトウェアエンジニアで、Manningから“Elm in Action”という自書を著したRitchard Feldman氏が、Elmへの変更を決断したことによって10万コード行のシステムが2015年以来一度も運用障害を起こしていないという、同社の状況に関して解説した。今回の記事では、その要点を簡単にまとめてお届けする。 Elmは純粋な関数プログラミング言語である。JavaScriptにコンパイルされるこの言語は、ブラウザベースのアプリケーション開発での不変データや静的型付けの利用を促進する。Feldman氏は、氏らが小さなサイドプロジェクトでElmを使用した後に、本格的な開発に取り掛かったことについて、順を追って説明している。特に、Reactを使用した数ヶ月間のプロジェクトを完遂した後、氏は次のようなことに気付いたという。 E
関数型プログラマからみたRust | κeenのHappy Hacκing Blog
C++からRustに入った人あたりから「関数型言語から来た人のRustの感想を知りたい」とたまに言われるのでいつかブログ書こうか。 — κeen (@blackenedgold) 2017年4月3日 イントロ 私はRustをやる前にはCommon LispやSMLを主に使っていましたが、仕事ではScalaを使っていましたし他にもOCamlやSchemeやClojureやATS2やHaskellなどを書くこともありました。 私を含めた多くの関数型言語経験者人が一度は Rust for functional programmers を読んだことがあるかと思います。 このように関数型言語と比較して書かれるといかにも似た言語に見えるので私は興味を持ちました。そこで私は実際にRustに触れ始めたのです。 構文 let があるのでおよそOCamlなどに似ているという印象を受けました。 デフォルトでイミ
A Functional Approach to Given When Then Using Java 8 - DZone
The Given-When-Then story Given-When-Then started out as a pattern for writing tests, notably with BDD. The idea is to split the test into three parts: Given: The initial context is received. When: One or more actions are performed. Then: The action results are checked against expectations. Several testing frameworks have used this approach for writing tests. One of these is Cucumber, where the te
RxJava 2.0がリアクティブストリーム仕様へのサポートを含みリリースされた
RxJavaチームは18ヶ月の開発サイクルを経て彼らのリアクティブJavaフレームワークのバージョン2.0をリリースした。このリリースは重要なマイルストーンをもたらす。RxJavaはReactiveXファミリーのライブラリとフレームワークの一部である。これは彼らの言葉では"オブザーバパターンとイテレータパターン、関数型プログラミングからのもっともよいアイデアの組み合わせである"。プロジェクトの"2.0では何が違うのか"はすでにRxJava 1.xに親しんでいる開発者にとってよい手引である。 RxJava 2.0はRxJavaの真新しい実装である。このリリースはリアクティブストリーム仕様、ネットワークプロトコルと同様に実行環境(JVMとJavaScript)を対象としているノンブロッキングなバックプレッシャーで非同期のストリーム処理の標準を提供するための新提案をベースにしている。 リアクティ
List.collectManyで非決定計算 - uehaj's blog
これはG*Advent callender 2016の記事です。 前日は@Ziphilさんの記事でした。明日はまた私@uehajの記事です。 出オチでタイトルオンリーです。 すごいHaksell楽しく学ぼう(以降H本)にも書かれているように、リストはモナドとみなすと「非決定計算」をあらわすものとみることができます。 つまりたとえばリスト[1,2,3]を「1か2か3のどれか」、リスト[2,3]を「2か3のどれか」をそれぞれあらわすもの、と見るってことです。その上で、[1,2,3] * [2,3] という操作を何等かの方法で表現すれば、「1か2か3のどれか」に「2か3のいずれか」を掛けたものという意味になり、結果として「1*2,2*2,3*2,1*3, 2*3,3*3]すなわち「1か4か6か3か6か9のどれか」を得ることができます。 さて、Groovyのリスト(厳密にはIterable)には、
Java Slang – Programming Guide
Featured Story Interoperability Between Java and Javaslang https://www.javaslang.io There are some essential things you need to know regarding term paper. They will make sure your term help with term paper paper is well-written. Before you start writing do your research on the topic properly. It should relate to your industry or course, yet offer something different for viewers. The subject should
今のところ比較的簡単なモナドの作り方 - モナドとわたしとコモナド
準備 モナドを作るには、どんなモナドを作りたいか考える。モナドは一般に、どのようなアクションが使えるかによって特徴付けられる。その点ではオブジェクト指向におけるインターフェイスとよく似ている。 では、foo :: String -> M Boolとbar :: M Intという二種類のアクションを持つモナドを作るとしよう。まず、どんなアクションが使えるかを表すデータ型を定義する。 {-# LANGUAGE GADTs #-} data MBase x where Foo :: String -> MBase Bool Bar :: MBase Int GADT(一般化代数的データ型)の各データコンストラクタがアクションに対応する。GADTsを使ったことがなくても心配してはいけない。引数の型と結果の型に着目しよう。 モナドにする monad-skeletonをインストールする。 $ stac
Javaにも不変データ構造に基づいた(Cons セルベースの)リストがあるのだよ - uehaj's blog
TL;DR JDK(tools.jar)中、com.sunパッケージ配下に、javacが内部的に使っている「com.sun.tools.javac.util.List 」が含まれており、これは不変データ構造としてのリストのように(Cons セルベースのリストのように)利用できる。 はじめに ScalaのコードをGroovyやJavaなどに移植する際に、いつも悲しい思いをするのが不変データ構造に基づいたリスト処理ライブラリが見あたらない、ということでした。JDKの標準コレクションライブラリには、Scalaのscala.collection.immutable.Listのような、不変データ構造を用いて実装されているリストがありません。 ここで言う不変データ構造に基づいたリストとは、JDKのjava.util.Collections.unmodifiableList()等で取得できるような変更禁
C# 7 Features Previewed
Over the last year we've shown you various features that were being considered for C# 7. With the preview of Visual Studio 15, Microsoft has decided to demonstrate the features to make it into the final release of C# 7. Tuple Value Types .NET has a tuple type, but in the context of C# there are a lot of problems. Being a reference type, you probably want to avoid using it in performance sensitive
JavaのOptionalのモナド的な使い方 - Qiita
NullPointerException 嫌いですよね！そんなときに頼りになるのが Java 8 から導入された Optional です。 でも、 null の代わりに Optional を積極的に使うとコードが Optional だらけになり、特に次のような場合に面倒くさいです。 Optional<Integer> a があるとき、 a の値を二乗したい。ただし、 a が empty の場合は empty を得たい。 Optional<Double> a があるとき、 a の平方根を計算したい。ただし、 a が empty または負の数の場合は empty を得たい。なお、 Math.sqrt を安全にした（負の数を渡すと empty を返す）関数 Optional<Double> safeSqrt(double) があるものとして考えて良い。 Optional<Integer> a と
「参照透過である」とは、何から何への参照がどういう条件を満たすことを言うのか - Qiita
関数型プログラミングが流行していることもあって、頻繁に耳にする「参照透過性」という用語について考えます。 ∥ 参照透過性 - Wikipedia その過程で目にした、Stack Overflow 上の Reddy 氏の発言が面白かったので、ザックリと訳します。 用語の起源と、それがプログラミング言語に導入された経緯 一応意味は分かってはいるんですが、なぜ「副作用のない関数呼び出し」やら「変数への再代入の禁止」といった特性を「参照透過性」と呼称するのかが分かりませんでした。この場合の「参照」は、何が何を参照することであり、また、それがどういう状態にあることを「透過である」としているのかが、通り一遍調べてみても分かりませんでしたので、掘りに行ってきます。 英語版 Wikipedia の方には、この考え方がプログラミングの概念として導入された経緯についての論文が参考文献として挙げられています。
Kotlin ❤ FP
If you use .NET you probably heard about F#, a multi-paradigm but essentially functional programming language for the CLR. And you probably heard good things about it. You may also have heard of Haskell, which is similar. Perhaps you would like languages such as these on the JVM, but with great tool support and without mandating a functional style … just making it available when you want it. The K
OptionalがSerializableではない話と使い方まとめ - きしだのHatena
Optionalは意図的にSerializableではなくなってますね。 でその意図としては、一旦Serializableにして出力形式を決めてしまうと、今後ずっとその出力形式を維持しないといけないことになるので、そのメンテナンスコストを嫌ったというのがあるようです。 このメンテナンスコストの中には、仕様が変えれなくなる、というコストも含みます。 なので、シリアライズしたい場合には、フィールドはnullを持つようにして、getterでOptionalに変換するということになると思います。 基本的にOptionalは、Optional-returnイディオムをサポートするもの以上ではない、ということをBrian goetzさんも書いています。 Shouldn't Optional be Serializable? そこで、Optionalの使い方としては、基本的にメソッドの戻り値としてだけ、
learning Scalaz — sum function
sum function Nick demonstrates an example of ad-hoc polymorphism by gradually making sum function more general, starting from a simple function that adds up a list of Ints: scala> def sum(xs: List[Int]): Int = xs.foldLeft(0) { _ + _ } sum: (xs: List[Int])Int scala> sum(List(1, 2, 3, 4)) res3: Int = 10 Monoid If we try to generalize a little bit. I’m going to pull out a thing called Monoid. … It’s
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
TypeScript 2.0ベータではoption型や判別共用体などが利用可能
Disadvantages of purely functional programming
攻める！ラムダ式禁止おじさん #kotlin_kansai
Artfully Benchmarking Java 8 Streams and Lambdas
GitHub - Frege/frege: Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.
