search

kenbot / goggles

Pleasant, yet principled Scala optics DSL
MIT License
196 stars 7 forks source link

Test in dotty #40

Open bbarker opened 6 years ago

bbarker commented 6 years ago

This is more for discussion rather than saying "we should do it now", but I want to note that dotty seems to be going in the direction of using more string interpolation (e.g., XML literals will likely be replaced as interpolated strings), and I'd hazard a guess that using VS Code with it (or any other editor that supports the language protocol in the future) would actually show syntax errors within an editor.

kenbot commented 6 years ago

Great point, this is a thing to think about. From what I've seen, there is significant risk that Dotty's take on macros makes our approach (using whitebox macros) unworkable.

kenbot commented 6 years ago

This is interesting, and might mean that Goggles is viable beyond Scala 2 after all: https://github.com/dotty-staging/dotty/blob/add-transparent/docs/docs/typelevel.md

kenbot commented 5 years ago

Previous link is dead now, but: https://dotty.epfl.ch/docs/reference/metaprogramming/inline.html#specializing-inline-whitebox

Whitebox is back! It looks like this would let us refine the string context macro return type, which is what makes the Goggles approach work.

julien-truffaut commented 5 years ago

@kenbot btw I know that all Monocle blackbox macros have been ported in dotty, need to find the link