イベントレポート：「Coqチュートリアル#1」
去る1月12日、定理証明支援系ツールCoqの初心者向けチュートリアルが開催さ れた(http://kokucheese.com/event/index/23667/)。今後も2月2日 (http://kokucheese.com/event/index/23744/)、2月9日、2月16日と引き続き開 催されていく予定である。本記事では、開催の様子をレポートする。
InfoQ
InfoQ
トピック・タグ別の表示
言語に関するすべてのコンテンツ
言語に関する最新コンテンツ
言語に関するNews
Google Dartまとめ: DartをJSにするコンパイラFrog、プレビルドエディタ/IDE 、型システムの提案
Dartエディタのプレビルドバージョンが手に入るようになった。これはEclipseのDart IDEでDartを簡単に始められる。FrogはDartをJavascriptに変換するコンパイラだ。Dartで書かれていて、JythonとIronPythonの作者が実装している。また、DartチームはDart言語の説明を盛んに行い、nullable型のような型システムに関する機能の提案を行っている。
Javascript経由でClojureをブラウザで利用できるようにするClojureScript
Rich Hickey氏がClojureをJavascriptにコンパイルするClojureScriptを発表した。これを使えばClojureをブラウザやモバイルの世界で利用できる。InfoQはClojureScriptの存在理由やその実装を探った。
NetRexx がオープンソース化
Mike Cowlishaw 氏の設計したプログラミング言語 Rexx の JVM 上のランタイムである NetRexx が，IBM によってオープンソースとなった。Rexx は Python や Ruby その他よく知られた言語の 10 年以上前から存在するスクリプティング言語である。当初はメインフレーム (VM/MVS) 上で動作するように設計されていたが，その後 OS/2 や，さらには ARexx という名で AmigaOS 2.0 でも人気を得ている。
Node.js - Google V8 ベースの Javascript 用イベント駆動 I/O
Node.js は，拡張可能なスタンドアロン JavaScript サーバプログラムを，Google V8 と イベントベース I/O ライブラリのバンドルによって実現している。InfoQ では Node.js の動作の仕組みについて調査を行った。
言語に関するArticle
Java と ActionScript 3.0 の違い： 文法編
この記事は、Java に精通した開発者の方に、ActionScript 3.0 （以下 AS3） がどのような言語なのか、どこが Java と異なっているのか （あるいは同じなのか） を一覧できるようまとめたものです。主に AS3 の静的な側面をまとめた、文法編 （文法編） およびクラス宣言編 （クラス宣言編）と、動的な側面をまとめた、属性操作編 （属性操作編） および振舞い編 （振舞い編） の 4 編に分けて、Java 開発者が引っかかりやすいと思われる点を中心に記述しました。厳密な言語解説よりは、まず AS3 の概要が分かること、を目的に書かれています。さらに詳しい言語仕様についてはActionScript 3.0 の学習をご覧ください。
JavaとRubyのブレンド－ 新言語 Mirah
Mirahは、Javaができることは、何でもできるJVM用の新言語である－しかしRubyのようなシンタクスとメタプログラミングを持っている、InfoQは、Mirahの作成者であるCharles Nutter氏に聞いた。
言語に関するInterview
Eric EvansがDDD（ドメイン駆動設計）を語る
2004 年に『Domain-Driven Design（ドメイン駆動設計）』を執筆して以来、Eric Evans はドメインのモデル化と設計コンセプトの進展に大きな影響を与えてきました。今回の Floyd Marinescu とのインタビューでは、『Domain-Driven Design』における最近のいくつかの改良点やこの分野の現在の進展状況について話を伺いました。