Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
Scalaz hangout 20160529
  • How to denote identity structure

    • Have both
    • case class Identity[A](a: A)
    • type Id[X] = X
      • To use in certain circumstances (but not in transformers)
  • use kenji's scalaprops for testing?

    • strong yes -- Tony
  • starting point: Lens + basic data structures & type-classes [Identity, Const, Functor, Applicative, Traverse, Profunctor, Strong, Choice]

  • Task or IO or ?

    • IO not in base (too experimental -- into base once decided?)
    • Free is in base
    • Brian's opinion valuable here
  • transformers separated out, or in lens (core)?

  • monocle found that van laarhoven representation is slow

    • Why exactly is it slow? What's the best compromise?
    • composing the values has performance problem
  • the future of NonDeterminism

  • policy on code conventions and rules

    • e.g. variance (Liskov is absolutely necessary)
  • ICFP in Japan? ❤Kenji❤ will be there

  • How to do IO/Task, defer until Brian is available.

  • Take care splitting out into different modules (jars)

    • Can lead to paralysis.
    • My opinion is: split only based on degree of compromise against Scala -- Tony
      • e.g. scalaz-pure: Makes no compromises; no null, no side-effects, no type-case
      • Pertains to policy on code convention and rules
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.