My Lemmy Instance
  • Communities
  • Create Post
  • Create Community
  • heart
    Support Lemmy
  • search
    Search
  • Login
  • Sign Up
☆ Yσɠƚԋσʂ ☆@lemmy.mlM to Lisp Community@lemmy.mlEnglish · 2 months ago

The Lisp in the Cellar: Dependent Types that Live Upstairs [PDF]

zenodo.org

external-link
message-square
0
fedilink
  • cross-posted to:
  • lisp@programming.dev
5
external-link

The Lisp in the Cellar: Dependent Types that Live Upstairs [PDF]

zenodo.org

☆ Yσɠƚԋσʂ ☆@lemmy.mlM to Lisp Community@lemmy.mlEnglish · 2 months ago
message-square
0
fedilink
  • cross-posted to:
  • lisp@programming.dev
alert-triangle
You must log in or register to comment.

Lisp Community@lemmy.ml

lisp@lemmy.ml

Subscribe from Remote Instance

Create a post
You are not logged in. However you can subscribe from another Fediverse account, for example Lemmy or Mastodon. To do this, paste the following into the search field of your instance: !lisp@lemmy.ml

A community for the Lisp family of programming languages.

Lisp (historically LISP) is a family of programming languages with a long history and a distinctive, fully parenthesized prefix notation. Originally specified in 1958, Lisp is the second-oldest high-level programming language. Only Fortran is older, by one year.

Related communities

  • Clojure (lemmy.ml)
  • Clojure (programming.dev)
  • Lisp (programming.dev)
  • Scheme (lemmy.ml)
  • Scheme (programming.dev)
  • Guix (lemmy.ml)
  • Guix (infosec.pub)
  • Emacs (lemmy.ml)

Language references

  • Common Lisp
    • Hyperspec
    • CommunitySpec (a new rendering)
    • NovaSpec (a new rendering)
    • Spec (as searchable pdf)
    • Meta-Object Protocol: alu-original, vanilla-html, HTML5-mobile
    • Quick Reference
    • Type Hierarchy, (alt w/mop)
    • Format summary
    • Cheat Sheet
  • Scheme
    • r7 rs
    • r6 rs
    • r5 rs mirror
  • Racket
    • Reference
    • All documentation
  • Clojure
    • Reference

Tools

  • IDEs for CL
    • Portacle (Portable CL environment)
    • Plain Common Lisp (CL environment for Windows)
    • SLIME, SLY (Emacs)
    • SLIMV, Vlime (Vim)
    • Slima (Atom/Pulsar)
    • SLT (Jetbrains)
    • Alive (VScode)
    • Lem
    • and more (Sublime, Jupyter…)
  • Quicklisp (CL Library manager), Qlot (project-local library manager)
  • ocicl (new library manager)
  • Roswell (CL Environment Setup Utility)

Tutorials/FAQS

  • lisp-lang.org
  • The Common Lisp Cookbook
  • Style Guide Norvig/Pitman
  • Nikodemus’ CL FAQ
  • Google CL Style Guide (2014)
  • A Road to Common Lisp (2018) (noob guide)
  • Udemy Common Lisp course (videos, commercial)
  • State of the CL Ecosystem 2022 · 2020 · 2015
  • Where to get help with Common Lisp

Useful Lisp resources

  • Common-Lisp.net
  • Awesome CL (CL libraries)
  • Planet Lisp
  • Planet Scheme
  • comp.lang.lisp
  • CL Professionals Mailing List
  • Lisp companies
  • Wikipedia CL
  • Stackoverflow Lisp questions, CL, Scheme
  • Code Review (Lisp, CL, Scheme)
  • Rosetta Code, CL
  • Mailing Lists, more
  • ANSI Clarifications and Errata

Search

  • Quickref Library
  • L1sp redirect
  • Quickdocs Library

Videos

Common Lisp

  • Common Lisp videos

Clojure

  • Clojure TV

Racket

  • Racketlang’s playlist

Scheme

  • MIT’s SICP lectures

Books

  • Free, Complete, On-line, Authorized
    • Common Lisp: A Gentle Introduction to Symbolic Computation (Touretzky, 1990)
    • Common Lisp: An Interactive Approach (Shapiro, 1992)
    • The Common Lisp Cookbook / Original 2007
    • Common Lisp The Language, 2nd Edition [Pre ANSI] (Steele, 1990)
    • How to Design Programs (Felleisen, Findler, Flatt, Krishnamurthi)
    • Lisp Outside the Box (unfinished, Levine, 2011)
    • On Lisp (Graham, 1993)
    • Paradigms of Artificial Intelligence Programming (Norving, 1992)
    • Practical Common Lisp (Seibel, 2005)
    • Programming Languages: Application and Interpretation (Scheme) (Shriram Krishnamurthi, 2007-2020)
    • The Scheme Programming Language (Scheme) (R. Kent Dybvig, 2009)
    • Structure and Interpretation of Computer Programs, HTML5/EPUB3 (Scheme) (Abelson/Sussman, 1996)
  • Other Books
    • ANSI Common Lisp (Graham, 1995)
    • Common Lisp Recipes (Weitz, 2016)
    • Land of Lisp (Barski, 2010)
    • Let over Lambda (Hoyte, 2008)
    • Lisp, 3rd Edition (Winston/Horn, 1989)
    • Object-Oriented Programming in Common Lisp: A Programmer’s Guide to CLOS (Keene, 1989)
    • The Art of the Metaobject Protocol (Kiczales/des Rivières/Bobrow, 1991)

Food for thought

  • An Intuition for Lisp Syntax
  • Lambda the Ultimate
  • Erik Naggum comp.lang.lisp archive
  • Pascal Costanza’s Highly Opinionated Guide to Lisp

Implementations

  • CL Open Source
    • SBCL
    • CCL
    • ECL (embeddable)
    • ABCL (for JVM)
    • CLISP
    • CMUCL, mirror (*nix)
    • GCL
  • CL Commercial
    • Allegro CL
    • LispWorks multiplatform, iOS and Android
  • CL Developmental
    • CLASP (C++ interop on LLVM)
    • JSCL (javascript)
    • Mezzano (Lisp OS)
    • SICL (Modular)
    • alisp (interpreter, C89)
    • LCL (lua)
  • CL Historical
    • mocl for OSX, iOS and Android
    • Open Genera
    • Scieneer CL
    • CLiCC (CL→C)
    • Corman Lisp (MS-Windows)
    • Eclipse Common Lisp
    • MKCL (fork of ECL)
    • ThinLisp (CL→C)
    • WCL (embeddable)
  • Scheme TODO

Events

  • European Lisp Symposium
  • LispNYC
  • Lisp Ireland
  • Racket Con
Visibility: Public
globe

This community can be federated to other instances and be posted/commented in by their users.

  • 1 user / day
  • 4 users / week
  • 17 users / month
  • 63 users / 6 months
  • 1 local subscriber
  • 805 subscribers
  • 135 Posts
  • 84 Comments
  • Modlog
  • mods:
  • dinomug@lemmy.ml
  • __z@lemmy.ml
  • ☆ Yσɠƚԋσʂ ☆@lemmy.ml
  • cadar@lemmy.ml
  • BE: 0.19.4
  • Modlog
  • Legal
  • Instances
  • Docs
  • Code
  • join-lemmy.org