Skip to content
0:00 / 0:00

#coalton#commonlisp#robertsmith

Func Prog Podcast Episode 10 - Robert Smith

Func Prog Sweden

56K subscribers • 32 videos on Hallway

YouTube
  • Recommended by 1 person: 1 in engineering communities.
  • Presented by Robert Smith, creator of Coalton

Intermediate. Assumes working knowledge.

830 views1 year ago1 recommendation

Programming languagesLisp and ClojureLanguage design and type systemsFunctional programming

Robert Smith discusses Coalton, a language embedding a Haskell-like type system in Common Lisp, and the benefits of REPL-driven development.

In this podcast I get down to business with Robert Smith, the creator of Coalton, a language-within-a-language for Common Lisp. We cover a bunch of things, including: - LISP through the years - REPL-driven development (and why you might not always want a REPL attached!) - What makes Common Lisp special - How Coalton brings a powerful, Haskell-like type system to Common Lisp - Writing efficient code without turning your beautiful Common Lisp code into pulp Episode links: youtube.com/watch?v=of92m4XNgrM flownet.com/gat/jpl-lisp.html stevelosh.com/blog/2018/08/a-road-to-common-lisp/ coalton-lang.github.io/ lexi-lambda.github.io/hackett/ stylewarning.com/ x.com/stylewarning === Func Prog Conf === funcprogconf.com/ === Episode in Spotify === open.spotify.com/episode/4fSw3GNVo9cU09iu2Cvi9x === Episode in Apple Podcast === podcasts.apple.com/se/podcast/10-robert-smith/id1808829721?i… #funcprogsweden #funcprogpodcast

Why it's here

1 person recommends this

What people say. Recommended as an insightful discussion on embedding static typing within Common Lisp and building the Coalton language.

u/stylewarningin r/ProgrammingLanguages • Recommends

On “Discussion on releasing a language, community building, and the problems it can bring (jai / vlang/ D / yours / mine, etc)”

Coalton, which is an impure ML dialect with Haskell's type system embedded in Lisp. Used to build quantum computing, signal processing, and defense applications. Talked about it at a conference and on a podcast.

u/stylewarningin r/ProgrammingLanguages • Recommends

Podcast with Robert Smith on Coalton and Common Lisp