kmyk-jikka / Jikka

an automated solver for problems of competitive programming
https://kmyk-jikka.github.io/Jikka/playground
Apache License 2.0
151 stars 12 forks source link

builtin 関数をもっと簡単に足せるようにする #212

Open kmyk opened 3 years ago

kmyk commented 3 years ago

Description / 説明

builtin 関数をもっと簡単に足せるようにしたい。 data Builtin = Plus | Minus | Mult | ... という enum にするのでなくて data Builtin = Builtin { name :: String, type :: Type, ... } な record で持った方がいい気がする。

Motivation / 動機

ひとつ足すのに n 箇所触らないといけなくてしんどい。 型検査が効くのでバグとかにはならないのだけど、ひたすら面倒なのでやりたくなさが強い。