Open joshsh opened 1 year ago
See https://github.com/CategoricalData/hydra/blob/main/hydra-haskell/src/main/haskell/Hydra/Inference.hs and its dependencies
Low priority. Type inference is currently only needed for Haskell, Java, and Scala targets, i.e. for programming languages. The main targets for Hydra-Java at this time are data and schema languages.
See https://github.com/CategoricalData/hydra/blob/main/hydra-haskell/src/main/haskell/Hydra/Inference.hs and its dependencies