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.
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.
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.
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.
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.
a - b type checks where b - a or a + b should have been written.
shuffle(list) type checks where sort(list) should have been written.
sin(x) type checks where cos(x) is required.
The type of the average application code contains very little information. The crucial difference between sin and cos gets bulldozed; both are just number -> number.