Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Quilc: An optimizing quantum compiler written in Common Lisp. Parent comment
>you've never used this.
What next? You've asked for an example of powerful typesystem, here, you got it. Other examples are SPARK, Coq, Liquid Haskell, Idris, C++20, Agda.
There are no comments on this comment yet.
>you've never used this.
What next? You've asked for an example of powerful typesystem, here, you got it. Other examples are SPARK, Coq, Liquid Haskell, Idris, C++20, Agda.