This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
つきくらげ🌕ଳ
yukikurage.net
did:plc:as6rcafyvnnqlem5u73d2lq7
そうですね!カインドが別れているので「コンパイラからの特別扱い感」も少ないです
Elm だと確か {x :: Int} というもの自体が型で、そこにレコードのみコンパイラから特別扱いされてる感があったはずです(Elm エアプなので偽だったらすみません)
PureScript の場合これは
Record (x :: Int) の略で、Record :: Row Type -> Type
(x :: Int) :: Row Type
と分かれている……
[contains quote post or other embedded content]
2024-05-07T15:54:00.571Z