星にゃーんのブログ

ほとんど無害。

2019-12-01から1ヶ月間の記事一覧

星にゃーん2019

今年の星にゃーんまとめです。だいたいベッドの上でゴロゴロしていました。 これを書くために今年の星にゃーんのツイートを全部読みました。 1月 仮面ライダー平成ジェネレーションズFOREVERを観る。 「仮面ライダーはフィクションの存在だった」から始まる…

RebindableSyntaxとGHC.Genericsを使って'genericなif'を作る

CoqのGallinaでは2つのコンストラクタC1, C2のある型Tの式vについて、 if v then t1 else t2 が match v with | C1 ... => t1 | C2 ... => t2 end にdesugarされる。 なんだかよくわからないけどかっこいい!!!Haskellでもこれやりたい!!! やりました。…