type class struggle tweets

shitposting and trying to learn | 🏳️‍⚧️

[type class struggle tweets @onfiv]

@nektro i thought it was css not loading or something 😭

[type class struggle tweets @onfiv]

@kirancodes you gotta put Γ in there... it's not called a context for nothing :3

[type class struggle tweets @onfiv]

gordon romantasy

[type class struggle tweets @onfiv]

@SamuraiApology at least in china, the image of scheming unscrupulous eunuchs are was mostly propaganda from the confucian scholar families who competed with eunuchs for influence in the court. the eunuchs were loyal to the emperor more often than these families, although there were exceptions

[type class struggle tweets @onfiv]

@joseph_h_garvin It doesn't have to be, it's just the clearest evidence that the author of f didn't conceive of it as having arity 2.

[type class struggle tweets @onfiv]

@joseph_h_garvin I think the real answer to this is it is just not that common that we use a polymorphic `f : (...) -> a` at a function type. Even in Haskell, I don't often see people storing functions in lists/arrays, etc. The only exception is heavy use of the (->) functor maybe

[type class struggle tweets @onfiv]

@VictorTaelin @Andres_pq the {[...], dup, eval} subset of joy is tc

[type class struggle tweets @onfiv]

@kepe__ great proletarian cultural revolution?

[type class struggle tweets @onfiv]

@dawnlightmelody maybe i'm biased but i wouldn't describe them this way

[type class struggle tweets @onfiv]

@FFmpeg I tried print(c++ < c) and it told me true

[type class struggle tweets @onfiv]

@kaokukeko if you were replaced by a bot trained in your tweets i wouldn't notice

[undefined behavior @undebeha]

the next big thing in PL theory is gonna be dynamic scoping. you heard it here first folks dynamic scoping is the future

[type class struggle tweets @onfiv]

me to a friend: "how could you reasonably define tea such that coffee isn't a type of tea"

their response: "coffee is kiki, tea is boba"

[type class struggle tweets @onfiv]

@GrantSlatton This is the correct behavior, it should just be documented

[type class struggle tweets @onfiv]

@fractalmagica help i know mahjong now but not fighting games. what are quarter circles

[type class struggle tweets @onfiv]

academia stackexchange is wild because you can ask "does anyone have advice on being trans in math academia" and someone will say "you should fly to colorado and go to this panel"

[type class struggle tweets @onfiv]

@aramh I need to look again at the eff/frank papers...

[type class struggle tweets @onfiv]

@kaokukeko crazy rich wasians

[type class struggle tweets @onfiv]

@alpha_convert existential types

[type class struggle tweets @onfiv]

@defnotbeka i'd be really curious to read those sources or a modern telling of that history, i feel like i never got my head around modal logic?