世界で一番ピュアな論理型プログラミング言語Hilbert(ヒルベルト)をRubyで作った. - Qiita
あいさつ こんにちは. 皆さん如何お過ごしでしょうか. 本日の日付を確認致しましたらもう2014年も残り一月半と改めて認識させられ驚いています. こうも時間の流れが早いと死ぬのもすぐですね. 懸命に生きようと思います. さて今回はHilbertという論理型プログラミング言語を作りました. （カジュアルに作ってるように見えますが、割と本気です.） まだまだやるべき事は本当に多くて、飴ちゃんあげるのでコミッター大募集です. （今ならカントリーマームもつけるのでお願いします.） HP: http://hilbert-lang.org/ja/ Github: https://github.com/gogotanaka/Hilbert 前座 世界で一番ピュアで豊かなプログラミング言語 この言語で仮定されているのは恒真（トートロジー）のみです. （厳密に言うと自然演繹も仮定されていますが.） 当初、自
プログラミング言語同士がどう影響を与え合っているのかを示した相関図
世の中には数千種類のプログラミング言語がありますが、その多くは何らかのプログラミング言語から影響を受けてできており、また、自身も他のプログラミング言語に影響を与えています。その関係を1つのマップ上に落とし込んだ相関図が「Programming Languages Influence Network」です。 Programming Languages Influence Network | Exploring Data https://exploring-data.com/vis/programming-languages-influence-network/ まるで星のように見えている点がそれぞれ1つのプログラミング言語を表しています。たとえば「Lisp」にマウスオーバーすると、このように関連する言語までのラインが表示されます。このうち、オレンジ色は「影響を受けた言語」、青色は「影響を与え
新プログラミング言語「Kotlin」登場 - Javaに新しい選択肢 | エンタープライズ | マイコミジャーナル
Project Kotlin is the codename for a statically-typed JVM-targeted programming language developed by JetBrains JetBrainsは7月20日(ロシア時間)、工業利用を想定して開発された新しいJava仮想マシン向けのプログラミング言語「Kotlin」を発表した。KotlinはJavaと同じ静的に型付けされたプログラミング言語。文法もJavaと似ている。Java SE 8で導入されることになる機能や、Javaには導入されていない機能がすでに導入されている。現実的に普及する可能性があるプログラミング言語として興味深い。 JetBrainsはJavaの統合開発環境であるIntellJ IDEAを開発している企業。Javaのみならずほかのプログラミング言語向けの開発ツールも開発しており、J
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
