Comments (1)
Seelengrab
commented on June 9, 2024
Well, those fiddly details are just what make floating point floating point :)
BigFloat (like BigInt) is currently unsupported since managing its state is quite a bit more challenging. There are not a lot of ways to construct a BigFloat/BigInt, and generating one from scratch is itself challenging. Hypothesis has this limitation too, it only supports up to 128-bit wide integers as far as I can tell and 16/32/64-bit floating point numbers.
I'm not opposed in principle to add this at some point, but it's going to require at the very least #3. There isn't really a good way to construct a BigInt/BigFloat from the raw choicesequence, without copying those (potentially huge) numbers around a lot.
from supposition.jl.
Related Issues (20)
- Allow more than one target score to be tracked
- Provide a way to set a global default configuration for `@check`
- Support giving a `minimum` & `maximum` to `Data.Floats`
- `Data.recursive` is mentioned but not documented HOT 1
- Rename `assume!` to `assume` HOT 4
- Have `@composed` assign its `Possibility` to the function name HOT 3
- Add a docstring for submodule `Supposition.Data`
- Align test summary column headers with columns
- Provide a way to configure the maximum allowed number of choices through `CheckConfig`
- Be smarter about `Overrun`
- Meta-Issue for the road to release
- [Doc]: Separate public interface from internals HOT 1
- TagBot trigger issue HOT 7
- [UX]: Better printing of `Possibility` subtypes HOT 1
- [Bug]: `SystemError` when running `@check` for the first time in a project without a stored database
- [UX]: Allow using anonymous functions & existing functions in `@composed`
- [Doc]: Unexplained jargon HOT 3
- [UX]: "Given expression is not a function call or definition" for short-form function definition
- [UX]: "An argument doesn't have a generator set!" HOT 2
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 supposition.jl.