• We’re currently investigating an issue related to the forum theme and styling that is impacting page layout and visual formatting. The problem has been identified, and we are actively working on a resolution. There is no impact to user data or functionality, this is strictly a front-end display issue. We’ll post an update once the fix has been deployed. Thanks for your patience while we get this sorted.

This does not look like a fun class...

Crusty

Crusty

Lifer
http://www.cs.utexas.edu/users/moore/classes/cs378-jvm/index.html

The mathematical logic we use is Pure Lisp. If you know anything at all about Lisp, you probably think of it as merely a programming language. But we cast it as a logic, with a precisely given syntax, some axioms, and some rules of inference. We will prove theorems in Lisp.

Put another way, in this course you will come to understand the JVM by studying a Lisp model of the Java Virtual Machine.
Click to expand...
 
Had to take a derivative of Lisp for our intro to CS class at Georgia Tech: Scheme. I still am confused by the damn language.
 
Only a cruel cruel person would give the name of a speech condition a name that cannot be pronounced correctly by those who have it.

And as for the programming language... I have no idea what it is. 🙂

 
Lots of Insignificant Silly Parenthesis.

Lisp is a very efficient and interesting language....once you warp your mind enough to use it. 🙂
 
We used Scheme for one programming class.

That's an evil, evil language.

Took me quite a while to think in Scheme..sadly right after the final.
 
There are a few - let's call them - programming paradigms. This is a way to think, implemented in a programming language. One of those is Lisp. Another one is Prolog (for more fun, see concurent Prolog 🙂 ). And those are very different not only between themselves, but from other programming concepts (object oriented, procedural, SQL, and others).
Lisp is a programming language that can use structured data only in the form of lists. The advantage of Lisp is that there are some computers optimized for Lisp. If I remember correctly, Lisp is the language of choice in Artificial Intelligence, just like Fortran is the language of choice in engineering projects.
In Prolog you specify conditions for the result (logical conditions) and also you specify starting points also as logical conditions. The Prolog interpretor will then start from your conditions and reach (or not) the result. Unlike Prolog (which is only an interpretor), Lisp is compilable.
Concurrent Prolog is Prolog, just that there are more "threads" that evaluate conditions and advance from your starting points.
 
yes... scheme was evil...

in our class @ ohio state we had to program a interp-reader that would take in the scheme language. It would have to parse and then execute it. pure evil...
 
You must log in or register to reply here.

TRENDING THREADS

Back
Top