Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2019-09-19 | test: add eitherN test | Alex Rice | 1 | -0/+1 | |
2019-09-19 | feat: add n-ary either | Alex Rice | 1 | -2/+4 | |
2019-09-17 | Add path type | Michael Fellinger | 2 | -1/+3 | |
2019-09-14 | docs(README): Add usage information to README | Vincent Ambo | 1 | -2/+46 | |
This fixes #2. | |||||
2019-08-29 | Merge pull request #1 from tazjin/feat/travis-builds | Vincent Ambo | 5 | -0/+343 | |
Add build configuration and various other repo setup chores | |||||
2019-08-29 | fix: Bump Nix in CI setup to 2.2.2 | Vincent Ambo | 1 | -0/+1 | |
Yants does not seem to work with older versions of Nix and I have not yet figured out why. | |||||
2019-08-28 | chore: Add contribution & code of conduct information | Vincent Ambo | 2 | -0/+135 | |
2019-08-28 | chore: Add Apache License 2.0 | Vincent Ambo | 1 | -0/+202 | |
2019-08-28 | docs: Add build status to README | Vincent Ambo | 1 | -0/+2 | |
2019-08-28 | feat: Add Travis CI configuration | Vincent Ambo | 1 | -0/+3 | |
2019-08-28 | chore: Change file layout to match repository instead of gist | Vincent Ambo | 9 | -39/+41 | |
2019-08-28 | test: Add test for pattern matching on sum types | Vincent Ambo | 1 | -0/+5 | |
2019-08-28 | test: Add a test to check that all types match the 'type'-type | Vincent Ambo | 1 | -1/+15 | |
2019-08-28 | feat: Introduce composable type errors and type parameter checking | Vincent Ambo | 1 | -101/+268 | |
This refactoring moves the type definitions into a recursively evaluated attribute set, which makes it possibe to refer to types in the definitions of other types. This functionality is used to type-check some of the type parameters passed in to other types. This is not yet done for all higher-order types because the evaluation semantics of Nix make it less useful for some cases. Further the definition of a type itself is now a stricter representation that works for all types except typed functions, which allows for composable error messages. | |||||
2019-08-28 | feat: Add rough initial version of sum types | Vincent Ambo | 2 | -1/+32 | |
Sum types are represented as attribute sets with a single key in them. | |||||
2019-08-28 | docs: Add defun to README | Vincent Ambo | 2 | -3/+19 | |
2019-08-28 | feat: Implement support for typing functions | Vincent Ambo | 3 | -1/+20 | |
The defun helper takes a type signature and a function and makes a typed version. Because we can. | |||||
2019-08-28 | test: Add some simple tests for type-checks | Vincent Ambo | 1 | -0/+48 | |
Does not currently test check failures, which makes it sort of not as useful as you'd think. | |||||
2019-08-28 | chore: Add Google's copyright header | Vincent Ambo | 1 | -0/+3 | |
2019-08-28 | docs: Update struct screenshot in README | Vincent Ambo | 1 | -1/+1 | |
2019-08-28 | feat: Improved error message for missing struct fields | Vincent Ambo | 2 | -1/+2 | |
2019-08-28 | docs: Add enum screenshot to README | Vincent Ambo | 1 | -1/+7 | |
2019-08-28 | feat: Add enum support | Vincent Ambo | 2 | -15/+22 | |
2019-08-28 | refactor: Gain back a few more lines | Vincent Ambo | 1 | -14/+8 | |
2019-08-28 | refactor: Drop back to below 100 lines :) | Vincent Ambo | 1 | -6/+2 | |
2019-08-28 | feat: Add function type | Vincent Ambo | 1 | -2/+3 | |
It's not currently possible to check arguments for curried functions, but there might be something on the horizon for attribute set functions. | |||||
2019-08-28 | feat: Add derivation type | Vincent Ambo | 1 | -0/+3 | |
2019-08-28 | docs: Fix image links (relative is not supported in gists) | Vincent Ambo | 1 | -3/+3 | |
2019-08-28 | chore: Move screenshots into the gist | Vincent Ambo | 4 | -3/+3 | |
2019-08-28 | feat: Support better error messages for list/attrs element checks | Vincent Ambo | 1 | -5/+13 | |
2019-08-28 | feat: Initial check-in of type system sketch | Vincent Ambo | 2 | -0/+104 | |