Re:Strong arrows: a new approach to gradual typing
by josevalim on Friday September 22, 2023 @01:56PM
(#37615332)
If it comes to this, we will certainly need to have a discussion on the topic. So I am definitely open to discussing the idea!
[ Parent
| on HN ]
There are no comments on this comment yet.