typescript |erlang |programming |statictypes Function Intersection Types Considered Surprising Max Heiber Posted on January 23, 2021