Future of Coding cover image

The Aesthetics of Programming Tools: Jack Rusher

Future of Coding

00:00

Logic Programming - Is That the One?

You can construct a type system in a logic burgamin environment, if you so choose. My my curiosity there is that something like ike minnie cameron is its. It's a tool that you'll reach for usually when you need to do that sort of logic programming as part of solving your domain problem. And i'm sort of curious tom sort of wondering aloud if there might be some kind of potential direction there for future tools where they have the facilities of logic programming.

Transcript
Play full episode

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app