にゃははー

はへらー

Ada

std::futureで未来に生きたと思ってたけどAdaがすでに通っていた道だった...

Ada

std::futureで未来に生きる - Flast?なにそれ、おいしいの? でドヤァ...ってやったけど、Adaを勉強したらAdaがすでに通っていた道だった。しかも言語仕様で。 with Ada.Real_Time; use Ada.Real_Time; with Ada.Text_IO, Ada.Integer_Text_IO; use Ada.Text_…

GNATのインストールがうまくいかない

やっぱGNU makeはいろいろやばい もうおわこんだろ・・・というのもGNATのビルドプロセスを追ってみればわかる。例えばGCC 4.4が入ってる環境でGCC 4.5をビルドしようとする。ちなみに各コマンドは同一シェル内で実行する。 あと、4.4のインストールされてい…

なぜ今Adaを始めるのか

Ada

今ッ!!1111Adaが熱いッ111111なんと強い静的型付けでありながら実行時に型の検査を行う!!! こんな感じ procedure hoge is type Positive is new Integer range 1 .. Integer'Last; -- 型に対して取りうる値の制約をかけれるから -- Constant_Error…