Post #1782121

2026-04-26 23:49 UTC

@zyd I'm a bit confused as to how I'm meant to get at the coalton/math systems. In sbcl, what should I do here: (ql:Quickload :coalton) (in-package :coalton-user) ;; hypothetically something like (coalton (pow 1/2 3/4)) ;; ? @tux0r @svetlyak40wt @vindarel @sanityinc @simon_brooke @jackdaniel @dougmerritt

Replies (3)

@zyd@yap.zyd.lol 2026-04-27 00:00

@screwlisp Coalton and the its standard libraries are all just normal ASDF systems and packages. So you'd define a package that imports a symbol or whatever way you usually like. This should be enough to do what you want: (cl:defpackage :foo (:use #:coalton #:coalton-prelude)) (in-package #:foo) coalton-prelude is a convenience package @tux0r @svetlyak40wt @vindarel @sanityinc @simon_brooke @jackdaniel @dougmerritt

Open ##1782122
@screwlisp@gamerplus.org 2026-04-27 00:00

@zyd Currently, I have done this in #emacs slime-scratch: $ sbcl > (ql:quickload :coalton) > (uiop:define-package :greenton-user (:mix :coalton-library/math/elementary :coalton :cl)) > (in-package :greenton-user) > (coalton (pow 2 3)) 8.0d0 so I guess this works, anyway. #commonLisp #lisp #typeTheory . But coalton wants me to specify types to do cool things I guess. @tux0r @svetlyak40wt @vindarel @sanityinc @simon_brooke @jackdaniel @dougmerritt

Open ##1782124
@simon_brooke@mastodon.scot 2026-04-27 06:41

@screwlisp OK, does this buy you anything over `(expt 1/2 3/4)`? I (for once) don't want to start another stupid flame war, but was this simply a question of how you get the Coalton stuff running, or is there something deeper in your question I'm missing?

Open ##1782125