ra’s avatarra’s Twitter Archive—№ 30,102

    1. clojure friends: i am thinking about spec and generative testing for the a clojure compiler i am working on but not sure how that would work
      Permalink On twitter.com Twitter logo ra’s avatar ❤️ 4 Favorites Mood 0
  1. …in reply to @ra
    first off, does spec support multimethods?
    On twitter.com Twitter logo ra’s avatar Mood +2 🙂
    1. …in reply to @ra
      second, if i need to test e.g. interop, i need to generate ‘(A/B c d) where A is a valid class B is a valid method and c/d are valid args
      Permalink On twitter.com Twitter logo ra’s avatar Mood 0
      1. …in reply to @ra
        do i reflect on all types to get that info? it sounds like a ton of work compared to writing a handful of tests, but maybe im not getting it
        Permalink On twitter.com Twitter logo ra’s avatar ❤️ 1 Favorite Mood +2 🙂
        1. …in reply to @ra
          that said the idea of a generatively tested compiler is very exciting
          Permalink On twitter.com Twitter logo ra’s avatar ❤️ 2 Favorites Mood +3 🙂