Comments (2)
There exist a book "The book of Shen".
It would be nice if someone could write "The book of Coalton". As i'm missing alot.
from coalton.
If you need to be able to access the objects from outside of Coalton, define them in Lisp first and then import the type to Coalton
(Defclass bank-account...
(Coalton-toplevel
(Repr :native bank-account)
(Define-type BankAccount))
If you just want it all in Coalton, use define-struct to make similar objects:
(Coalton-toplevel
(Define-struct BankAccount
(Customer-name String)
(Acct-number UFix)))
Unless you're going to have multiple structs using the same methods, you can just use regular function definitions. If you do want multiple structs/types using the same functions, use define-class to define a typeclass
from coalton.
Related Issues (20)
- Type error on over-application of anonymous functions
- Coalton package form: support "shadow" clause
- reference page links are broken HOT 2
- add warning when exported symbol denoting a value doesn't have an explicit type declaration
- Bad error message for undefined type in `Declare`
- Fun (Bad) error message for duplicate definitions in the same toplevel
- Misleading error for toplevel operations in the repl
- Error messages are way too long and don't get wrapped around in Emacs
- Duplicate key errors don't indicate source location HOT 1
- `Unused variable` error encourages additionally declaring the function name to be unused.
- SB-EXT package lock violation when trying to load Coalton via Quicklisp HOT 2
- Unclear error message for heterogenous list
- type-error during printing of typechecker error HOT 2
- Intro document should acknowledge implicit `fromint` casting
- Index out of bounds stream error when compiling with `C-c C-c` on non-exhaustive `match` HOT 4
- Inconsistent span labeling
- Add `coalton-library/computable-reals` to the doc generator HOT 1
- Change 'computable-reals:print` to `cr-print`, fix package-check error
- Symbol and Keyword types HOT 1
- Add docstrings to symbol documentation for class methods HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from coalton.