A little phantom type sample
Phantom types can be useful to move some runtime errors into the compile time. This small and slightly contrived example demonstrates one way that they might be used.Tweet
Already have Typesafe Activator? Search for
scala-phantom-types in the new application template catalog and create a new app.
Or grab the Activator Template Bundle:
- Download the Template Bundle
- Extract the downloaded zip file to your system
Start Typesafe Activator's UI:
In your File Explorer, navigate into the directory that the template was extracted to, right-click on the file named "activator.bat", then select "Open", and if prompted with a warning, click to continue:
Or from a command line:
This will start Typesafe Activator and open this template in your browser.
C:\Users\typesafe\scala-phantom-types> activator ui