tversteeg / Carp

A statically typed lisp, without a GC, for high performance applications

Carp

WARNING! This is a research project and a lot of information here might become outdated and misleading without any explanation. Don't use it for anything important just yet!

Carp is a small programming language designed to work well for interactive and performance sensitive use cases like games, sound synthesis and visualizations.

The key features of Carp are the following:

• Automatic and deterministic memory management (no garbage collector or VM)
• Inferred static types for great speed and reliability
• Live reloading of code, REPL-driven development, a fun and helpful workflow
• Ownership tracking enables a functional programming style while still using mutation of cache friendly data structures under the hood
• No hidden performance penalties – allocation and copying is explicit
• Very good integration with existing C code

Learn more

• Installation - how to build the Carp compiler
• The Compiler Manual - how to compile code and configure your projects
• Carp Language Guide - syntax and semantics of the language
• Libraries - the various libraries that come built-in to Carp
• typograf.carp - a more complex example

A Small OpenGL/GLFW Example

(import gl)

(defn init []
  0f)

(defn tick [state]
  (+ state 0.15f))

(defn draw [state]
  (let [t @state
        steps 100
        step (/ 1f (itof steps))]
    (for (i 0 steps)
      (let [r (* step (itof i))
            r2 (+ r step)]
        (draw-line (* r (cosf (* t r)))
                   (* r (sinf (* t r)))
                   (* r2 (cosf (* t r2)))
                   (* r2 (sinf (* t r2))))))))

(defn spin []
  (glfw-app "Spin" init tick draw default-on-keys))

To build this example, save it to a file called 'example.carp' and load it with (load-lisp "example.carp"), then execute (bake-exe spin) to build an executable, or (spin) to run the program directly from the REPL.

Contributors

• Erik Svedäng @e_svedang
• Markus Gustavsson
• Fyodor Shchukin
• Anes Lihovac
• Chris Hall
• Tom Smeding
• Dan Connolly
• Reini Urban
• Anes Lihovac
• Jonas Granquist

License

Copyright 2016 Erik Svedäng

Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with the License. You may obtain a copy of the License at

http://www.apache.org/licenses/LICENSE-2.0

Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the specific language governing permissions and limitations under the License.