A statically typed lisp, without a GC, for real-time applications.
Go to file
Scott Olsen 856171ef16
Support defining types in modules (BREAKING) (#1084)
* fix: don't set the inner env to globals in type mods

Previously, we set the inner environment of a type generated module to
the global env in cases where the overarching context didn't have an
inner env. This leads to problems where by the recognition of modules is
inconsistent, and one can't use the names of types as submodules in
certain circumstances.

This commit fixes that issue.

* refactor: refactor primitiveDefmodule

This refactor fixes a issues with meta information on submodules, for
instance, sigs on submodule functions used to result in a compiler error
about ambiguous identifiers. This fixes that.

Unfortunately, I don't have a precise idea about what exactly was wrong
with the original definition of this function. My suspicion is that the
recursion originally altered submodule paths in the wrong way, but I'm
not certain. In any case it's fixed.

* fix: ensure macros are expanded in the correct module

Previously, macro expansions folded over all forms after the top level
form, without performing any context updates on encountered
`defmodules`. This created an issue in which macro calls that produced
new bindings, "meta stubs", were *hoisted* out of submodules and into
the top-level module, creating duplicate definitions.

This commit fixes that issue by adding a special case for defmodule in
macroExpand.

* fix: ensure submodules and globals don't conflict

Previously, our module lookups during new module definition always
eventually fell back to the global environment, which caused submodules
that happen to share a name with a global module to be confused with the
global module. This change fixes that, so now one can define both
`Dynamic` (global) and `Foo.Dynamic` without issue.

* fix: remove old prefixes from vector tests

Commit 7b7cb5d1e replaced /= with a generic function. However, the
vector tests still called the specific Vector variants of this function,
which were removed when the generic was introduced. After recent
changes, these calls are now (correctly) identified as erroneous. My
guess is that they only worked in the past because of problems with our
lookups.

* chore: format code

* feat!: support defining types in modules

This commit adds support for defining types (using deftype) in modules.
Previously, all types were hoisted to the top level of the type
environment. After this commit, the type environment supports defining
nested modules just like the value env, so, calling the following:

```
(defmodule Foo (deftype Bar Baz))
```

Adds the following to the type env:

```
Foo : Module = {
    Bar : Type
}
```

and the following to the value env:

```
Foo : Module = {
    Bar : Module = {
        Baz : (Fn [] Foo.Bar)
        copy : (Fn [(Ref Foo.Bar q)] Foo.Bar)
        delete : (Fn [Foo.Bar] ())
        get-tag : (Fn [(Ref Foo.Bar q)] Int)
        prn : (Fn [(Ref Foo.Bar q)] String)
        str : (Fn [(Ref Foo.Bar q)] String)
    }
}

```

Such a type is *distinct* from any type defined at the top level that
happens to also have the name `Bar`.

This commit also updates info and tests to account for types in modules.

BREAKING CHANGE: This change is breaking since it alters the names of
types that were previously defined in modules. A good example of this is
the `Id` type in the `Color` module. Previously, one could refer to this
type by simply typing `Id` since it was hoisted to the top level. Now it
*must* be referred to by `Color.Id` since `Id` at the top level of the
type env and `Color.Id` (Id in the color module) are considered to be
distinct types.

* chore: format code

* refactor: use concat instead of intercalate

* chore: remove excess parentheses

* chore: Add todo to return IO () in printIfFound
2020-12-22 13:27:57 +01:00
.github chore: Try scoop install zip --global 2020-12-20 21:13:32 +01:00
app Make sure output directory is right in test (#1089) 2020-12-22 10:36:43 +01:00
bench Add automatic map resizing (#1071) 2020-12-19 22:20:52 +01:00
core Support defining types in modules (BREAKING) (#1084) 2020-12-22 13:27:57 +01:00
docs docs: document delete (#1087) 2020-12-22 10:30:37 +01:00
examples refactor: Move code out of Macros.carp into other files (#1014) 2020-11-28 12:53:18 +01:00
headerparse fix: Bumped Ormolu version to 0.1.4.1 (#1050) 2020-12-03 12:02:58 +01:00
resources refactor: Move logos into resorces directory 2020-11-20 07:52:59 +01:00
scripts chore: Move doc generation after stack build in release script 2020-12-19 22:48:31 +01:00
src Support defining types in modules (BREAKING) (#1084) 2020-12-22 13:27:57 +01:00
test Support defining types in modules (BREAKING) (#1084) 2020-12-22 13:27:57 +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 Add Dynamic.hash (#1069) 2020-12-16 15:53:55 +01: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 Fix link to Contributing.md (#1049) 2020-12-03 09:58:18 +01: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.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 - 2020 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.