Loading...

miniKanren Philosophy - William Byrd & Daniel Friedman

5,237 views

Loading...

Loading...

Transcript

The interactive transcript could not be loaded.

Loading...

Loading...

Rating is available when the video has been rented.
This feature is not available right now. Please try again later.
Published on Jan 17, 2013

David Nolen's popular core.logic library is based on miniKanren, a relational (logic) language embedded in Scheme. Two of the designers of miniKanren, William Byrd and Daniel Friedman, will describe the philosophy behind the design and implementation of miniKanren, and explain their thought process when writing miniKanren programs. They will also discuss the strengths and weaknesses of miniKanren, demonstrate several experimental language extensions, and explain what's next in the development of miniKanren.

Loading...

When autoplay is enabled, a suggested video will automatically play next.

Up next


to add this to Watch Later

Add to

Loading playlists...