blog.bouzuya.net

2018-12-22 w010 v2 / bouzuya/purescript-bouzuya-geojson 0.1.0 / 体調不良 (4)

毎週 0.1.0 をつくるという mockmock.dev での自分ルールを v2 に更新した。仮名も毎週 v0.1.0 から w010 に変えた。区切り文字を減らした。

w010 (仮) のルール (v2)

- 毎週日曜日の 13:00-15:00 でアプリケーションの 0.1.0 を作成しなければならない
- おおまかな流れ
  - (1) mockmock.dev に向けて計画する・ルールを見直す
  - (2) mockmock.dev のコアタイムで 0.1.0 を作成する
  - (3) 0.1.0 を 1.0.0 にする
- (1) mockmock.dev に向けて計画する・ルールを見直す
  - 挑戦（新しく試すこと）を「やること宣言」に含めなければならない
  - つくるものの名前を「やること宣言」に含めなければならない
  - 仕様の概要を検討しなければならない
  - コアタイムで作成するアプリケーションに必要なライブラリを作成してもよい
  - コアタイムで作成するアプリケーションを作成しはじめてはならない
  - 過去の活動を踏まえてルールなどを見直しても良い
- (2) mockmock.dev のコアタイムで 0.1.0 を作成する
  - 「やること宣言」を計画に従って投稿する
  - リポジトリを公開しなければならない
  - リポジトリに v0.1.0 のタグをつけなければならない
  - ライブラリではなくアプリケーションを作成しなければならない
  - 集中しなければならない
    - 特に途中でもぐもぐしてはならない
  - 1.0.0 までの追加機能の概要を「やったこと成果発表」に含めなければならない
  - 「やったこと成果発表」を投稿する
- (3) 0.1.0 を 1.0.0 にする
  - 「やったこと成果発表」を踏まえて改修する
  - リポジトリに v1.0.0 のタグをつけなければならない

https://mockmock.slack.com/archives/C043UEYGJ/p1544944626054500?thread_ts=1542682315.068300&cid=C043UEYGJ

bouzuya/purescript-bouzuya-geojson 0.1.0 をつくった。

PureScript のパッケージで GeoJSON の型を提供するもの。 justinwoo/purescript-simple-json の ReadForeign を実装している。そういえば WriteForeign を実装していない……。

newtype Point = Point (Array Number)
data GeometryObject = Point (Array Number)

つくっている過程で迷ったこと。前者のようにしておかないと Point (型) を引数に取る関数を書けなくて困る。後者のようにしておかないとパターンマッチで Point (データコンストラクタ) を書けなくて困る。↓のようにする方法もあるのだけど名前の衝突回避がつらそうだし何か間違っているような気がする。

newtype Point = Point (Array Number)
data GeometryObject = Point Point

朝に測ったところ平熱だった。よろこんでたまった家事を片付けようとしたのだけど途中から具合が悪くなった。改めて測ったところまた熱が出ていた。あきらめて今日は横になっていた。