Notes on Mars Rover Kata Nov 13h 2022

November 13, 2022

Questions

  • What have you learned?

  • Questions/thoughts

    • review objects cathestic, functional cathestic and arlo commit notation.
    • what’s arlo notion for adding only tests?
    • F!! to add both tests and production code feels like big steps
    • is there a better way to specify any in StateMonoid? feels like when both Output and State are the same … it seems like there some duplication
    • too many R!!, is there better way make it smaller?
    • what’re the languages that I want to use for most of my kata outside of java?
      • seems like typescript is a good one where I can leverage union types and functional libraries from the community
    • what is monoid?
      • “A monad is a construction that, given an underlying type system, embeds a corresponding type system into it. This monadic type system preserves all significant aspects of the underlying type system while adding features particular to the monad.”
      • looks like some Ring/Identiy theory
      • monoids are good for reducing function arguments
        • through currying
        • or thinking of function parameters as pre-constructor applied
      • https://marmelab.com/blog/2018/03/14/functional-programming-1-unit-of-code.html

References


Profile picture

Written by Tony Vo father, husband, son and software developer Twitter