Beta

Join until impossible

Description
Loading description...
Reflection
Algorithms
  • Please sign in or sign up to leave a comment.
  • JohanWiltink Avatar

    Haskell translation

    Testing is not everything I would have liked it to be, but it's adequate.

    ( If anyone knows how to do polymorphic recursion, I have some questions for you .. )

  • JohanWiltink Avatar

    I have a Haskell translation for this. But I would like help with generating testcases with random types. Template Haskell may make this possible, but I don't know Template Haskell.

    Can anyone help?

    ( I have also posted this question on several CodeWars Gitter fora. Feel free to react anywhere. )

    • ice1000 Avatar

      I have no idea. It seems randomness is hard in Haskell in general, and I am not familiar with Haskell either :|

    • JohanWiltink Avatar

      Can't blame you. ( Randomness isn't actually that hard, it's just monadic. But the separation between type and term level is severe. )

  • monadius Avatar

    This comment has been hidden.

    • ice1000 Avatar

      Isn't that a valid solution? Updated tests with more nothing tests and stronger just tests.

    • ice1000 Avatar

      Ooops, it's now rejected. Somehow I didn't understand why it's invalid, but seems my test updates solves the issue.

      Issue marked resolved by ice1000 6 years ago