컴퓨터 공학/프로그래밍 언어론

컴퓨터 공학/프로그래밍 언어론

Statement-Level (two-way selection)

이번 글에서는 Statement-level 그러니까 당한 '~문' 에 대해서 알아볼 것이다. 프로그래밍에서 '~문' 하면 떠오르는 것들이 몇 가지 있을 것이다. 대표적으로 for문, while문, if문, switch 문 등이 있다. 그럼 이 친구들을 포함하는 대분류는 무엇일까? 궁금하지 않은가? (나만 궁금해?) 우리는 위와 같은 '~문' 들을 이렇게 분류 할 수 있다. Selection Statements(선택문) Iterative Statements(반복문) Unconditional Branching(무조건 분기) Guarded Commands(보호 명령) 그럼 차근차근 알아가보자. 📕Selection Statements(선택문) 먼저 선택문에 대해서 알아보자. (저는 선택한 적이 없는데요?) 선택..

컴퓨터 공학/프로그래밍 언어론

강 타입 언어 (vs 약 타입 언어)

강 타입 언어와 약 타입 언어를 다들 어디선가 한 번쯤 들어봤을 것이다. (안 들어 봤어? 그럼 지금 들어봐~) 📕강약약강인가요? 얼추 비슷하다 라고 말하고 싶지만 그런건 아니고, 이 두 언어 형태를 구분하는 요인은 여러 가지가 있다고들 하지만 가장 중요한 것은 '타입 에러를 항상 검출할 수 있냐' 이다. 사실 앞에 int, float 등등 자료형이 붙으면 강타입인줄 알았는데...(나도 그랬다. 강의 미리미리 들을걸) 교수님이 강 타입은~~가 강 타입(Strong type)입니다. 📕강 타입 그게 뭔데? 어떻게 하는 건데 나는 이제까지 C/C++을 강 타입 언어로 알고 있었다. 이 글을 읽는 사람들도 에?? 라고 생각할 것이다. (아님 말구) 강 타입을 정의를 보자. 타입 에러를 항상 검출할 수 있어야한..

후;
'컴퓨터 공학/프로그래밍 언어론' 카테고리의 글 목록