Joshua Shinavier
Joshua Shinavier
Removing embedded type names from the Haskell and Java coders might actually be possible without changes to inference, by more carefully distinguishing between type references and type definitions - but...
A simplified `betaReduceTerm` function is sufficient for now... just enough to evaluate application terms for the test suite
This is largely done, in that an analogous term reduction function exists in Haskell and Java (note that the new and superior function was ported from Java to Haskell rather...
See https://github.com/CategoricalData/hydra/tree/feature-80-python.
Note: at this time it is unclear what whether a schema encoding for Python is even meaningful, given that Python is schemaless. Meanwhile, the best data encoding for Python is...
Actually... as of Python 3.7 (released almost five years ago), Python does have "dataclasses", which have a record-like syntax, e.g. ```python @dataclass class Point: x: int y: int ``` These...
See https://github.com/CategoricalData/hydra/tree/feature_118_algo_w.
Note: this is done in #103.
Note: rather than create a separate issue, there is also some simplification to be done around the `Nominal`, `Element`, `Field`, `FieldType`, `Name`, and `FieldName` types. E.g. if we rename `Nominal`...
Won't fix. Nominal has been eliminated (in the branch for #125) so as to leave only monomorphic types in Hydra Core.