関数を扱えるだけでは、モナドを表現するには不十分過ぎる - xuwei-k's blog
つまりなぜかいきなり高階型の話です。 これ 関数を扱えることはどのようにプログラミング言語の能力をあげるか に対する便乗というかツッコミとして。 つい先日もある人がこんなこと https://twitter.com/koropicot/status/365014333413011457 を言っていて*1、「ですよねー」と勝手に納得していたりしましたが。 つまりScalazでよくみるような高階型 trait Monad[F[_]] extends Applicative[F] { implicit val listMonad = new Monad[List]{ がないと、モナドとして抽象化や共通化ができない、という話です。*2 高階型についてはたとえばこれ (もりそば)Scalaによる高階型変数 - Higher-kind Generics とか読んでください。 関数がオブジェクトとして扱
関数を扱えることはどのようにプログラミング言語の能力をあげるか - きしだのHatena
Java8で関数が値として扱えるようになりました。 このことが、「関数が渡せると便利だよね」という観点ではなく、プログラミング言語としての能力をどのようにあげるか考えてみます。 圏論からのテクニックが使いやすくなる 集合論はどちらかというと値にたいする理論でしたが、圏論は関数呼び出しに関する理論です。 プログラムには、関数呼び出しを連結させて値を変換していくという側面があります。 そのような関数呼び出しの扱い方を整理するのが圏論で、圏論の考え方を使うことでより安定したプログラムを書くことができます。 モナドなど圏論由来のテクニックを使うには、どうしても関数を値として扱う必要があります。 関数を値として扱うことで、圏論のテクニックが使いやすくなり、安定したプログラムの書きやすさにつながります。 型の証明能力があがる 動的な型付の言語にくらべて、静的な型付の言語はプログラムが間違いにくいといわ
Javaによる高階型変数の実装 - プログラマーの脳みそ
高階関数というものをご存知か。関数自身を引数あるいは戻り値に取る関数のことである。「高階」は「こうかい」と読む。その昔「たかしな」と読んだ人がいたとか、いないとか。 先のエントリ「HttpSessionを型安全にする」では「javax.servlet.http.HttpSessionのsetAttribute()/getAttribute()のようなモノをどうやって型安全にするか」という動機付けから、 public class KeyValue<K> { public <T> void put(K<T> key, T value){} } といったことをやろうとして、Javaの言語仕様上、型変数に型変数を持たせることができないので実現できないと述べた。 簡単に解説すると、ここでKayValueはHashMap的なキーを渡せば値を返すオブジェクトで、型変数Kはキーの集合体を表現している。ty
Java Day Tokyo 2013 セッションレポート - Java SE 8とJavaFXの最新情報
日本Oracleは2013年5月14日に秋葉原UDXにて、Java Day Tokyo 2013を開催しました。 すでにITproでは基調講演のレポートが掲載されています。そこで、本記事では筆者が聴講したセッションに関してレポートしていきます。 Java Day Tokyo 2013では海外からの講師によるJavaのそれぞれのエディションに関するセッション、コミュニティによるセッション、また日本オラクルによるチュートリアルという構成になっています。 そこで、海外講師のセッションとコミュニティによるセッションを1つずつ紹介します。また、通常のセッションの後に行なわれたJava The Nightについてもレポートします。 Java SE 8 による関数プログラミングの構文と並列処理のシンプル化 本セッションでは、Simon Ritter氏(写真1)がProject Lambdaの解説を行ない
Oracle Blogs 日本語のまとめ
Oracle Blogsの主としてテクノロジー製品のエントリを日本語でご紹介します（オリジナルのエントリを投稿することもあります）。厳密性をご所望の方は原文をどうぞ。よい内容でしたら原文に対し、"Good Entry, thanks!"でもいいので、是非コメントお願いします（Typoや誤訳はコメント欄からどうぞ）。なお、このエントリは個人の見解であり、所属する会社の公式見解ではありません。また、エントリ内でご紹介している製品・サービスは国内導入時期が未定の場合もありますのでご了承下さい。 Good entries on Oracle Blogs are put into Japanese. Mainly this blog covers technology products. Opinions expressed in this blog is my personal one and d
Java Advent Calendar 1 日目 - Project Lambda の遅延評価
このエントリは Java Advent Calendar 2012 の第 1 日目です。 去年の Java Advent Calendar も第 1 日目を書いて、しかも Project Lambda についてでした。 今年も Project Lambda について書くわけですが、去年とはちょっと観点を変えようと思います。 今年の JavaOne で Java SE の一番のトピックといえば、やっぱり Project Lambda だったと思います。実際、Keynote でも Brian Goetz が登壇して Lambda の説明をしていますし、セッションも Lambda だけで 5 つもあったほどです。 実際に Brian Goetz の Lambda のセッションに出て思ったのは、Lambda の言語仕様はほぼ固まったということです。そして、開発の中心は Lambda の実装方法や、
遅延評価いうなキャンペーンとかどうか - ぐるぐる～
遅延評価については以前も書いてるんですが、そのときは結論なしでした。 が、ちょっと考えるところがあって、言語を Java に絞って自分の考えを明確にしておきます。 結論から書きましょう。 「Java(とC#) で遅延評価って書いてあるものは遅延評価ではない」です。 Java における「評価」とは まず一番最初に、Java で「評価」って言うと、どういうことを指すのかを確認しておきます。 言語仕様の該当部分を要約すると、こんな感じでしょうか。 プログラム中の式を評価すると、結果は 変数 値 無し のうちのどれかとなる。 評価した結果が値になる、というのはいいでしょう。それ以外の 2 つを軽く説明します。 評価の結果が「変数」とは？ コメント欄で指摘が入っています。 代入の結果は変数ではありません(15.26)。 結果が変数となるのは、ローカル変数、現在のオブジェクトやクラスの変数、フィールド
Javaの例をScalaに変換して説明してみる - ひしだまの変更履歴
ひしだまＨＰの更新履歴。 主にＴＲＰＧリプレイの元ネタ集、プログラミング技術メモと自作ソフト、好きなゲームや音楽です。 Javaのオブジェクト指向っぽい説明の例を、Scalaに書き換えてScalaを説明してみる。 Scalaはオブジェクト指向と関数型が融合された言語なので、ベースとしてJavaと似たオブジェクト指向（クラス）が使える。 Javaのインターフェースは、Scalaではトレイトで書く。 trait 政党 { def 政策を作成する() : 政策 } defでメソッドを定義する。（Scalaは関数型言語でもあるが、クラスやトレイト内に定義するのは関数ではなくメソッド。場面に応じて、メソッドは関数に（自動的に）変換して使われる） Javaとは違い（Pascalと似て）、メソッドの戻り値の型（や変数の型）はコロンで区切って後ろに書く。 抽象メソッドの宣言はabstractキーワードをつ
天使やカイザーと呼ばれて: Ruby on Railsのテスト環境が気持ちいい
Javaな世界に10年以上どっぷりと浸かってきたが，Ruby on Rails(RoR)をやっていると「良く考えられているなぁ」と感心してしまう箇所が随所に見られる。とかくScaffoldやActiveRecordに関するコーディングに目が行ってしまいがちだが，僕個人的にはテストに関する環境が最も「おぉ」と感じている。 言うなれば，「JUnit + DbUnit + Cactus」な環境が標準で整備されている，ということだ。 JUnitについては，もちろんTest::Unitがそれに相当する。Test::Unit::TestCaseクラスを継承し，”test_“で始まる名前のメソッドを定義していくというのは，xUnitの流儀とほぼ一致している。JUnitで単体テストを行ったことがある開発者は，違和感なくTest::Unitでテストケースクラスを書いていけることだろう。 Web+DBアプリケ
はてなブログ | 無料ブログを作成しよう
わたし的棚ぼた一万円選書 急に千葉さんに手渡された封筒、開けてみたら1万円札が1枚。何ごとかと思えば、同期の出張を代わったお礼をもらったらしい。 「葵はワンオペで育児してくれたから」と半分わけてくれました。 泡銭の1万円 これはもう、わたし的1万円選書をしろという思し召しなのでは……
Javaの未来はいつだってエキサイティング! 革命と進化を続けるJava SEとJava EE─Java Developer Workshop #2 | gihyo.jp
Javaの未来はいつだってエキサイティング! 革命と進化を続けるJava SEとJava EE─Java Developer Workshop #2 1995年に誕生して以来、Javaは革命と進化を繰り返してきた。そしてこれからも時代と市場の変化とともに革命と進化を続けていく─12月1日、東京・青山の日本オラクルで開催された「Java Developer Workshop #2」で同社のFusion Middleware事業統括本部 シニアJavaエバンジェリスト 寺田佳央氏はこう発言しました。 今年7月、5年ぶりの新バージョンとしてJava SE 7がリリースされましたが、これはJavaがオラクル傘下になってからはじめてのバージョンでもありました。そして10月に米サンフランシスコで開催されたJavaOneでは、今後のJavaの開発方針についてもオラクルから明確な情報提供が行われています。
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
https://blogs.oracle.com/weblogic_channel/entry/javaee_c151
Java、Scala、Groovy、Clojure、Kotlin、Processing、Gosu、Fantom、JavaFX Script、JRuby、Jython、Rhino、Armed Bear Common Lisp、Nashorn… JVMに関連する情報であれば何でも！JVM専門Webマガジン #JVMood をオープン！ | #Tec
http://atnd.org/events/33871
クオリサイトテクノロジーズ TECH BLOG | クオリサイトテクノロジーズの技術情報ブログです