A statically typed lisp, without a GC, for real-time applications.
Go to file
Scott Olsen a9e806fee7
feat: implement blit on ByteOrder (#1410)
* 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>

* feat: implement blit on ByteOrder

ByteOrder is effectively just an enum that indicates desired endianness.
We can freely copy it around without penalty.

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>
2022-04-06 09:49:00 +02:00
.github ci: Re-enable Debug.sanitize on Windows (#1406) 2022-03-29 09:19:59 +02:00
app build: Release 0.5.4 2021-12-22 22:25:07 +01:00
bench fix: Unify aupdate and aupdate! with other update functions (#1220) 2021-05-25 12:11:31 +02:00
core feat: implement blit on ByteOrder (#1410) 2022-04-06 09:49:00 +02:00
docs feat: add c-name meta field (#1398) 2022-03-18 09:34:45 +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 chore: Updates Stackage version to 19.2 (#1408) 2022-04-05 11:32:09 +02:00
test chore: Updates Stackage version to 19.2 (#1408) 2022-04-05 11:32:09 +02: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 refactor: project configuration get/set parity (#1400) 2022-03-23 09:10:21 +01:00
CHANGELOG.md build: Release 0.5.4 2021-12-22 22:25:07 +01:00
default.nix fix: Fixes nix install by using correct pkg-configDepends config key (#1372) 2022-01-09 15:45:32 +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: Release 0.5.4 2021-12-22 22:25:07 +01:00
Setup.hs refactor: Apply Ormolu auto-formatting (#1045) 2020-12-02 16:33:37 +01:00
stack.yaml chore: Updates Stackage version to 19.2 (#1408) 2022-04-05 11:32:09 +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.4 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.