今更ながら、Mac mini m1 買いました。 動機 単純に、今使っている MacBook Pro 2016 （16GB, 2.9GHz デュアルコア）が開発用途での利用に厳しくなってきたからです。IntelliJを起動するのに数分かかったり、キーボードの入力から反映まで1〜2秒のタイムラグ…

クイックソート アルゴリズムの定番クイックソート。 といっても、私はアルゴリズムをちゃんと勉強したことないので名前しか知らないのだけれど。。 これを関数型ではどうやって解くのかを見ていく。 が、先に手続き型ではどうやるのか。アルゴリズム本を見…

関数を書くための構文 パターンマッチ Scala でもたくさん使うパターンマッチ。Haskell版も見てく。 渡された数が7かどうかを判別する関数。 Haskell版 lucky :: Int -> String lucky 7 = "LUCKY NUMBER SEVEN!" lucky x = "Sorry, you're out of luck, pal!…

型変数 Haskellの head 関数の型を見てみる。 *Main> :t head head :: [a] -> a この a が型変数と呼ばれる。型変数によって関数を複数の型に対して動作するようにできる。型変数を用いた関数は多相的関数と呼ばれる。 どのような型でも良いという性質のこと…