News for hackers. Stuff that matters.

A comment on Can the language of proof assistants be used for general purpose programming?. Parent comment

Re:Can the language of proof assistants be used for general ... by ykonstant on Saturday October 28, 2023 @04:33AM (#38048189)
Before taking the plunge on using dependent types in production, please heed the warnings discussed here: https://lean-lang.org/functional_programming_in_lean/depende...
[ Parent | on HN ]

There are no comments on this comment yet.