Re:Coq typeclass resolution is Turing-complete
by User23 on Sunday April 16, 2023 @03:41PM
(#35593583)
* * *
[ Parent
| on HN ]
Re:Coq typeclass resolution is Turing-complete
by thaliaarchi on Sunday April 16, 2023 @03:50PM
(#35593665)
I was referring to how the communities of these languages typically frame the problem, so you need formal background to read the materials published on it. As you say, this is a major barrier. This is where Rust shines, in that they've framed the language in terms of how its used, developed accessible documentation, and steered away from delving into the theory behind it.