Creating Objects

We can import the constructor of a Java class as a Flix function and use it to construct new objects.

For example:

import new \ IO as newFile;

Here we import the constructor of the class and give it the local name newFile. The newFile function takes a string argument and returns a fresh Java File object. Constructing a fresh object is impure, hence main is marked as having the IO effect.

When we import a constructor, we must specify the types of its formal parameters. This is required because Java supports constructor overloading (i.e. a class may have multiple constructors only distinguished by their formal parameters.)

For example, the class has another constructor that takes two arguments: one for the parent pathname and one for the child pathname. We can use this constructor as follows:

import new, String): \ IO as newFile;
newFile("foo", "HelloWorld.txt")

Here the import describes that the constructor expects two String arguments.