good ideas in programming languages

24

Upload: dmitri-nesteruk

Post on 22-Jan-2018

210 views

Category:

Technology


2 download

TRANSCRIPT

Page 1: Good Ideas in Programming Languages
Page 2: Good Ideas in Programming Languages
Page 3: Good Ideas in Programming Languages

••

••

••

Page 4: Good Ideas in Programming Languages

Page 5: Good Ideas in Programming Languages

Page 6: Good Ideas in Programming Languages

••

••

Page 7: Good Ideas in Programming Languages

•• int [,] x = new int[2,2] { { 1,2 }, {3, 4} };• x = [1 2; 3 4]

•••• Z = [A B]• X' X^-1•

Page 8: Good Ideas in Programming Languages

c * A

A * B

•A \ B

Page 9: Good Ideas in Programming Languages

𝑎 𝑏𝑐 𝑑

×𝑒 𝑓𝑔 ℎ

=𝑎𝑒 + 𝑏𝑔 𝑎𝑓 + 𝑏ℎ𝑐𝑒 + 𝑑𝑔 𝑐𝑓 + 𝑑ℎ

𝑎 𝑏𝑐 𝑑

⨀𝑒 𝑓𝑔 ℎ

=𝑎𝑒 𝑏𝑓𝑐𝑔 𝑑ℎ

Page 10: Good Ideas in Programming Languages

•• 3f32

•X' * Y • X' *

Page 11: Good Ideas in Programming Languages

••

x = {[(2+3)-4]/2};•

• 𝑥𝑖𝑗

Page 12: Good Ideas in Programming Languages

X = [1 2; 3 4];X = [ 1 2

3 4 ];

X * Y;X .* Y;

Page 13: Good Ideas in Programming Languages
Page 14: Good Ideas in Programming Languages

{ … }

(x:i32) -> float { … }

f := (x:i32) -> float { … }

f := (x:i32) -> float { … }

Page 15: Good Ideas in Programming Languages

Page 16: Good Ideas in Programming Languages

data class Person(var name:String, var age:Int)

equals()/hashCode()

toString()

val (name, age) = john

val john = Person("John", 23)val jane = john.copy(name = "Jane")

Page 17: Good Ideas in Programming Languages
Page 18: Good Ideas in Programming Languages

class Foo{

group names{

first, middle?, last : string}

}

names

Page 19: Good Ideas in Programming Languages

struct Foo SOA{

int x;bool b;

}

Foo foos[128];

int[128]bool[128]

Page 20: Good Ideas in Programming Languages

≠ ≤ ≥

⋅ ⨉ ⨀

x²+y³

∧ ∨

Page 21: Good Ideas in Programming Languages

x.Contains(y)

!x.Contains(y)

x.Count == 0

x.All(e => y.Contains(e))

x.Remove(e => y.Contains(e))

y ∈ x or x ∋ y

y ∉ x

x = ∅

y ⊂ x

x ∖= y

∀x : {x ∈ items | x > 0}{print(x)

}

Page 22: Good Ideas in Programming Languages
Page 23: Good Ideas in Programming Languages