コラッツ予想がとけたらいいな2

自分の考察を書いていきます。

PureScript

PureScriptと戯れよう その4(ズンドコ2)

「ズンドコキヨシ」とは、 「ズン」「ドコ」のいずれかをランダムで出力し続け、 「ズン」「ズン」「ズン」「ズン」「ドコ」の列が出たら 「キ・ヨ・シ!」と出力して終了するプログラムだ。 前回 ライブラリのインストール $ spago install random ソースコ…

PureScriptと戯れよう その3(ズンドコ)

「ズンドコキヨシ」とは、 「ズン」「ドコ」のいずれかをランダムで出力し続け、 「ズン」「ズン」「ズン」「ズン」「ドコ」の列が出たら 「キ・ヨ・シ!」と出力して終了するプログラムだ。 参考記事 (ほとんどそのまま) http://labs.timedia.co.jp/2016/…

PureScriptと戯れよう その2(Data.Array)

Data.ArrayはHaskellで言うリストだ。破壊的代入はできない。 $ spago install arrays $ spago install maybe (ついでに) でインストールできる。 例題 module Main where import Prelude import Data.Array (updateAt) import Data.Maybe (fromMaybe) imp…

PureScriptと戯れよう その1(環境構築)

「HaskellよりもHaskellらしい」 と言われるPureScriptにチャレンジしてみる。 インストール Visual Studio CodeとNode.jsを入れる。 https://code.visualstudio.com/ https://nodejs.org/ja/ $ npm install --global purescript spago Hello world $ mkdir …