FunC Type System Defintion

[jubnzv]

The Types page has the following statement:

FunC has Miller-Rabin type system with support for polymorphic functions.

Could you please elaborate in more detail what Miller-Rabin type system is?

It seems like there is some confusion with the Miller-Rabin algorithm. However, the Hindley-Milner type system, which name sounds similar, is not suitable for FunC because it doesn't require explicit forall statements.

[ilyar]

There might be a typo, and it should say "Hindley-Milner type system" this is not the original system but a modified one, for example, in Haskell, it has a number of extensions and modifications, perhaps the authors were inspired by Haskell... https://downloads.haskell.org/~ghc/7.8.3/docs/html/users_guide/other-type-extensions.html