A statically typed lisp, without a GC, for real-time applications.
Go to file
Scott Olsen 380945bf32
feat: add box type (#1358)
* feat: add box templates and box type

This commit adds an implementation of Boxes, memory manged heap
allocated values.

Boxes are implemented as C pointers, with no additional structure but
are treated as structs in Carp. To facilitate this, we need to add them
as a clause to our special type emissions (TypesToC) as they'd otherwise
be emitted like other struct types.

Co-authored-by: Veit Heller <veit@veitheller.de>

* fix: slight memory management fix for Box

Make sure we free the box!

* test: add tests for box (including memory checks)

* Revert "fix: Ignore clang nitpick"

This reverts commit 70ec6d46d4.

* fix: update example/functor.carp

Now that a builtin type named Box exists, the definitions in this file
cause a conflict. I've renamed the "Box" type in the functor example to
remove the conflict.

* feat: add Box.peek

Box.peek allows users to transform a reference to a box into a a
reference to the box's contained value. The returned reference will have
the same lifetime as the box. This function allows callers to manipulate
the value in a box without re-allocation, for example:

```clojure
(deftype Num [val Int])

(let-do [box (Box.init (Num.init 0))]
  (Num.set-val! (Box.peek &box) 1)
  @(Num.val (Box.peek &box)))
```

This commit also includes tests for Box.peek.

Co-authored-by: TimDeve <TimDeve@users.noreply.github.com>

Co-authored-by: Veit Heller <veit@veitheller.de>
Co-authored-by: Erik Svedäng <erik@coherence.io>
Co-authored-by: TimDeve <TimDeve@users.noreply.github.com>
2021-11-30 10:35:22 +01:00
.github ci: Merges different platform releases into one (#1313) 2021-09-17 13:49:06 +02:00
app Revert "fix: Ignore clang nitpick" 2021-11-19 19:57:14 +01:00
bench fix: Unify aupdate and aupdate! with other update functions (#1220) 2021-05-25 12:11:31 +02:00
core feat: add box type (#1358) 2021-11-30 10:35:22 +01:00
docs feat: Adds flag to always output C id with headerparse (#1353) 2021-11-03 09:09:26 +01:00
docs-html PR: additional local documentation as html (#1229) 2021-05-31 10:15:09 +02:00
examples feat: add box type (#1358) 2021-11-30 10:35:22 +01:00
headerparse feat: Adds flag to always output C id with headerparse (#1353) 2021-11-03 09:09:26 +01:00
resources refactor: Move logos into resorces directory 2020-11-20 07:52:59 +01:00
scripts test: REPL (#1239) 2021-06-15 08:02:44 +02:00
src feat: add box type (#1358) 2021-11-30 10:35:22 +01:00
test feat: add box type (#1358) 2021-11-30 10:35:22 +01:00
.build.yml Fix nixpkgs build. 2020-11-14 15:28:17 +01:00
.clang-format core: do not have short functions on single lines 2019-10-30 11:07:32 +01:00
.dir-locals.el Ormolu in default.nix and emacs before-save hook. (#1059) 2020-12-08 22:09:57 +01:00
.gitignore chore: Move test-for-errors to test directory 2020-11-28 13:11:43 +01:00
.travis.yml Fix nixpkgs build. 2020-11-14 15:28:17 +01:00
CarpHask.cabal feat: add box type (#1358) 2021-11-30 10:35:22 +01:00
CHANGELOG.md build: 0.5.3 2021-09-17 13:54:26 +02:00
default.nix chore: Simplify default.nix (#1085) 2020-12-21 13:46:10 +01:00
LICENSE new license 2016-08-23 15:43:10 +02:00
LUA_LICENSE lau license: fix referenced file 2019-01-14 12:08:36 +01:00
README.md build: 0.5.3 2021-09-17 13:54:26 +02:00
Setup.hs refactor: Apply Ormolu auto-formatting (#1045) 2020-12-02 16:33:37 +01:00
stack.yaml Try to fix Windows build failure switching resolver. 2020-05-23 00:29:44 +02:00

Carp

Logo

Linux CI MacOS CI Windows CI

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!

Version 0.5.3 of the language is out!

About

Carp is a 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 are explicit
  • Straightforward integration with existing C code
  • Lisp macros, compile time scripting and a helpful REPL

Learn more

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

A Very Small Example

(load-and-use SDL)

(defn tick [state]
  (+ state 10))

(defn draw [app rend state]
  (bg rend &(rgb (/ @state 2) (/ @state 3) (/ @state 4))))

(defn main []
  (let [app (SDLApp.create "The Minimalistic Color Generator" 400 300)
        state 0]
    (SDLApp.run-with-callbacks &app SDLApp.quit-on-esc tick draw state)))

For instructions on how to run Carp code, see this document.

For more examples, check out the examples directory.

Maintainers

Contributing

Thanks to all the awesome people who have contributed to Carp over the years!

We are always looking for more help check out the contributing guide to get started.

License

Copyright 2016 - 2021 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.

The regular expression implementation as found in src/carp_regex.h are Copyright (C) 1994-2017 Lua.org, PUC-Rio under the terms of the MIT license. Details can be found in the License file LUA_LICENSE.