Typesafe Activator

A little phantom type sample

A little phantom type sample

September 28, 2013

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.

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:

  1. Download the Template Bundle
  2. Extract the downloaded zip file to your system
  3. 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:

     C:\Users\typesafe\scala-phantom-types> activator ui 
    This will start Typesafe Activator and open this template in your browser.
comments powered by Disqus