And which approach would you suggest for adhoc polymorphism?
This Tweet is unavailable. Learn more
Conversation
See the Modular Implicits paper for OCaml. :)
1
Basically my dream lang uses dependent records for modules with implicits params for bounded polymorphism. Would be interested in experimenting with namespaced labels like Clojure to further improve modularity.
1
1
Would also be super interested in nice conversions between common expressions of the same structure, like monads based on join as opposed to flat map. Not sure though - there does seems to be lots of repetition in type classes as expressed in Haskell.