Robert Smith
Robert Smith
It's possible to do more comprehensive testing with randomized tests. Something like ``` (let ((r (random most-positive-double-float))) (= r (parse-float:parse-float (prin1-to-string r) :type 'double-float :exponent-character #\d))) ```
This is definitely useful enough to be on Quicklisp!
VT100 symbols, like `ACS_ULCORNER`, are assigned incorrectly. They are currently assigned to characters, but really should be assigned to a value that C likes. A relevant bits from `ncurses.h` are:...
Right now there's a lot of sloppy exporting with no clearly defined API. It should definitely be cleaned up, and there shouldn't be so much explicit use of `export`. The...
There are some new native CL types, `repr lisp ` not fully documented, etc.
Add documentation to each of the public Coalton packages, and emit it in the docs generator. - [x] Emit package docs in generator. - [ ] Add package docs to...
See [this paper](https://www.microsoft.com/en-us/research/publication/practical-type-inference-for-arbitrary-rank-types/?from=http%3A%2F%2Fresearch.microsoft.com%2Fusers%2Fsimonpj%2Fpapers%2Fhigher-rank%2F) for details, which claims > Higher-rank types have a very modest impact on type inference. We substantiate this claim in a very concrete way, by presenting a...
Neither Common Lisp nor Coalton have arbitrary precision numerical functions (`log`, `sin`, etc.). There are bigints, big rationals, but no big floats. SBCL has an add-on module allowing the use...
Generalized ADTs are pretty standard technology in typed FP. They're in OCaml and GHC. I don't think it would be too controversial if we implemented them too. [This](https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/old-wobbly.pdf?from=http%3A%2F%2Fresearch.microsoft.com%2Fen-us%2Fum%2Fpeople%2Fsimonpj%2Fpapers%2Fgadt%2Fms-cis-05-26.pdf) looks like...