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 6102 days ago | link | parent

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

1 point by Jekyll 6101 days ago | link

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

-----

0 points by jules 6048 days ago | link

You mean type checking.

-----