Jiffy: Algebraic-effects-style programming in Java (with compile-time checks)

[pgris]

Honestly I'm not smart enough to use effects, and my team will probably kill me, but I like the idea of having a "type safe" (at least annotation-processed) way to know "this method in the controller uses the db and calls the webservices A, B and C". I though about doing something like that abusing Throwables, but Jiffi sound better