Using Staged Architecture for Effects
Making your program to be safe and reliable
Apr 27, 20253 min read7
Command Palette
Search for a command to run...
#scala
Articles tagged with #scala
Soundness of Programming Languages
The way of writing concise, robust and secure code
Sep 16, 202413 min read74
Functional Programming in Java
The concise and elegant way of development
Sep 16, 202417 min read16
Soundness of Programming Languages (Korean)
Programming Language 차원의 Soundness 와 Completeness Programming 언어의 Soundness 는 언어의 Type System 의 안정성과 신뢰성을 나타내는 개념입니다. 즉, 언어의 Type System 이 Program 의 Type 관련 오류를 모두 잡아낼 수 있다면, 그 언어는 “Sound 하다” 라고 합니다. 이는 Programming Language 가 제공하는 Satety 와 Correct...
Sep 16, 202413 min read54
Functional Programming in Java (Korean)
The concise and elegant way of development
Sep 1, 202417 min read20