Search Results
| Search type | Search syntax |
|---|---|
| Tags | [tag] |
| Exact | "words here" |
| Author |
user:1234 user:me (yours) |
| Score |
score:3 (3+) score:0 (none) |
| Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
| Views | views:250 |
| Code | code:"if (foo != bar)" |
| Sections |
title:apples body:"apples oranges" |
| URL | url:"*.example.com" |
| Saves | in:saves |
| Status |
closed:yes duplicate:no migrated:no wiki:no |
| Types |
is:question is:answer |
| Exclude |
-[tag] -apples |
| For more details on advanced search visit our help page | |
Results tagged with pl.programming-languages
Search options not deleted
user 4051
Programming languages, in particular, focussing on their semantics.
5
votes
What is the difference between proofs and programs (or between propositions and types)?
Proof irrelevance?
When you write some program, you are interested in its performance, memory consumption etc.
E.g it's better to use some clever sorting algorithm instead of bubble sort, even if the …
- 155