[B! java] kirakkingのブックマーク

1.0から学ぶJava

タイトルを見て釣られクマーな皆さんこんにちは。ホッテントリメーカーで作るような煽りタイトルって、みなさんもう見飽きてると思うんですよね。今調べたらホッテントリメーカー2008年だそうで。どうりでねー。古臭いなーと思いましたよー。「一から学ぶJava」ってのをね、1.0にするだけでこんなに素敵なタイトルになるんだから面白いですねー。タイトルを思いついただけだったんですけど、思いついたらやっぱりちゃんと中身も書かないと行けないじゃないですか。やだー面倒くさいんですけどね。ちょっと1.0から学んでみましょうか。 Java 1.0 1996年1月23日Javaの1.0がリリースされたのは1996年1月23日ですね。発表されたのが1995年5月23日でJavaの誕生日といった場合にどちらを取るかで揉めることがあります。かれこれ20年前なわけで、当時のパソコンというとハードウェアはCPU

kirakking 2016/06/17

リンク

Frege: JVMのためのHaskellのような言語

ドイツ人数学者、Gottlob Frege氏から名付けられたFregeは、JVMのための純粋関数型の強力な型付き言語だ。FregeはHaskellと似ていて、﹁もっともHaskellらしいコードを修正せずに、または、見て分かる最小限の調整だけで動かせる。﹂ Fregeの開発者たちによると、Fregeは﹁パワー、単純さ、表現力の豊かさの組み合わせにおいて、類を見ないもの﹂である型システムをJVMに持ち込んだ。これにより、非正格評価と型推論をサポートし、純粋性とデフォルトの不変性を可能にする。そのため、副作用は宣言された時のみ使うことができる。Fregeは、以下のようなHaskellの機能をほぼサポートしている。 ADTとパラメトリックポリモフィズムを用いた型クラスより高いランクの型パターンマッチングリストの包含do表記ポイントフリースタイルモジュール functor、monoi

kirakking 2015/10/26

リンク

AProVE

kirakking 2014/01/24

TRSとJava(バイトコード)は全体の停止性が、HaskellとPrologは式の停止性が検証できるぞ。

リンク

プログラミング言語Frege(フレーゲ)を紹介します - uehaj's blog

これはマイナー言語 Advent Calendar 2013の21日目の記事です。 Frege(フレーゲ*1 )を紹介します。 Fregeは、JavaVM上で動作するHaskell風の言語です。以下のような特徴を持っています。純関数型言語非正格評価(いわゆる遅延評価) Hindley-Milner型推論に基づく静的型言語これらの特徴は、Haskellと共通するものであり、構文も基本的なところについてはHaskellとだいたい同じか似ているかもしくはサブセットです。標準関数やデータ型やモジュールについても、Haskell 2010からたくさん引っぱってきているそうです。しかしながら、Fregeはその目標において、Haskellとの完全な互換性を達成しようとはしていません。実際かなり違っています。特にJavaVM上で有用であることに重点が置かれており、プリミティブ型はJavaのもの

kirakking 2013/12/21

リンク

Java 8は関数型なのか

ITproの読者には既にご存じの方も多いと思うが、2014年3月に﹁JavaSE﹂の次期版﹁Java SE 8﹂︵以下、Java8︶がリリース予定である。国内のエンタープライズ分野では﹁レガシーJava﹂が多いとされ、現行版の﹁Java SE 7﹂に移行しているユーザーすら少数派と聞く。Java8といっても遠い話のように感じる方も多いかもしれない。しかし、Java8はJavaにとって一つの大きなマイルストーンとなる。関数型プログラミングに由来する﹁ラムダ︵lambda︶式﹂なる構文が導入されるのだ。 Javaをよく知る技術者の方の中には、﹁いや、Java8のラムダ式は関数型プログラミングのために導入されたのではない﹂と主張される方がいるだろう。この点については後ほど触れたいと思うが、﹁ラムダ式が何のために導入されたか﹂はさておき、ラムダ式という記法そのものが﹁関数型に由来する﹂