3 ms·
Is there value in learning verified programming for application developers? I've always been curious but they mostly seem like tools for academics.
by gsuuon 3y ago
Is there value in learning verified programming for application developers? I've always been curious but they mostly seem like tools for academics.
- deepsun 3y agoI believe the most value is taken when there's an asynchronous system and you need to verify it's correctness. Backend dev For app dev I'd say the main problem is always "what we even need to build?", and then polishing over user experience.