If you haven't noticed it yet, I have been posting pretty much exclusively over at @abs for a while now. I'm gonna move over there fully now, so please follow me there if you want to keep up with my stuff.
#reintroductions coz why not:
hi i'm into #programming , trying to learn (more of) #idris rn, I used to do a lot of #blender #3d stuff, some 2d art but nothing worth uploading, i watch a bunch of #animation (when i can) aaand sometimes i run.
also interested in #teaching and how it relates to the #hacking mindset.
oh and i like #plan9 (the operating system) and learning about weird systems and languages and stuff
aand i use it/its pronouns.
I watched Maybe Not* this morning and I'm not sure what to make of it.
Some of the points (union types vs sum types) were really good, but a lot of stuff was at least badly put as well.
As I see it, he rags in type systems for a while and then contrasts that with contracts (without calling them that) and just conveniently ignores that the guarantees between them are wildly different. That seems somewhat underhanded tbh.
*: Maybe Not - Rich Hickey - https://www.youtube.com/watch?v=YR5WdGrpoug