Arc Forum | How can Qi be type inferring when its type system is turing complete?

Arc Forum

new | comments | leaders | submit

2 points by jules 5922 days ago | link | parent

How can Qi be type inferring when its type system is turing complete?

1 point by Jekyll 5921 days ago | link

IRC, the type inference is not guaranteed to terminate in pathological cases.

-----

0 points by jules 5868 days ago | link

You mean type checking.

-----