- Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science)
- Mathematical Theory of Programme Correctness (Prentice-Hall International series in computer science)
- The Haskell School of Expression: Learning Functional Programming through Multimedia
- LaTeX: A Document Preparation System (2nd Edition)
- Denotational Semantics
- Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
- Programs and Machines
- The Denotational Description of Programming Languages: An Introduction
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{ | |
"status": "OK", | |
"num_results": 7, | |
"results": [ | |
{ | |
"title": "Unemat BBG, Bloco C", | |
"lng": "-57.173137", | |
"lat": "-15.063462", | |
"elevation": "190", | |
"id": "416" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
[ | |
{ "name": "Função", "color": "#0F4176" }, | |
{ "name": "Bug", "color": "#e11d21" }, | |
{ "name": "Manutenção", "color": "#fbca04" }, | |
{ "name": "Melhoria", "color": "#5587BC" }, | |
{ "name": "Docs", "color": "#9DCFFF" }, | |
{ "name": "Dúvida", "color": "#cc317c" }, | |
{ "name": "DevTools", "color": "#00838F" }, | |
{ "name": "Abandonada", "color": "#000000" }, |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
// Soma valores do extrato no Guiabolso Web | |
Array.prototype.slice.call(document.querySelectorAll('.sc-jtRfpW.hTaFtu .jss88 span')).map(sp => sp.innerText).map(val => val.replace(' R$ ', '').replace(',', '.')).map(v => Number.parseFloat(v)).reduce((acc, n) => (acc + n), 0) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# Pin a package to a specific version | |
sudo apt-mark hold teamviewer | |
sudo apt-mark unhold teamviewer |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# I don't use VIM, I just want my own keybindings | |
unmapAll | |
# Default keybinding | |
map yll LinkHints.activateCopyLinkUrl | |
map ylt LinkHints.activateCopyLinkText | |
# My Emacs keybindings inspired by Ergoemacs | |
map <a-f> LinkHints.activate | |
map j scrollLeft |
Question: how does Reactive Programming compares to OOP for event handling in UIs?
- Reactive Programming (RxJS 5)
- Object-oriented Programming (OOP)
- https://codesandbox.io/s/conversor-de-temperatura-com-poo-0tcxt