Joshua Shinavier
Joshua Shinavier
Also, the `?` convention, as in `"?tv_1"`, is convenient but not helpful in the long run, as it is an obstacle to deserialization. Instead of `"?tv_1"`, we should use `{"variable":...
Note: closely related to #62. Basically, we need a sensible way of allowing primitives, UDFs, and DSL-based elements to override each other, in addition to providing default DSL-based elements for...
Empty tuple is different in Hydra (though yes it can be considered equivalent), and there are also other empty records in Hydra which are distinct from unit. It’s the canonical...
This has been done for a while. Close.
Note: this is another DSL module which may or may not need to be ported 1:1 into Java. The functionality needs to be there, but it doesn't necessarily need to...
Note that wrapper types now also have a type name, for symmetry with row types. Try to remove both in parallel.
Also: since #132 is now landed, `RowType` will go away completely, reducing to `list Field`.
Also also: once `RowType` is gone, the notion of placeholder names in schema module definitions will go away as well, and the `Types` DSL will become slightly simpler.
Investigated today. The two places where the embedded type name are really needed are in the Haskell and Java coders. Because of the way inference works right now (i.e. because...