InfoQ ホームページ Functional Programming に関するすべてのコンテンツ
-
Racket 6.11で篩型(refinement type)と依存関数型(dependent function type)が安定機能に
Racket 6.11では、Typed Racketに篩(ふるい)型(refinement type)と依存関数型(dependent function type)が追加されている。
-
-
IntelliJ IDEA 2017.2: より賢く、より的確に、そしてより早く
JetBrainsはIntelliJ IDEA 2017.2をリリースした。フラッグシップであるJava IDEの3ヶ月ごとのリリースだ。Trisha Gee氏はこのリリースノートについてブログに投稿した。多くのユーザビリティに関する向上がある。空のコレクションや文字列配列を作った場合や配列で添字が範囲外になる場合の警告の新しいクラスといったものがある。またnullに関する解析を改善した。
-
Enterprise Conference 2017に見る新たなテクノロジ - 第2日目まとめ
第12回Emerging Technologies for the Enterprise Conferenceカンファレンスの第2日がフィラデルフィアで開催された。この2日間のイベントは、Blair MacIntyre氏(拡張現実の第一人者)とScott Hanselman氏(ポッドキャスタ、Microsoftプリンシパル・プログラムマネージャ)の基調講演に始まり、Kyle Daigle(GitHubエンジニアリングマネージャ)、Holden Karau(IBMプリンシパル・ソフトウェアエンジニア)、Karen Kinnear(Oracle JVMテクニカルリーダ)各氏による講演が行われた。
-
Enterprise Conference 2017に見る新たなテクノロジ - 第1日目まとめ
第12回Emerging Technologies for the Enterprise Conferenceカンファレンスの第1日が4月18日(火)、ペンシルバニア州フィラデルフィアで開催された。2日間にわたるこのイベントを企画したのは、同州フォートワシントンにあるITコンサルティング会社のChariot Solutionsだ。カンファレンスではBlair MacIntyre氏(拡張現実の先駆者)の他、Monica Beckwith氏(Oracle JVMパフォーマンスコンサルタント)、Andrea Goulet氏(Corgibytes CEO)、Yehuda Katz氏(Ember.js開発者のひとり), Jessica Kerr氏(Atomist リードエンジニア)ら招待講演者による基調講演が行われた。
-
依存型言語Idrisが1.0に
アルファ相当になったことを報告して数ヵ月、Idrisの作者で英国セント・アンドルーズ大学のコンピュータサイエンス講師であるEdwin Brady氏が、Idris 1.0のリリースを発表した。
-
LightbendがOpsClarity買収について語る
BoldRadiusを９ヶ月前に買収したLightbendが、リアクティブアプリケーション監視を専門とする企業であるOpsClarityの買収を発表した。InfoQはLightbendの社長兼最高経営責任者であるMark Brewer氏と、OpsClarityの共同創立者で現在はLightbendのクラウドサービス担当VPであるAlan Ngai氏に、今回の新たなパートナシップについて詳しく聞いた。
-
Idrisが間もなくバージョン1.0に
依存型(dependent type)ベース言語のIdrisが間もなくバージョン0.99に到達する。Idrisチームによると，1.00のアルファ版として見ることができるものだ。Idris 1.0のリリースは2017年2月頃と予想される。
-
Javaの型推論は変更可能性の仕様をサポートしない
Javaの型推論は、 ミュータブルな変数とイミュータブルな変数の区別をサポートしない予定である。ミュニティ内でこれをどのように実装すべきであるか合意を欠いているためだ。また、込み入ったケースに長く議論することを防ぐために、このようなケースのいくつかは簡潔にするために除外される予定である。JEPは対象バージョンを示していないが、Java 10の可能性が高いだろう。
-
Javaslang 3.0への道
Javaslangは、Java 8以降に対して永続データ型と関数型制御構造を提供するオープンソースの関数型ライブラリであるが、不必要、非推奨な機能を削除するためにライブラリに重要な変更を加える見込みであるメジャーリリースバージョン3.0へのロードマップを公開した。
-
2016年のエンタープライズ開発のトレンド：LightbendによるJVM開発者の調査
Lightbendは2,100人のJVM開発者を対象に、開発とインフラのトレンドの相関関係を調査した。 ホワイトペーパーとして掲載されたこれらの調査結果は、マイクロサービスと軽量コンテナが重量級のJ2EEアプリケーションサーバーに対抗していることを明らかにした。
-
Racket6.7はAndroidアプリ開発をサポートし，改善されたREPLその他を提供する
PLT DesignはRacketの新バージョンを発表した。 RacketはSchemeに類似した文法を持つ汎用のマルチパラダイムプログラミング言語である。 Racket 6.7は，Android上でのグラフィカルなアプリケーションの構築，REPLおよびパッケージマネージャの改善，そして拡張されたTyped Racketをサポートする。
-
Don Syme、.Net FringeでF#の設計原則を語る
F#の生みの親であるDon Symeが、F#の現況評価について.Net Fringe 2016で示した。氏はF#が持つ二重性、すなわちオブジェクト指向言語のためのランタイム上に開発された関数型言語であることについてもコメントした。
-
オープンソースのOCamlからJavaScriptへのコンパイラBuckleScriptが1.0に到達
BuckleScript 1.0は、OCamlの機能をほぼ完全互換で実現する。また、改善されたFFIを提供する。 これにより、安全でないJavaScriptスタブの記述を避けることができる。 InfoQはBloombergのHongbo Zhang氏(BloombergのBuckleScript開発者)に取材を行った。
-
新たなScala Centerは教育とScalaコミュニティに注力する
Heather Miller氏(研究科学者)によるScala Days BerlinでのScala Daysの基調講演にて、新たなScala Centerの詳細な内容が発表された。Scala Centerは、教育とオープンソース・コミュニティにフォーカスした非営利団体である。