InfoQ ホームページ TypeTheory に関するすべてのコンテンツ
ニュース
RSSフィード-
フィンテックでアクターモデルのプログラミング言語Ponyを使う
QCon Londonの基調講演でAdrian Colyer氏がプログラミング言語Ponyについて"とても面白い"言及した。QConでは、幸運にもこの言語の設計者であるSylvan Clebsch氏による公演が行われた。Clebsch氏によれば、Ponyはフィンテックのシステムに自然にフィットする。
-
FacebookがJavaScriptの型チェックを提供するFlowをオープンソース化
@Scale 2014で、FacebookはFlowをオープンソースにした。これは、JavaScriptの静的型チェッカーだ。FlowはMicrosoftのTypeScriptやGoogleのAtScriptとともに開発者にコードの中のバグを見つける方法を提供する。
-
core.typed: Clojureにオプションの型システムを追加する
core.typedは動的型付けのClojureにオプションとしての型システムを追加する。目指しているのは、Clojureの簡潔さと柔軟性に、型チェッカーが提供する安全性の保証を加えることで、両方の世界のいいとこ取りをすることだ。
-
Microsoft，タイプセーフなオペ��ーティングシステム Verve を発表
Microsoft Research は Singularity プロジェクトから派生したオペレーティングシステムである Verve のリリースを発表した。TAL (Typed Assembly Language，型付きアセンブリ言語) と Hoare 論理の採用を前提とすることで，最高レベルのセキュリティと安全性を実現する。