2022
[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
[SML] start sml
Let`s talk about SML, functional programming
[VIM] my .vimrc file
This is a summary of my vim settings.
[DataBase Systems] Disk Space Management
Let`s talk about disk space manager.
[DataBase Systems] introduction
This is the first post, and I wrote this as a review of the lectures I learned last semester.
Hello World!
This post is for test.
첫번째 게시물 확인용