A statically typed lisp, without a GC, for real-time applications.
Go to file
2017-09-06 14:43:41 +02:00
app s/import/use in carp files. 2017-09-06 10:05:19 +02:00
core Better error messages for weird types in typedef. 2017-09-05 11:32:32 +02:00
docs Fixed imports in docs. 2017-09-06 14:43:41 +02:00
emacs REPLACE WITH HASKELL VERSION 2017-06-26 11:15:03 +02:00
examples s/import/use in carp files. 2017-09-06 10:05:19 +02:00
img square version of logo without text 2016-07-14 16:07:54 +02:00
out REPLACE WITH HASKELL VERSION 2017-06-26 11:15:03 +02:00
src Remove superfluos imports of Eval. 2017-09-06 14:37:32 +02:00
test REPLACE WITH HASKELL VERSION 2017-06-26 11:15:03 +02:00
.gitignore s/import/use in carp files. 2017-09-06 10:05:19 +02:00
CarpHask.cabal Moved array templates out into its own module. 2017-09-06 08:57:48 +02:00
LICENSE new license 2016-08-23 15:43:10 +02:00
README.md Fixed imports in docs. 2017-09-06 14:43:41 +02:00
Setup.hs REPLACE WITH HASKELL VERSION 2017-06-26 11:15:03 +02:00
stack.yaml Some clarifications in help. 2017-08-29 19:06:10 +02:00

Carp

Join the chat at https://gitter.im/eriksvedang/Carp

Logo

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!

Update (June 26, 2017): The total rewrite is now live, if you want to look at the old version it's under the branch named "c" in this repository.

About

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
  • 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
  • Straight-forward integration with existing C code

Learn more

The Carp REPL has built in documentation, run (help) to access it!

A Small Example

(use IO)
(use Int)
(use String)

(defn main []
  (do (println &"~ The number guessing game ~")
      (print &"Please enter a number between 1 - 99: ")
      (let [play true
            answer (random-between 1 100)]
        (while play
          (let [guess (get-line)
                num (from-string guess)]
            (if (= &guess &"q\n")
              (do
                (println &"Good bye...")
                (set! play false))
              (do
                (if (< num answer)
                  (println &"Too low.")
                  (if (> num answer)
                    (println &"Too high.")
                    (println &"Correct!")))
                (print &"Please guess again: "))))))))

To build this example, save it to a file called 'example.carp' and load it with (load "example.carp"), then execute (build) to build an executable.

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 - 2017 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.