Java 10が本日付で正式リリース。ローカル変数の型推論、ガベージコレクタが入れ替え可能、不揮発性メモリ対応など。Java 9は早くもサポート期間終了 － Publickey

2018/03/19 449 users ガベージコレクタ Publickey Java ローカル変数

Java 10が本日付で正式リリース。ローカル変数の型推論、ガベージコレクタが入れ替え可能、不揮発性メモリ対応など。Java 9は早くもサポート期間終了 昨年9月に登場したJava 9から、Javaは6カ月ごとのタイムベースによるアップデートサイクルが採用されました。そしてその最初のワンサイクルが経過し、今日3月20日付けでJava 9の次のメジャーバージョンアップとなるJava 10が登場します... 続きを読む

10年のプログラミングの変化といえばクラウド、型推論、リアクティブ - きしだのはてな

2018/01/08 108 users リアクティブ はてな プログラミング クラウド 常識

この10年間のプログラミングの変化、というのが流れてきたのだけど、個人的にはクラウド、型推論付き静的型、リアクティブかなぁという風に思ってます。 クラウド(とスマホ) 2008年にGoogle App Engineが出たり、最初のHadoopサミットが行われたり、ちょうど10年前に始まったとも言えるクラウドは、すでに流行ではなく常識になっています。 いまや、クラウドを考えずにシステムを組むというこ... 続きを読む

型クラスを含んだ型推論を概観する 〜Typing Haskell in Haskell より〜 - tmp.txt

2015/12/18 51 users 型クラス Haskell CAMPHOR クラス 初参加

2015 - 12 - 18 型クラスを含んだ型推論を概観する 〜Typing Haskell in Haskell より〜 Haskell この記事は CAMPHOR- Advent Calendar 18日目の記事です． こんにちは @yu_i9 です．CAMPHOR- Advent Calendar には今年が初参加になります！ 本記事では「Typing Haskell in Haskell... 続きを読む

[iOS] 新言語SwiftがObjective-Cよりも良いところ - Qiita

2014/06/02 1028 users さつ iOS Qiita Swift 変数

さきほどWWDCにて新言語 Swiftが発表されました。 The Swift Programming Language (iBooks Store) で言語ガイドが公開されていたのでザッと目を通してみました。 Objecitve-Cと比較してSwiftがイケてそうなところをパッと気になったところだけ書いていってみます。 変数の型推論がある Objective-Cのように明示的に型を書かなくても型を... 続きを読む

Java8には型推論があるので型指定不要で変数が使えますよ - きしだのはてな

2013/12/24 154 users 変数 はてな Groovy Java8 Wii

Javaプログラマのみなさんは、Javaは型推論がないから変数の型指定をしなくていけなくてダサい、などとイジメられた経験があると思います。おかあさんに型推論をねだるとGroovyをわたされたり、おとうさんに型推論をねだるとScalaがやってきたり、プレステが欲しいって言ったのにWiiやXboxを買い渡される感を味わった人も多いのではないでしょうか。そんな良い子のJavaプログラマのために、今年はサ... 続きを読む

コンパイルは(テストではなく)証明である - あどけない話

2013/03/11 85 users パク コンパイル 不在 コンパイル時 言語

「プログラムのテストはバグの存在を示すことにかけてはとても効率的な方法ですが、バグの不在を示すことにかけては絶望的なほどに不適切です。プログラムの信頼性を顕著に向上させる唯一の方法は、その正当性に対して説得力のある証明を与えることです」 -- Edsger W. Dijkstra静的型付き言語では、コンパイル時に型が検査される。この型検査に関連して型推論という機能を持つ言語がある。型推論は、大きく... 続きを読む

JSXよりHaxeがイケてる3つの理由 - みずぴー日記

2012/06/04 114 users jsx みずぴー日記 Numb haXe 推論

Javascriptを生成できる言語『JSX』がリリースされました。めでたいですねー。ただ同じくJavascriptを生成きるHaXeのことが忘れられている気がするので、宣伝します。 ステマじゃないよ!型推論がイケてる現時点でJSXには型推論が実装されてないので、関数を定義するには全ての型を書く必要があります。 // JSXだよ! function add(x : number, y : numb... 続きを読む

Firefox9はFirefox8より最大45％、Firefox3.6より最大10倍高速化する - GIGAZINE

2011/11/11 63 users GIGAZINE Type Inference 目玉機能

「Firefox 9」の目玉機能は一年以上も研究が続けられていた研究プロジェクトである型推論 (TI: Type Inference) が導入されたことで、これによってJavaScriptを使いまくるサイトでの高速化がかなり期待でき、Firefox8に比べて最大45％、Firefox3.6に比べれば最大10倍高速化するとのこと。 ほかにも、ダウンロードした画像を実際表示するまでデコードしないことで... 続きを読む