3 ms·
This may be platform dependent. C# Roslyn Analyzers[0], for example, are quite powerful and can identify complex patterns in code. One approach to determinist
by CharlieDigital 18d ago
This may be platform dependent.
C# Roslyn Analyzers[0], for example, are quite powerful and can identify complex patterns in code. One approach to deterministic enforcement would be to ensure that the project is set up with an analyzers library and mistakes that can be deterministically flagged are
[0] https://learn.microsoft.com/en-us/visualstudio/code-quality/roslyn-analyzers-overview https://learn.microsoft.com/en-us/visualstudio/code-quality/...
- sarchertech 17d agoCode analysis can’t detect a sizable fraction of all possible errors because for any Turing complete language the number of possible errors is infinite.
- CharlieDigital 17d agoI don't think I implied that they could. Each of these are just layers of control at different lifecycles of agent code generation. Analyzers are nice because it gives targeted, static analysis that can prevent certain classes of errors very early and at lower iterative cost (e.g. a build)
- sarchertech 17d agoI said “You can’t deterministically keep them from making even a tiny fraction of all the possible errors they can and do make though.” And you replied “This may be platform dependent.” I’m unsure how else to read that other than an implication that this might be possible on some platforms.
- CharlieDigital 15d agoI would certainly consider Roslyn analyzers capable of covering "a tiny fraction" of possible errors :) They are quite capable of covering for many common types of structural coding mistakes.