![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Yesterday I did a bunch of assisted research (hooray twitter) into what
type theory is with the goal of figuring out how much of it I need to not
make a mess of LIA’s type system. First time since graduation I actually
kinda wish I had a real CS degree; two weeks on PL was not enough. I got a
lot out of an hour talk by Andrej on a tiny type system in ocaml, plus a
mountain of vocabulary that just sorta hung out in vague usage-based
definition space. Not yet at the point where that mountain gets smaller
with each source I read instead of larger, which is frustrating in that
imposter syndrome way. I am slowly writing better docs for what we actually
need from our type system though, so I’m sticking with it. I’m reading Bob
Harper’s textbook, and a few tutorials/case studies linked by the crowd. It
will be okay.
No brain cells left for much else. Dinner, crossword, ceramics forums,
phone games. Continuing to easily lose an hour to Red Herring.
type theory is with the goal of figuring out how much of it I need to not
make a mess of LIA’s type system. First time since graduation I actually
kinda wish I had a real CS degree; two weeks on PL was not enough. I got a
lot out of an hour talk by Andrej on a tiny type system in ocaml, plus a
mountain of vocabulary that just sorta hung out in vague usage-based
definition space. Not yet at the point where that mountain gets smaller
with each source I read instead of larger, which is frustrating in that
imposter syndrome way. I am slowly writing better docs for what we actually
need from our type system though, so I’m sticking with it. I’m reading Bob
Harper’s textbook, and a few tutorials/case studies linked by the crowd. It
will be okay.
No brain cells left for much else. Dinner, crossword, ceramics forums,
phone games. Continuing to easily lose an hour to Red Herring.
