Re:OCaml at Bloomberg
by bradrn on Tuesday August 24, 2021 @11:26AM
(#28290101)
> TS which can parametrize on meta-types and integers (C++98, Haskell afaik)
Haskell also supports type-level strings and type errors, as well as arbitrary ADTs if defined with the -XDataKinds extension enabled. Not sure what you mean by ‘parametrizing on meta-types’ though.
Haskell also supports type-level strings and type errors, as well as arbitrary ADTs if defined with the -XDataKinds extension enabled. Not sure what you mean by ‘parametrizing on meta-types’ though.