ブログ名を変更しました(あいや☆ぱぶりっしゅぶろぐ!)
このブログの名前を「あいや☆ぱぶりっしゅぶろぐ!」から「大銀河宇宙No.1_Haskeller」 に変更しました ⛄
由来としては「俺が1番強いHaskellerだ!」というものではなく「皆さんが1番強いHaskellerだ!」そして「強いHaskellerどんどん生まれてくれ」という感じです。 生まれてくれ。
このブログの名前を「あいや☆ぱぶりっしゅぶろぐ!」から「大銀河宇宙No.1_Haskeller」 に変更しました ⛄
由来としては「俺が1番強いHaskellerだ!」というものではなく「皆さんが1番強いHaskellerだ!」そして「強いHaskellerどんどん生まれてくれ」という感じです。 生まれてくれ。
「せつラボ 〜圏論の基本〜」 「せつラボ2~雲と天使と関手圏~」 「矢澤にこ先輩といっしょに代数!」を書いています!
強い静的型付けとテストを用いて、バグを防ぐのが好き。Haskell・TypeScript。