色々疲れたので現実逃避。 「関数プログラミングの楽しみ」という本がありまして。*1 関数プログラミングの楽しみ作者: Ｊｅｒｅｍｙ Ｇｉｂｂｏｎｓ ａｎｄ Ｏｅｇｅ ｄｅ Ｍｏｏｒ,山下伸夫出版社/メーカー: オーム社発売日: 2010/06/23メディア: 単行本（…

基本 with Ada.Text_Io; procedure Hello is begin Ada.Text_Io.Put_Line("hello, world"); end Hello; 応用：use with Ada.Text_Io; use Ada.Text_Io; procedure Hello is begin Put_Line("hello, world"); end Hello; 応用：renames with Ada.Text_Io; pro…

*1 お久しぶりですが別に何もありません。いつも通りのダメ人間です。 適当にやってもできなかったけど適当に調べたらできたので記録というか記憶をメモ。 記憶なので細かいところ違うかと。 用意するもの 動くGNAT。今回はgnuadaの4.6.0を使用。 gccのソー…

お久しぶりですが別に何もありません。いつも通りのダメ人間です。 適当にやってもできなかったけど適当に調べたらできたので記録というか記憶をメモ。 記憶なので細かいところ違うかと。