Assignment: Write a compiler that compiles all programs that can't compile themselves.
Extra Credit: Use the compiler to compile assignment.
Subscribe to:
Post Comments (Atom)
skip to main |
skip to sidebar
Unpolished musings about consciousness, thought, information processing and computation.
My Books
Twitter Updates
Labels
- .NET
- Agile
- AI
- amazon.co.uk
- Atheism
- C
- C++
- Canvas
- Computer Science
- consciousness
- Education
- Erlang
- Evolution
- F#
- fine-tuning
- functional programming
- Fuzzy
- God
- HTML5
- humor
- intelligence
- JavaScript
- Jon Harrop
- Linear Algebra
- Linguistics
- Lisp
- Mathematica
- Mathematica Cookbook
- Mathematics
- Object-Orieted
- philosophy
- Physics
- Principle
- programming
- robotics
- Rule-Based
- science
- Science Fiction
- Semantic Web
- Simulation
- software development
- sylogism
- thermodynamics
- Troll
- Victor J. Stenger
- whining
- WISDI
Recently Read
- Frames of Mind: The Theory of Multiple Intelligences by Howard Gardner
- The Conscious Mind: In Search of a Fundamental Theory. By David J. Chalmers
- The First Idea: How Symbols, Language, and Intelligence Evolved from our Primate Ancestors to Modern Humans By Stanley Greenspan and Stuart Hanker
- The Haskell School of Expression by Paul Hudak
- The Quest for Consciosness By Christof Koch
About Me
- Sal Mangano
- Computer Science professional with a passion for AI, philosophy of the mind, and mathematics. Visit my LinkedIn Profile
Networks
2 comments:
In a sense that's what total-functional dependently-typed proof assistants like Coq and Epigram are for.
Ah, I always suspected that Coq and Epigram were menat to mess with Comp Sci steudents. :-)
Post a Comment