Brian Berns

I'm getting something very similar: "Op type not registered 'BlockLSTM'". Would love to have a solution.

For reference, here's an example where this problem occurs: * Unify types `x -> x` and `y -> Int`. * Input types `x` and `y` are unified, producing substitution `x

Thank you for the thoughtful response. > Implementation wise, would something like `Gen.map chooser >> Gen.filter Option.isSome >> Gen.map Option.get` work? I tend to avoid `Option.get` and repeated calls to...

Sure. I'm working on a compiler that does type inferencing, which relies on a [unification algorithm](https://en.wikipedia.org/wiki/Unification_(computer_science)). Two types can be unified if there is a substitution that can be applied...

Thanks. Glad you like it! I agree that we might want to get rid of HostWindow eventually, but I didn't want to go that far in my first attempt. Having...