News for hackers. Stuff that matters.

A comment on Elixir's “Set Theoretical Type System” prototype/demo/showcase. Parent comment

Re:Elixir's “Set Theoretical Type System” prototype/demo/sho... by laszlokorte on Wednesday June 14, 2023 @04:12AM (#36322972)
A simple syntax would be something like

map :: forall a. ([a] -> [a])

or

map :: <a> ([a] -> [a])

[ Parent | on HN ]

There are no comments on this comment yet.