Polleverywhere Q's
History
oldest PL
first PL with objects
goto considered harmful
OO pillars
Structured Program theorem
Concurrency
basic concurrency models
Java threads model
concurrency issues
classic problems
item threads share
private shared fields
Java synch mechanisms
mutex vs semaphore
hardware support
Erlang
immutable data types
infinite loops
erlang concurrency model
actor model
single assignment rule
max number of processes
no message in mailbox
message passing
legal messages
hot swapping code
Erlang concurrency
deadlock in Erlang
Elixir
power erlang vs. elixir
Elixir data types
elixir concurrency model
referential transparency
single assignment rule in erlang?
single assignment rule in elixir?
elixir shell input
var binding rules
stateful processes
stateful process state
Elixir/Erlang interoperation