Brendan Zabarauskas

@brendanzab
3 Followers
71 Following
65 Posts
World Builder, Artist, Programmer. Passionate about building robust, reliable software, often in Rust and other nicely typed languages. λΠ 👨‍💻👨‍🎨👨‍🔬
Githubhttp://github.com/brendanzab
Instagramhttps://www.instagram.com/brendanzab/
Twitterhttps://twitter.com/brendanzab
Pronounshttps://pronoun.is/he
Brendan ZabarauskasFeb 28, 2022
Devine Lu LinvegaFeb 27, 2022

I'm seeing the "Don't write a programming language" article shared all over the place.

I say, No! Make one, it's endless fun, it covers so many disciplines, it's more akin to art and design than programming, and community-wise, it's a good way to find like-minded folks! You should definitely try your hand at it at least once or twice.

Show threadBrendan ZabarauskasFeb 26, 2022
Hmm, kind of suggests that it would be interesting to reframe it in terms of type theory to see what happens. I wonder if that has already been done before. 🤔
Show threadBrendan ZabarauskasFeb 26, 2022
@brad yeah in this case I have no idea lol. sorry for my unhelpful misunderstanding, haha! as usual I am a bit too preoccupied by the types 😳
Show threadBrendan ZabarauskasFeb 26, 2022

@brad

> but two sets containing values of the same row-type

ohhhhhhhh - woops I misread

Show threadBrendan ZabarauskasFeb 26, 2022
@brad The DOT calculus also uses intersection for defining multifield classes - not sure what they use for the 'empty class' though.
Show threadBrendan ZabarauskasFeb 26, 2022
@brad Here is an example of using “dependent intersection” for defining dependent record types: https://www.cs.cornell.edu/people/kopylov/papers/dinter/dinter.pdf
Show threadBrendan ZabarauskasFeb 26, 2022
@brad Ahh ok. Might have to see some more concrete examples to get my head around the relation stuff. I do know you can define records using: the unit type, single element records, and intersection. Is that a similar thing?
Show threadBrendan ZabarauskasFeb 26, 2022
@brad For intersection types I'd think that the unit element would be the `Any` type. For unions the unit element would be the `Void`/`Never` type. Are there any parallels to be had with this?
Show threadBrendan ZabarauskasJan 27, 2022
@ionchy @wilbowma ahh *phew*. no mental health professional I've ever talked to in Aus ever showed showed me them. seems a bit like psychoanalytic quackery tbh :O
Brendan ZabarauskasJan 27, 2022
@wilbowma @ionchy wait do they actually use these things in the states? I thought it was a weird hollywood trope.