[PL] Typing, Subtyping

Let`s talk about type-checking, subtype

[Comarch] Ch4. the processor-1

computer architecture ch4 : MIPS processor
which is simplified version

[Comarch] Ch2. Instructions: Language of the computer

computer architecture ch2 : MIPS instructions
which are operations executed by CPU

[Comarch] Ch1. computer abstractions and tech

computer architecture ch1 : computer, performance

[SML] ML Modules

Let`s talk about structure, signature, module

[SML] lexical scope, function closures, and idioms

Let`s talk about SML, functional programming

[SML] First-class functions, Subtyping

Let`s talk about most important thing in functional programming

[SML] nested patterns, exceptions, tail recursion

Let`s talk about nested patterns, exceptions, tail recursion.

[SML] records, datatypes, case expressions

Let`s talk about records, datatypes, case expressions.

[SML] tuples, lists, local bindings, benefit of no mutation

Let`s talk about tuples, lists, local bindings, immutation