2018-01-25から1日間の記事一覧
型シノニムの話 [Charl] と String は同値でこれは型シノニムを使って実装されている。型シノニムはある方に別の名前を与えて、コードやドキュメントを読みやすくする。 このように書く type String = [Char] この型宣言と toUpperString :: [Char] -> [Char…
もとから入っている Windows10 と Ubuntu をデュアルブートする 手順 Windows回復ドライブを作成する https://support.microsoft.com/ja-jp/help/4026852/windows-create-a-recovery-drive USB に Ubuntu のイメージを入れる https://www.ubuntu.com/downloa…