yitzchak/common-lisp-jupyter

common-lisp-jupyter

https://github.com/yitzchak/common-lisp-jupyter/actions/

A Common Lisp kernel for Jupyter along with a library for building Jupyter kernels, based on https://github.com/robert-dodier/maxima-jupyter/ by Robert Dodier which was based on https://github.com/fredokun/cl-jupyter/ by Frederic Peschanski.

This file describes the installation and usage of common-lisp-jupyter on a local machine, but you can try out common-lisp-jupyter without installing anything by clicking on the ***der badge above.

Motivation

In developing Maxima-Jupyter there were a number of enhancements and features added that cl-jupyter does not support. Because the structure of Maxima-Jupyter is significantly different from cl-jupyter back-porting these changes would probably be difficult. Therefore common-lisp-jupyter was created as library to support both Maxima-Jupyter and the included Common Lisp kernel. The library component handles all Jupyter messaging and most of the common kernel management tasks. This leaves only code evaluation and completion testing left to the derived kernel.

Examples

• http://nbviewer.jupyter.org/github/yitzchak/common-lisp-jupyter/blob/master/examples/about.ipynb — Simple examples including displaying images.
• http://nbviewer.jupyter.org/github/yitzchak/common-lisp-jupyter/blob/master/examples/widgets.ipynb — Basic widget examples.
• http://nbviewer.jupyter.org/github/yitzchak/common-lisp-jupyter/blob/master/examples/julia.ipynb — A Julia set explorer.

Comparison to cl-jupyter

In comparison to cl-jupyter the included kernel common-lisp has the following features.

• Markdown and PDF rendering

• Handling and rendering of multiple value return

• Correct setting of the REPL variables -, +, ++, +++, *, **, ***, /, // and ///

• Automatic detection of MIME types for files

• Handles code inspection, code completeness checking, code completion, shutdown requests and history requests.

• Can send clear output requests.

• Improved JSON serialization via jsown

• Improved message handling

• Automatic detection of pro***s on *query-io* and use input_request message to facilitate responses.

• COMM message handling and registration.

• Lisp interface to core IPython widgets is included in the jupyter-widgets package. Additional widgets are available in https://github.com/yitzchak/cytoscape-clj, https://github.com/yitzchak/kekule-clj, https://github.com/yitzchak/ngl-clj, and https://github.com/yitzchak/sheet-clj

Installation

common-lisp-jupyter may be installed on a machine using a local installation, a https://repo2docker.readthedocs.io/en/latest/ installation, or via a Docker image.

Local Installation

Requirements

• https://github.com/roswell/roswell or a system-wide installed Common Lisp implementation. Currently Clozure Common Lisp, Embeddable Common Lisp and Steel Bank Common Lisp are known to work. Other implementations which support the Bordeaux Threads package might work. For current implementation status please the https://github.com/yitzchak/common-lisp-jupyter/wiki/Implementation-Status.

• https://jupyter.org/

• http://zeromq.org/ library including development headers. On debian-based systems, you can satisfy this requirement by installing the package libczmq-dev. On Arch-based systems the package is named zeromq. In homebrew the package is named czmq. There are several ways to satisfy the requirement on Windows. For more details see the https://github.com/yitzchak/common-lisp-jupyter/wiki/Windows-Installation instruction in the wiki.

Installing via Roswell

• Install Roswell using the https://github.com/roswell/roswell/wiki/Installation. If you already have Roswell installed you may need to update your Quicklisp distribution with (ql:update-dist "quicklisp") inside a ros run shell to resolve package conflicts.

• Add the PATH in the initialization file (such as ~/.bashrc)

sh
export PATH=$PATH:~/.roswell/bin

• Install common-lisp-jupyter by roswell

sh
ros install common-lisp-jupyter

Installing via Quicklisp/ASDF

Install Quicklisp and use (ql:add-to-init-file). If you already have Quicklisp installed you may need to update your distribution with (ql:update-dist "quicklisp") to resolve package conflicts.

• To install an image based user kernel evaluate (cl-jupyter:install-image)
• To install a non-image based user kernel evaluate (cl-jupyter:install)
• To install a Quicklisp/ASDF based system which uses system or user packages available via ql:quickload or asdf:load-system evaluate (cl-jupyter:install :system t :prefix "pkg/"). Afterward copy the contents of the pkg directory to the system root. For instance in bash sudo cp -r pkg/* /. If you want to install to /usr/local/share then add the :local t key.
• To install a Quicklisp bundle based system evaluate (cl-jupyter:install :system t :local t :bundle t :prefix "pkg/"). Afterward copy the contents of the pkg directory to the system root. For instance in bash sudo cp -r pkg/* /

Installing via Quicklisp [version 20190521 and earlier]

Install Quicklisp and use (ql:add-to-init-file). If you already have Quicklisp installed you may need to update your distribution with (ql:update-dist "quicklisp") to resolve package conflicts.

Start your Lisp implementation and evaluate the following. The install command will try to deduce the correct command line arguments for your implementation. The keyword parameters :bin-path and :ev-flag can be used to customize these arguments. For example, for SBCL :bin-path is sbcl and :ev-flag is --eval. To install a kernel image using uiop:dump-image use cl-jupyter:install-image instead of cl-jupyter:install. install-image takes no arguments.

lisp
(ql:quickload :common-lisp-jupyter)
(cl-jupyter:install)

Running common-lisp-jupyter

common-lisp-jupyter may be run from a local installation in console mode by the following.

sh
jupyter console --kernel=common-lisp

Notebook mode is initiated by the following.

sh
jupyter notebook

repo2docker Usage

common-lisp-jupyter may be run as a Docker image managed by repo2docker which will fetch the current code from GitHub and handle all the details of running the Jupyter Notebook server.

First you need to install repo2docker (sudo may be required)

sh
pip install jupyter-repo2docker

Once repo2docker is installed then the following will build and start the server. Directions on accessing the server will be displayed once the image is built.

sh
jupyter-repo2docker --user-id=1000 --user-name=jupyter https://github.com/yitzchak/common-lisp-jupyter

Docker Image

A prebuilt docker image is available via Docker Hub. This image maybe run run the following command.

sh
docker run --network=host -it yitzchak/common-lisp-jupyter jupyter notebook --ip=127.0.0.1

A local Docker image of common-lisp-jupyter may be built after this repo has been cloned using the following command (sudo may be required). This image is based on the docker image archlinux/base.

sh
docker build --tag=common-lisp-jupyter .

After the image is built the console may be run with

sh
docker run -it common-lisp-jupyter jupyter console --kernel=common-lisp

Writing Jupyter Kernels

New Jupyter kernels can be created by defining a new sub-class of jupyter:kernel and by defining methods for the generic functions jupyter:evaluate-code and jupyter:code-is-complete. For reference, please see https://github.com/yitzchak/common-lisp-jupyter/blob/master/src/cl-kernel.lisp for the Common Lisp kernel that is included in the package.

The derived class of jupyter:kernel should initialize the following slots. Most of these slots are used to reply to kernel_info messages. Documentation for each can be found in the declaration of jupyter:kernel.

• name
• package
• version
• banner
• language-name
• language-version
• mime-type
• file-exension
• pygments-lexer
• codemirror-mode
• help-links

The method jupyter:evaluate-code should evaluate all code included in the input argument and return a list of evaluation results. Each result should be wrapped in an appropriate sub-class of jupyter:result. For instance, to return a S-Expr result one would call jupyter:make-lisp-result. jupyter:evaluate-code will be called with the package declared in the kernel class as the current default. For example, the Common Lisp kernel evaluates code in the COMMON-LISP-USER package.

The Jupyter message is_complete_request is also supported via the code-is-complete method. The return result should be one of allowed status messages, i.e. "complete", "incomplete", "invalid", or "unknown".

User level installation of kernels can be accomplished by a call to jupyter:install-kernel. https://github.com/yitzchak/common-lisp-jupyter/blob/master/src/cl-kernel.lisp has an example of this call made during the installation phase of Roswell.