News for hackers. Stuff that matters.

A comment on A Flexible Type System for Fearless Concurrency. Parent comment

Re:A Flexible Type System for Fearless Concurrency by mafribe on Sunday May 14, 2023 @08:23AM (#35937441)
This is true, but higher-order functions and polymorphism are extremely well-understood. (Including that there are various compromises with type-inference when you combine them with other constructs),
[ Parent | on HN ]
Re:A Flexible Type System for Fearless Concurrency by di4na on Sunday May 14, 2023 @08:47AM (#35937553)
No. No they really are not well understood and the complications in the type system multiply fast.
[ Parent | on HN ]