Recent Releases of @explorable-viz/fluid
@explorable-viz/fluid - POPL 2022 artifact (final version)
Minor fixes to POPL 2022 artifact submission.
- PureScript
Published by rolyp over 3 years ago
@explorable-viz/fluid - POPL 2022 artifact submission
Version used for POPL 2022 paper. Adds brushing-and-linking example via De Morgan dual, records, backtick syntax for infix function names, and basic matrix rendering for convolution examples.
- PureScript
Published by rolyp over 4 years ago
@explorable-viz/fluid - PureScript migration
Also adds list comprehensions (and other syntactic sugar) and matrix convolution examples.
- PureScript
Published by rolyp almost 5 years ago
@explorable-viz/fluid - Online demo
Host demo online via GitHub Pages. Initial pass over Wrattler integration.
- PureScript
Published by rolyp about 6 years ago
@explorable-viz/fluid - Linking visualisations
Graphics library and slicing redesign. Demo of chart-to-chart linking.
- PureScript
Published by rolyp about 6 years ago
@explorable-viz/fluid - Basic execution differencing
Restore the execution indexing/differencing design which was present (although unused) in earlier implementations. The design is essentially the same as the one in my thesis, but environments currently contain “explained” values, rather than plain values, which probably impacts the amount of sharing between executions. I will revisit this in a later release. Added enough user interface to present the idea at IC 2019.
- PureScript
Published by rolyp over 6 years ago
@explorable-viz/fluid - Move annotations from values to traces
Usage bits (expressing demand/availability) are no longer stored on values, but on the traces that “explain” those values. This allows values to be shared by different steps of the computation, but have different usage at each step. Also reorganised things so that traces are structurally separate from values, as they are in the formalism.
- PureScript
Published by rolyp over 6 years ago
@explorable-viz/fluid - “Native object” implementation
Interpret object-language datatype constructors as JavaScript classes, values as instances of those classes, and the corresponding elimination forms as visitor objects that provide a classification callback for each constructor of the datatype.
Allows easier integration of our implementation with external libraries, and metavalues used internally by the interpreter (representing expressions, traces and so forth) to be freely used as object-language values with no reflection/reification overhead.
- PureScript
Published by rolyp over 6 years ago
@explorable-viz/fluid - Basic bar chart example
First end-to-end spike of forward/backward slicing with data view and forward slicing driven by mousing over data.
- PureScript
Published by rolyp almost 7 years ago