3 ms·
Can you name a language which doesn't have large numbers of code snippets in stack overflow answers for performing common tasks?
by lemming 11y ago
Can you name a language which doesn't have large numbers of code snippets in stack overflow answers for performing common tasks?
- sgeisenh 11y agoMost academic languages don't have large numbers of stack overflow answers. Look at Standard ML or most dependently typed languages (Agda, Coq, Twelf, etc.). Though, Agda produces snippets for you with hole based programming and there are entire books written about generating snippets with tactics in Coq; as far as Twelf and others are concerned, well, you're on your own.