Last week I came across this intuition: functional dependencies is like type level prolog. How does that sit with you?
Seems apt to me but I haven't utilized functional dependencies in my own work.
@SusanPotter Yes, that's exactly right.
Server run by the main developers of the project It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!