Remote
arosien
@arosien@fosstodon.org
mastodon
4.6.6
super-ultra-premium, e.g., #scala, functional programming, mentoring, nerdy stuff. he/him.
principal at https://inner-product.com, author https://essentialeffects.dev
0
Followers
0
Following
10
Posts
Joined November 05, 2022
work:
Inner Product LLC: https://inner-product.com)
Posts
Replying to
@arosien@fosstodon.org
@SusanPotter i can’t seem to be able to read it no matter how hard i try. i think, tax is going to be x, accountant says well actually it’s 4x
Replying to
@arosien@fosstodon.org
@gvwilson@mastodon.social but… reading your post more deeply that’s not quite getting to what you are asking. will have a think
Replying to
@gvwilson@mastodon.social
@gvwilson@mastodon.social my brain says something something intrinsic vs extrinsic typing (https://ncatlab.org/nlab/show/intrinsic+and+extrinsic+views+of+typing) for the conceptual aspect
and for something more like what a programming language offers would be parametric polymorphism aka type classes where “what” you act on doesn’t matter but you have capabilities that limit/define the operations on it
Replying to
@kubukoz@mstdn.party
@kubukoz@mstdn.party @tpolecat@mastodon.social @alexelcu@mastodon.social who would dare to use unsafe features? WHO
Replying to
@MostlyHarmless@thecanadian.social
Replying to
@jesse@metasocial.com
@jesse most definitely. i'm super glad you have just a browsing tool; i'll check it out
Replying to
@jesse@metasocial.com
@jesse i don’t ai, but i use obsidian for this kind of task. something to steal/share with
Replying to
@fschaap@mastodon.social
@fschaap@mastodon.social my wife was a ghost phage for halloween one year 😍