컴퓨터 공학/프로그래밍 언어론(2)
-
Statement-Level (two-way selection)
이번 글에서는 Statement-level 그러니까 당한 '~문' 에 대해서 알아볼 것이다. 프로그래밍에서 '~문' 하면 떠오르는 것들이 몇 가지 있을 것이다. 대표적으로 for문, while문, if문, switch 문 등이 있다. 그럼 이 친구들을 포함하는 대분류는 무엇일까? 궁금하지 않은가? (나만 궁금해?) 우리는 위와 같은 '~문' 들을 이렇게 분류 할 수 있다. Selection Statements(선택문) Iterative Statements(반복문) Unconditional Branching(무조건 분기) Guarded Commands(보호 명령) 그럼 차근차근 알아가보자. 📕Selection Statements(선택문) 먼저 선택문에 대해서 알아보자. (저는 선택한 적이 없는데요?) 선택..
2021.12.05 -
강 타입 언어
강 타입 언어를 다들 어디선가 한 번쯤 들어봤을 것이다.(안 들어 봤어? 그럼 지금 들어봐~) 📕강약약강인가요?얼추 비슷하다라고 말하고 싶지만 그런건 아니고,강타입의 형태를 구분하는 요인은 여러 가지가 있다고들 하지만 가장 중요한 것은 '타입 에러를 항상 검출할 수 있냐' 이다. 사실 앞에 int, float 등등 자료형이 붙으면 강타입인줄 알았는데...(나도 그랬다. 강의 미리미리 들을걸)교수님이 ‘강 타입은~~가 강 타입(Strong type)입니다.’라고 말씀하셨다. 📕강 타입 그게 뭔데? 어떻게 하는 건데나는 이제까지 C/C++을 강 타입 언어로 알고 있었다.이 글을 읽는 사람들도 에?? 라고 생각할 것이다. (아님 말구) 강 타입을 정의를 보자. 타입 에러를 항상 검출할 수 있어야한다. '..
2021.12.04