3 ms·
Using the Curry-Howard isomorphism my program shows there is a mapping from HTTP requests to HTTP responses!
by zaik 3y ago
Using the Curry-Howard isomorphism my program shows there is a mapping from HTTP requests to HTTP responses!
- renonce 3y agoThat’s far off, your program also branches to standard libraries and kernel syscalls and networking with other servers and maybe loops that aren’t guaranteed to terminate, that there are 10000s of cases where HTTP requests map to an error (bottom) instead of a response