Towards Scalaz 8 #1231

Closed
aloiscochard opened this Issue Jul 31, 2016 · 1 comment

Comments

Projects
3 participants
@aloiscochard
Contributor

aloiscochard commented Jul 31, 2016

The intent of this issue is to give a summary of the active groundwork around scalaz8 and collect the hanging fruits available for those interested to help.

Research

There is a few topics which have to be researched before being able to move forward in the design of the library.

  • Interpreters
    • A numerical representation for Free? (#1211)
    • Reflection without remorse data-structure? (i.e. impl. by m50d)
  • Lenses (#1227)

The implementation of monad transformers and the RTS is on hold until this research work is done.

Design

Data

The code base contains currently only a few data structure, so there is room for contribution here, but we have to focus on structure that does not depend on Free for now.

There is surely a bunch of others which can be ported without requiring Free or transformers.

Laws

We currently lack a property-based testing and law checking system (#1230).

Consistency

During the initial design of the base library a few back and worth have been made, resulting in a few inconsistencies.

  • Zero-cost all the syntax (#1229).
  • Once the template system is finalized (#1226), we should ensure it is properly used among all instances definition of base.

Documentation

The core design seems stabilize and it will be possible soon to document the typeclass encoding and write basic examples.

@fommil

This comment has been minimized.

Show comment
Hide comment
@fommil

fommil Oct 9, 2017

Member

we currently have a Milestone and a label for scalaz8... should we scrap the label and just use the milestone?

Member

fommil commented Oct 9, 2017

we currently have a Milestone and a label for scalaz8... should we scrap the label and just use the milestone?

@jdegoes jdegoes added this to the 8.0.0 milestone Oct 9, 2017

@jdegoes jdegoes added this to To Spec in Scalaz 8 Nov 22, 2017

@jdegoes jdegoes referenced this issue Nov 22, 2017

Open

Scalaz 8 Roadmap #1526

15 of 99 tasks complete

@jdegoes jdegoes closed this Nov 22, 2017

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment