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 ernst_klim on Saturday March 02, 2019 @05:50PM (#19291611)
Powerful enough type system will catch all of these though.
[ Parent | on HN ]
Re:Quilc: An optimizing quantum compiler written in Common Lisp by kazinator on Saturday March 02, 2019 @06:34PM (#19291793)
Right, only you don't know what it's called, where to download it, or how to write the code.
[ Parent | on HN ]
Re:Quilc: An optimizing quantum compiler written in Common Lisp by ernst_klim on Sunday March 03, 2019 @02:04PM (#19296145)
Why? I do. Search for dependent types.

https://github.com/FStarLang/FStar

[ Parent | on HN ]
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 ]