quantified-uncertainty / squiggle

An estimation language
https://squiggle-language.com
MIT License
148 stars 22 forks source link

More MixedPoint functions #3145

Open OAGr opened 3 months ago

OAGr commented 3 months ago

Description of suggestion or shortcoming:

MixedPoints are useful, but could use more functions. Some ideas:

isEmpty
PointSet.fromMixedSet() -> Makes uniform dist of mixed set. Might ask a question for how much mass is meant to be discrete. 
Pointset.truncate(MixedSet) -> Or maybe some options between "removing the parts in the MixedSet" and "removing the parts not in the MixedSet"
ContinuousInverse -> Some way of taking the inverse of the MixedSet. Can't really apply to Discrete, because it would be infeasible to list all discrete values.
Sum, etc.  -> Combine
min/max

It's very possible that we could begin by this just being a Squiggle library, but our current library discovery system isn't very great right now.