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

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

1 point by Jekyll 6059 days ago | link

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

-----

0 points by jules 6006 days ago | link

You mean type checking.

-----