News for hackers. Stuff that matters.

A comment on Quilc: An optimizing quantum compiler written in Common Lisp. Parent comment

Re:Quilc: An optimizing quantum compiler written in Common Lisp by kazinator on Monday March 04, 2019 @02:06AM (#19299364)
Calling your bluff; you've never used this.
[ Parent | on HN ]
Re:Quilc: An optimizing quantum compiler written in Common Lisp by ernst_klim on Monday March 04, 2019 @02:28AM (#19299441)
>only you don't know what it's called, where to download it, or how to write the code.

>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.

[ Parent | on HN ]