JavaScript In The Sky
With Types
abraão
alves
matheus
albuquerque
# cejs
Slide 2
Slide 2 text
SLIDES ONLINE AT:
bit.ly/js-and-types-cejs
Slide 3
Slide 3 text
/ythecombinator
@ythecombinator
ythecombinator.me
Slide 4
Slide 4 text
No content
Slide 5
Slide 5 text
/AbraaoAlves
@abraao4lves
abraaoalves.github.io
Slide 6
Slide 6 text
No content
Slide 7
Slide 7 text
connect the dots
Slide 8
Slide 8 text
No content
Slide 9
Slide 9 text
what brings us to
ce.js?
Slide 10
Slide 10 text
JS Wat by Gary Bernhardt
http://bit.ly/js-wat
Slide 11
Slide 11 text
No content
Slide 12
Slide 12 text
typeof
Slide 13
Slide 13 text
No content
Slide 14
Slide 14 text
No content
Slide 15
Slide 15 text
distinguish between
different kind of
primitive values
distinguish between
them and objects
distinguish between
different kinds of
objects
Slide 16
Slide 16 text
wtf?
Slide 17
Slide 17 text
learning what
I hadn't learnt
Slide 18
Slide 18 text
"
data
Things known - or assumed as
facts -, which become the basis of
reasoning or calculation.
Slide 19
Slide 19 text
"
data
Quantities, characters or symbols of which
operations are performed by a computer and
stored and transmitted as electrical signals and
recorded on magnetic, optical or mechanical
recording media.
Slide 20
Slide 20 text
No content
Slide 21
Slide 21 text
No content
Slide 22
Slide 22 text
"
processes
Computational processes are abstract
beings that inhabit computers. As they
evolve, processes manipulate other abstract
things called data. The evolution of a process
is directed by a pattern of rules called a
program. People create programs to direct
processes.
Slide 23
Slide 23 text
"
datatypes
A specific representation of some
data.
Slide 24
Slide 24 text
type systems
"A type system is a syntactic method for
automatically checking the absence of certain
erroneous behaviors by classifying program
phrases according to the kinds of values they
compute.
Benjamin Pierce - Types and Programming Languages
Slide 25
Slide 25 text
The fundamental purpose of a type of
system is to avoid the occurrence of errors
during the execution of a program.
Luca Cardelli - Type Systems
"
Slide 26
Slide 26 text
"
Correctness-by-
Design
A program that is valid in the
language, should also be a
correct program.
Slide 27
Slide 27 text
No content
Slide 28
Slide 28 text
a statically typed superset of JavaScript
that compiles to plain JavaScript
Slide 29
Slide 29 text
talk is CHEAP show me the
coDE
Slide 30
Slide 30 text
demo time
Slide 31
Slide 31 text
thanx
abraão
alves
matheus
albuquerque
# cejs
Slide 32
Slide 32 text
JavaScript In The Sky
With Types
abraão
alves
matheus
albuquerque
# cejs
Slide 33
Slide 33 text
/ythecombinator
@ythecombinator
ythecombinator.me
Slide 34
Slide 34 text
/AbraaoAlves
@abraao4lves
abraaoalves.github.io
Slide 35
Slide 35 text
No content
Slide 36
Slide 36 text
is it an active
project?
Slide 37
Slide 37 text
No content
Slide 38
Slide 38 text
1.5 1.6 1.7 1.8
Core ES2015 +
Decorators
Full ES2015 +
React/JSX
Async/await
on server
Control flow
analysis
one year, four releases
Slide 39
Slide 39 text
do people
use?
Slide 40
Slide 40 text
No content
Slide 41
Slide 41 text
No content
Slide 42
Slide 42 text
No content
Slide 43
Slide 43 text
what else?
Slide 44
Slide 44 text
No content
Slide 45
Slide 45 text
Swift In The Sky With Types
http://bit.ly/swift-types