4 ms·
Can we ask Codex to write in languages like Haskell where it's hard to make "small" mistakes, because types are catching you? Or does it circumvent that?
by avmich 5y ago
Can we ask Codex to write in languages like Haskell where it's hard to make "small" mistakes, because types are catching you? Or does it circumvent that?
- PartiallyTyped 5y agoConsidering Haskell is much more dense than most languages, it should be harder to create those small mistakes because the produced code is much shorter, but I haven't tested it, so take this with a grain of salt.
- YeGoblynQueenne 5y agoIf you want to auto-write Haskell, use MagicHaskeller: http://nautilus.cs.miyazaki-u.ac.jp/~skata/MagicHaskeller.html http://nautilus.cs.miyazaki-u.ac.jp/~skata/MagicHaskeller.ht... And whle we're at it, if you want to auto-write Prolog, use my own Louise: https://github.com/stassa/louise https://github.com/stassa/louise