Remote
arosien
@arosien@fosstodon.org
mastodon 4.7.3super-ultra-premium, e.g., #scala, functional programming, mentoring, nerdy stuff. he/him.
principal at https://inner-product.com, author https://essentialeffects.dev
314 Followers
202 Following
10 Posts
Joined November 05, 2022
work:
Inner Product LLC: https://inner-product.com)
Replying to
Replying to
@kubukoz@mstdn.party @tpolecat@mastodon.social @alexelcu@mastodon.social who would dare to use unsafe features? WHO
Replying to
@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
@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
@jesse i don’t ai, but i use obsidian for this kind of task. something to steal/share with
Replying to
@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