markblokpoel / mathlib   0.9.1

This is a copy of the companion website main page, please visit https://www.markblokpoel.com/mathlib.

mathlib is a library for Scala supporting functional programming that resembles mathematical expressions such as set theory, graph theory and probability theory. This library was developed to complement the theory development method outlined in the open education book Theoretical modeling for cognitive science and psychology by Blokpoel and van Rooij (2021).

The goal of this library is to facilitate users to implement simulations of their formal theories. mathlib and Scala code is:

• 👓 easy to read, because mathlib syntax closely resembles mathematical notation
• ✅ easy to verify, by proving that the code exactly implements the theoretical model (or not)
• ❤️ easy to sustain, older versions of Scala and mathlib can easily be run on newer machines

For the scope of this documentation, we are going to assume you are familiar with setting up a blank Scala 2.13 project. Some helpful links to get you started are:

• Using IntelliJ to run Scala applications in
• Use the binder service or a local instance of the Jupyterlab tutorials at markblokpoel/mathlib-examples

If you have set up a Scala project with sbt, the Scala built tool, then add the following line to your build.sbt file to enable the library.

libraryDependencies += "com.markblokpoel" %% "mathlib" % "0.9.0"

If you have set up a Scala project in jupyter notebooks using Almond you can enable the library by adding the following line to a worksheet.

import $ivy.`com.markblokpoel::mathlib:0.9.0`

After enabling mathlib in your project you most likely will want to use some of its components. See the development section below for the available components and their import statements. Adding these import statements to a .scala file will import the component and allow you to write code using it. The examples below show how this is done.

The Github repository contains a few demos that can be found under mathlib/demos. To run and play around with these demos, first follow the instructions above for setting up this library. Then, download the scala files from the repository and copy them into your Scala project. They can be run as any Scala application, e.g., run Scala applications in Intellij or use the binder service of the tutorials.

You can find extensive tutorials on the basics of Scala and using mathlib in the markblokpoel/mathlib-examples GitHub repository. The tutorials include a link to an online service (binder) where you can try out the library without needing to install anything.

The current version of mathlib is v0.9.0 and the following components are complete, fully usable and will remain backwards compatible (i.e., code that uses these components will still run with future versions of mathlib). Currently, this library only supports Scala 2 and not Scala 3.

The following features are currently under development or planned. Any existing code related to these features may undergo significant changes in future versions. It may also contain bugs and code based on these features may not work with future versions of mathlib.

This software is licensed under the GNU General Public License v3.0.