八葉の日記

日々、感じたことをまとめる場として利用する

2016-01-21から1日間の記事一覧

Haskelメモ(1)

Haskelの型の読み方をよくわすれてしまうのでメモ(参考にした本は一番下に記載) まず、Haskelは:t で型を見れる。 >|haskel| :t FalseFalse::Bool ||< 上にでてくる表記v::Tは「vの型はTである」を表現している。 ちなみに「e::T」と書くと式eを評価すると型…

書き始め

①技術力向上 僕は仕事でC++を5年間使用している。C++の書き方は、"手続き型"、"オブジェクトデザイン"、"関数型"と幅が広く、実にいろいろな書き方ができます。 最近聞いた話の中で関数型言語は、宣言的にコードを書けるので保守性が容易になると聞き、手を…