Bring Some Of The Type Safety From Rust To LISP with the CL Type System

Опубликовано: 13 Апрель 2026
на канале: Gavin Freeborn

14,230

440

This tutorial is focused on the Common Lisp Type System. In combination with SBCL you get some of the features a good type system such as Complex Types, Compound Types, Algebraic Types, Compile Time Type Checking, Better Performance, and much more.

Portacle a Lisp IDE that comes with SBCL:
https://portacle.github.io/

Additional Type Resource:
https://lispcookbook.github.io/cl-coo...

Better Type Syntax:
https://github.com/ruricolist/serapeu...

CLHS: Declaration TYPE:
http://www.lispworks.com/documentatio...

CLHS: Declaration FTYPE:
http://www.lispworks.com/documentatio...

Library With Useful Predicates For Making Types:
https://github.com/Shirakumo/radiance

Let me know what you think and if there is anything specific you would like to learn about.

---------------► Wanna Support Me? ◀︎---------------
Github:
https://www.github.com/sponsors/gavinok
Patreon:
/ gavinfreeborn

---------------► Wanna Checkout My Dots? ◀︎---------------
Vimrc:
https://github.com/Gavinok/dotvim
Emacs Config:
https://github.com/Gavinok/emacs.d
---------------► Come Join The Community◀︎---------------
LBRY:
https://open.lbry.com/@GavinFreeborn:...
Matrix Space:
https://matrix.to/#/%23gavinfreeborn:...
Discord:
/ discord

⏱️TIMESTAMPS⏱️
00:00:00 - Intro
00:01:03 - The Rise Of Static Typing
00:01:49 - Where Does Lisp Fit In?
00:02:43 - Disclaimer
00:04:14 - Example Type Error
00:05:20 - Get The Most Out of Static Typing
00:05:59 - Additional Runtime Checking
00:06:27 - Static Typing Functions
00:07:43 - How Declaim Works
00:08:38 - Basic Type Overview
00:11:26 - TLDW on Basic Types
00:11:55 - Static Typing Variables
00:13:20 - Algebraic Typing
00:15:48 - Defining New Types
00:18:36 - Creating A URL Type