26 replies

Dropping Has (maybe)

https://twitter.com/jdegoes/status/1460916139693854724

could we too drop Has? maybe? (cc @796404522511368192 )

Some of us core ZIO contributors were discussing if we should rename

Has

Has

for ZIO 2.0. Not liking the choices, I sketched out a prototype that deletes

Has

Has

entirely, turning ZIO's R type parameter into a phantom type:

https://t.co/4Y4gvgqXQR

Twitter

•

11/17/21, 10:22 AM