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

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

1 point by Jekyll 6060 days ago | link

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

-----

0 points by jules 6007 days ago | link

You mean type checking.

-----