3 ms·
Is there a name for this type of technique I can google?
by prionassembly 5y ago
Is there a name for this type of technique I can google?
- cjbgkagh 5y agoFor C# there is Roslyn Analyzers which was a foot in the door for a lot of things. F# has LiveCheck which AFAIK is a lot more powerful. I don't think there is much public info out there; Don Syme demos the use of it to add shape checking for Deep Learning models with full IDE interaction, but any arbitrary constraints can be added and constraint solvers are probably the easiest way to manage and compose those constraints. https://youtu.be/0DNWLorVIh4?t=3410 https://youtu.be/0DNWLorVIh4?t=3410