심벌 마크
유니온백과
통신
다운로드하기 Google Play
새로운! 안드로이드 ™에 유니온백과를 다운로드 할 수 있습니다
비어 있는
브라우저보다 빠른!
 

자료형 체계

색인 자료형 체계

학에서, 자료형 체계(type system)는 값, 표현식, 함수, 모듈 등을 분류하는 규칙의 집합이.

62 처지: APL (프로그래밍 언어), C (프로그래밍 언어), C++, C#, D (프로그래밍 언어), Eval, 런타임, 동적 프로그래밍 언어, 루비 (프로그래밍 언어), 루아 (프로그래밍 언어), 리스프, 메모리 주소, 모의 객체, 명령어 집합, 문자 (컴퓨팅), 문자열, 값 (컴퓨터 과학), 분리 합집합, 부동소수점, 그루비 (프로그래밍 언어), 비트, 다형성, F#, GNU 옥타브, Go (프로그래밍 언어), IEEE 754, 스몰토크, 스칼라 (프로그래밍 언어), 자료형, 자바 (프로그래밍 언어), 자바스크립트, 자이썬, , 클로저 (프로그래밍 언어), 포트란, 인터페이스, 정수, 커먼 리스프, 컴파일 타임, 컴파일러, 컴퓨터 과학, 파스칼 (프로그래밍 언어), 파이썬, 오브젝티브-C, 형 이론, 얼랭, 에이다, 연산자 오버로딩, 산술, 프롤로그, ..., 프로그램 최적화, 프로그래밍 언어, 통역, 액션스크립트, 함수 오버로드, 하스켈, MATLAB, ML (프로그래밍 언어), OCaml, PHP, Signed와 unsigned, Tcl. 색인을 확장하십시오 (12 더) »

APL (프로그래밍 언어)

APL(A Programming Language)은 고급 수학용 프로그래밍 언어이.

새로운!!: 자료형 체계와 APL (프로그래밍 언어) · 더보기 »

C (프로그래밍 언어)

C는 1972년 켄 톰슨과 데니스 리치가 벨 연구소에서 일할 당시 새로 개발된 유닉스 운영 체제에서 사용하기 위해 개발한 프로그래밍 언어이.

새로운!!: 자료형 체계와 C (프로그래밍 언어) · 더보기 »

C++

C++는 AT&T 벨 연구소의 비야네 스트롭스트룹이 1983년 발표하여 발전한 프로그래밍 언어이.

새로운!!: 자료형 체계와 C++ · 더보기 »

C#

C#(원래는 C♯)는 마이크로소프트에서 개발한 객체 지향 프로그래밍 언어로, 닷넷 프레임워크의 한 부분으로 만들었으며 나중에 ECMA (ECMA-334)와 ISO (ISO/IEC/23270)의 표준으로 자리잡았.

새로운!!: 자료형 체계와 C# · 더보기 »

D (프로그래밍 언어)

D는 객체 지향 명령형 프로그래밍 언어이.

새로운!!: 자료형 체계와 D (프로그래밍 언어) · 더보기 »

Eval

eval 함수는 일부 프로그래밍 언어에서 제공하는 함수의 일종이.

새로운!!: 자료형 체계와 Eval · 더보기 »

런타임

임()은 컴퓨터 과학에서 컴퓨터 프로그램이 실행되고 있는 동안의 동작을 말. "런타임"이라는 용어는 컴퓨터 언어 안에 쓰인 프로그램을 관리하기 위해 특정한 컴파일러나 가상 머신이 사용하는 기본 코드의 라이브러리나 프로그램을 가리키는 런타임 라이브러리라고도 일컫.

새로운!!: 자료형 체계와 런타임 · 더보기 »

동적 프로그래밍 언어

동적 프로그래밍 언어(dynamic programming language, 동적 언어)는 다른 언어에서 컴파일 과정 중 수행하는 특정 일들을 실행 도중(런타임)에 수행하는 고급 언어를 의미하는 용어.

새로운!!: 자료형 체계와 동적 프로그래밍 언어 · 더보기 »

루비 (프로그래밍 언어)

비()는 마츠모토 유키히로가 개발한 동적 객체 지향 스크립트 프로그래밍 언어이.

새로운!!: 자료형 체계와 루비 (프로그래밍 언어) · 더보기 »

루아 (프로그래밍 언어)

아 로고 루아(Lua) 프로그래밍 언어는 가벼운 명령형/절차적 언어로, 확장 언어로 쓰일 수 있는 스크립팅 언어를 주 목적으로 설계되었.

새로운!!: 자료형 체계와 루아 (프로그래밍 언어) · 더보기 »

리스프

리스프(Lisp, LISP) 혹은 리습은 프로그래밍 언어의 계열로서, 오랜 역사와 독특하게 괄호를 사용하는 문법으로 유명.

새로운!!: 자료형 체계와 리스프 · 더보기 »

메모리 주소

학에서 메모리 주소는 메모리 위치에 대한 식별자로, 컴퓨터 프로그램이나 하드웨어 장치가 데이터를 저장하고 나중에 이를 가져오는 장소이.

새로운!!: 자료형 체계와 메모리 주소 · 더보기 »

모의 객체

모의 객체(Mock Object)란 주로 객체 지향 프로그래밍으로 개발한 프로그램을 테스트 할 경우 테스트를 수행할 모듈과 연결되는 외부의 다른 서비스나 모듈들을 실제 사용하는 모듈을 사용하지 않고 실제의 모듈을 "흉내"내는 "가짜" 모듈을 작성하여 테스트의 효용성을 높이는데 사용하는 객체이.

새로운!!: 자료형 체계와 모의 객체 · 더보기 »

명령어 집합

명령어 집합() 또는 명령어 집합 구조()는 마이크로프로세서가 인식해서 기능을 이해하고 실행할 수 있는 기계어 명령어를 말. 마이크로프로세서마다 기계어 코드의 길이와 숫자 코드가 다르.

새로운!!: 자료형 체계와 명령어 집합 · 더보기 »

문자 (컴퓨팅)

문자(文字)는 컴퓨터와 기계 기반 전기통신 용어로, 자연어 기록 형태의 알파벳이나 음절 문자와 같은 상징 따위와 일치하는 정보의 단위이.

새로운!!: 자료형 체계와 문자 (컴퓨팅) · 더보기 »

문자열

밍과 형식 언어 이론에서 문자열(文字列)은 기호의 순차 수열을 말. 스트링(string)이.

새로운!!: 자료형 체계와 문자열 · 더보기 »

값 (컴퓨터 과학)

학에서, 값은 더 이상 평가될 수 없는 하나의 식이.

새로운!!: 자료형 체계와 값 (컴퓨터 과학) · 더보기 »

분리 합집합

수학에서, 분리 합집합(分離合集合) 또는 서로소 합집합(-素合集合)은 원소들에게 그들이 속하던 집합에 대한 첨수를 추가하도록 변형된 합집합이.

새로운!!: 자료형 체계와 분리 합집합 · 더보기 »

부동소수점

Z3에는 부동소수점 산술 기능이 포함되었다. (뮌헨의 국립 독일 박물관) 부동소수점(浮動小數點, floating point) 또는 떠돌이 소수점 방식은 실수를 컴퓨터 상에서 근사하여 표현할 때 소수점의 위치를 고정하지 않고 그 위치를 나타내는 수를 따로 적는 것으로, 유효숫자를 나타내는 가수(假數)와 소수점의 위치를 풀이하는 지수(指數)로 나누어 표현.

새로운!!: 자료형 체계와 부동소수점 · 더보기 »

그루비 (프로그래밍 언어)

비(Groovy)는 자바에 파이썬, 루비, 스몰토크등의 특징을 더한 동적 객체 지향 프로그래밍 언어이.

새로운!!: 자료형 체계와 그루비 (프로그래밍 언어) · 더보기 »

비트

비트(bit, binary digit)는 하나의 비트는 0이나 1의 값을 가질 수 있고, 각각은 참, 거짓 혹은 서로 배타적인 상태를.

새로운!!: 자료형 체계와 비트 · 더보기 »

다형성

형성의 다른 뜻은 다음과 같.

새로운!!: 자료형 체계와 다형성 · 더보기 »

F#

F#(에프 샤프)는 마이크로소프트가 닷넷 프레임워크의 부분으로 개발한 프로그래밍 언어이.

새로운!!: 자료형 체계와 F# · 더보기 »

GNU 옥타브

옥타브(Octave)는 수치해석용 자유 컴퓨터 소프트웨어로서, MATLAB과 호환성이 높. 옥타브는 GNU 프로젝트의 하나이.

새로운!!: 자료형 체계와 GNU 옥타브 · 더보기 »

Go (프로그래밍 언어)

Go는 구글이 개발한 프로그래밍 언어이.

새로운!!: 자료형 체계와 Go (프로그래밍 언어) · 더보기 »

IEEE 754

IEEE 754는 전기 전자 기술자 협회(IEEE)에서 개발한 컴퓨터에서 부동소수점을 표현하는 가장 널리 쓰이는 표준이.

새로운!!: 자료형 체계와 IEEE 754 · 더보기 »

스몰토크

스몰토크(Smalltalk)는 동적 형, 반영을 지원하는 객체 지향 프로그래밍 언어이.

새로운!!: 자료형 체계와 스몰토크 · 더보기 »

스칼라 (프로그래밍 언어)

스칼라()는 객체 지향 프로그래밍 언어와 함수형 프로그래밍의 요소가 결합된 다중패러다임 프로그래밍 언어이.

새로운!!: 자료형 체계와 스칼라 (프로그래밍 언어) · 더보기 »

자료형

자료형(資料形) 또는 데이터 타입()은 컴퓨터 과학과 프로그래밍 언어에서 실수치, 정수, 불린 자료형 따위의 여러 종류의 데이터를 식별하는 분류로서, 더 나아가 해당 자료형에 대한 가능한 값, 해당 자료형에서 수행을 마칠 수 있는 명령들, 데이터의 의미, 해당 자료형의 값을 저장하는 방식을 결정.

새로운!!: 자료형 체계와 자료형 · 더보기 »

자바 (프로그래밍 언어)

자바()는 썬 마이크로시스템즈의 제임스 고슬링(James Gosling)과 다른 연구원들이 개발한 객체 지향적 프로그래밍 언어이.

새로운!!: 자료형 체계와 자바 (프로그래밍 언어) · 더보기 »

자바스크립트

자바스크립트()는 객체 기반의 스크립트 프로그래밍 언어이.

새로운!!: 자료형 체계와 자바스크립트 · 더보기 »

자이썬

자이썬(Jython)은 파이썬의 자바 구현으로, Jim Hugunin에 의해 처음으로 만들어졌.

새로운!!: 자료형 체계와 자이썬 · 더보기 »

(Perl)은 래리 월이 만든 인터프리터 방식의 프로그래밍 언어 혹은 그 인터프리터 소프트웨어를 가리.

새로운!!: 자료형 체계와 펄 · 더보기 »

클로저 (프로그래밍 언어)

저(Clojure)는 리치 히키(Rich Hickey)가 만든 리스프 프로그래밍 언어의 방언으로서, 범용 함수형 언어이.

새로운!!: 자료형 체계와 클로저 (프로그래밍 언어) · 더보기 »

포트란

(Fortran)은 1954년 IBM 704에서 과학적인 계산을 하기 위해 시작된 컴퓨터 프로그램 언어이.

새로운!!: 자료형 체계와 포트란 · 더보기 »

인터페이스

인터페이스() 또는 접속기는 사물 간 또는 사물과 인간 간의 의사소통이 가능하도록 일시적 혹은 영속적인 접근을 목적으로 만들어진 물리적, 가상적 매개체(접점)를 의미.

새로운!!: 자료형 체계와 인터페이스 · 더보기 »

정수

정수들의 집합은 순서에 따라 직선 위에 나타낼 수 있다. 수학에서, 정수(整數)는 양의 정수(1, 2, 3,...) 및 음의 정수(-1, -2, -3,...) 및 0으로 이루어진 수 체계이.

새로운!!: 자료형 체계와 정수 · 더보기 »

커먼 리스프

먼 리스프 또는 커먼 리습 (Common Lisp)은 리스프 언어의 일종이.

새로운!!: 자료형 체계와 커먼 리스프 · 더보기 »

컴파일 타임

일 타임(compile time)은 컴파일러에 의해 수행되는 동작(컴파일 타임 동작), 성공적으로 컴파일되기 위해서 소스 코드가 충족해야 하는 프로그래밍 언어 요구사항(컴파일 타임 요구사항), 또는 컴파일 동안 추론될 수 있는 프로그램의 속성을.

새로운!!: 자료형 체계와 컴파일 타임 · 더보기 »

컴파일러

일반적인 다중 언어, 다중 대상 컴파일러의 동작 모습. 컴파일러(compiler, 순화 용어: 해석기, 번역기)는 특정 프로그래밍 언어로 쓰여 있는 문서를 다른 프로그래밍 언어로 옮기는 프로그램을 말. 원래의 문서를 소스 코드 혹은 원시 코드라고 부르고, 출력된 문서를 목적 코드라고 부른.

새로운!!: 자료형 체계와 컴파일러 · 더보기 »

컴퓨터 과학

학()은 전산 이론, 하드웨어 및 소프트웨어에 중점을 둔 정보과학의 한 분야이.

새로운!!: 자료형 체계와 컴퓨터 과학 · 더보기 »

파스칼 (프로그래밍 언어)

스칼(Pascal)은 1969년에 스위스 ETH 취리히의 컴퓨터 과학자 니클라우스 비르트가 개발한 프로그래밍 언어로, 당대의 가장 인기있는 교육용 언어 중 하나였으며, 1980년대와 1990년대 초반에 걸쳐 널리 사용되었.

새로운!!: 자료형 체계와 파스칼 (프로그래밍 언어) · 더보기 »

파이썬

이썬()은 1991년 프로그래머인 귀도 반 로섬(Guido van Rossum)이 발표한 고급 프로그래밍 언어로, 플랫폼 독립적이며 인터프리터식, 객체지향적, 동적 타이핑(dynamically typed) 대화형 언어이.

새로운!!: 자료형 체계와 파이썬 · 더보기 »

오브젝티브-C

오브젝티브-C()는 C 프로그래밍 언어에 스몰토크 스타일의 메시지 구문을 추가한 객체 지향 언어이.

새로운!!: 자료형 체계와 오브젝티브-C · 더보기 »

형 이론

형 이론()은 수학, 논리학 그리고 컴퓨터 공학에서 소박한 집합론의 대안적인 형식 시스템 혹은 형식 이론 관련 연구 분야를 의미.

새로운!!: 자료형 체계와 형 이론 · 더보기 »

얼랭

LYME is '''Erlang'''-based and competing with LAMP 얼랭(Erlang)은 범용 병렬 프로그래밍 언어이.

새로운!!: 자료형 체계와 얼랭 · 더보기 »

에이다

에이다의 다른 뜻은 다음과 같.

새로운!!: 자료형 체계와 에이다 · 더보기 »

연산자 오버로딩

연산자 오버로딩은 객체 지향 컴퓨터 프로그래밍에서 다형성의 특정 경우로 다른 연산자들이 함수 인자를 통해서 구현을 할 때를 말. 연산자 오버로딩은 일반적으로 언어, 프로그래머, 또는 두 가지 모두에 의해 정의.

새로운!!: 자료형 체계와 연산자 오버로딩 · 더보기 »

산술

산술(算術, arithmetic)은 수학의 가장 역사 깊은 분야로, 수의 개념이나 수에 대하여 간단한 계산을 하는 방법, 그 성질이나 계산의 법칙 등의 이론적인 방법을 다루는 학문이.

새로운!!: 자료형 체계와 산술 · 더보기 »

프롤로그

음과 같은 뜻이 있.

새로운!!: 자료형 체계와 프롤로그 · 더보기 »

프로그램 최적화

적화(program optimization) 또는 소프트웨어 최적화(software optimization)는 정보 공학에서 시스템을 수정하여 어떠한 면의 작업이 더 효과적으로, 또는 자원을 덜 사용하도록 만드는 작업을 말. 이를테면, 컴퓨터 프로그램은 더 빠르게 실행되거나 기억 장치나 자원을 덜 차지하게 하여 운영케 하거나, 전력을 덜 쓰게 함으로써 최적화될 수 있. 이러한 시스템은 인터넷과 같은 완전한 네트워크나 컴퓨터의 모임으로서 단일의 컴퓨터 프로그램이 될 수 있.

새로운!!: 자료형 체계와 프로그램 최적화 · 더보기 »

프로그래밍 언어

C 프로그래밍 언어로 작성된 단순한 컴퓨터의 프로그램의 소스 코드. 컴파일되어 실행되었을 때 헬로 월드 메시지를 보여주고 있다. 구문 강조는 프로그래머들이 소스 코드의 요소를 인지할 수 있게 도움을 준다. 프로그래밍 언어는 컴퓨터 시스템을 구동시키는 소프트웨어를 작성하기 위한 언어이.

새로운!!: 자료형 체계와 프로그래밍 언어 · 더보기 »

통역

통역(通譯)은 서로 통하지 않는 둘 이상의 언어 구사자 사이에서 그들이 사용하는 말을 이해하여 그 뜻을 전해주는 행위를 말. 통역은 문자언어를 시간을 두고 숙고하여 문자로 옮기는 번역과는 구별되는 개념이며, 통역의 대상이 되는 언어는 반드시 발화(發話)되는 언어일 필요는 없고, 청각 장애인들의 수화가 될 수도 있. 통역은 크게 연사가 일정분량의 말을 청중에게 하고, 연사가 잠시 쉬는 동안 그동안의 말을 통역해주는 순차통역과 연사가 쉬지 않고 하는 말을 독립된 부스등의 장소에서 실시간으로 통역해 주는 동시통역으로 구분할 수 있.

새로운!!: 자료형 체계와 통역 · 더보기 »

액션스크립트

액션스크립트(ActionScript)는 ECMA스크립트를 기반으로 하는 스크립팅 언어이며, 주로 어도비 플래시 및 어도비 플래시 플레이어를 사용하는 소프트웨어나 웹사이트를 개발하기 위해 (웹 페이지에 SWF 파일 형식으로) 사용.

새로운!!: 자료형 체계와 액션스크립트 · 더보기 »

함수 오버로드

수 오버로드() 는 다양한 에이다(Ada), C#, C++, 자바((Java)등의 다양한 프로그래밍 언어에서 사용되는 함수의 특징으로, 같은 함수 이름을 가지고 있으나 매개변수, 리턴타입 등의 특징은 다른 여러개의 서브프로그램 생성을 가능하게 한다. (C언어는 지원하지 않는다) 예를 들어, doTask() 와 doTask(object O)는 오버로드된 함수이다. 후자를 호출하려면, 매개변수 없이 호출 가능한 전자의 경우와는 달리 객체를 매개변수로 넘겨주어야 한다. 자주 하는 실수가 바로 후자의 함수의 객체에 기본값을 부여하는 것인데, 이것은 모호한 호출을 하여 컴파일러가 둘 중의 어느 함수를 호출하였는지 알 수 없게되어 발생한다. 또 다른 예로 Print(object O) 함수를 들 수 있다. 이 경우, 우리는 글자를 출력하거나 그림을 출력할 때 이 함수가 서로 다르게 기능하기를 원한다. 이를 다른 두 함수로 표현하기 위해서는 Print(text_object T); Print(image_object P)로 각자 오버로드 되어야한다. 우리가 출력하기를 원하는 모든 객체에 오버로드 된 print 함수(메소드)를 사용할 수 있다면 우리는 객체의 형식과 올바른 함수를 호출 하기 위해 걱정할 필요가 없이 Print(something)의 통일된 형태로 가능하게 된다. 함수 오버로드는 런타임에 적절한 함수가 선택되는 가상 함수와 혼동되어서는 안된다.

새로운!!: 자료형 체계와 함수 오버로드 · 더보기 »

하스켈

스켈 또는 해스켈()은 순수 함수형 프로그래밍 언어이.

새로운!!: 자료형 체계와 하스켈 · 더보기 »

MATLAB

MATLAB(매트랩)은 MathWorks 사에서 개발한 수치 해석 및 프로그래밍 환경을 제공하는 공학용 소프트웨어이.

새로운!!: 자료형 체계와 MATLAB · 더보기 »

ML (프로그래밍 언어)

ML은 범용 프로그래밍 언어의 일종이.

새로운!!: 자료형 체계와 ML (프로그래밍 언어) · 더보기 »

OCaml

OCaml(Objective Caml)은 Caml 프로그래밍 언어의 주요 구현체로서 Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy 등의 사람들이 1996년에 작성하였.

새로운!!: 자료형 체계와 OCaml · 더보기 »

PHP

PHP(PHP: 하이퍼텍스트 프리프로세서.)는 프로그래밍 언어의 일종이.

새로운!!: 자료형 체계와 PHP · 더보기 »

Signed와 unsigned

signed와 unsigned는 컴퓨터 프로그램에서 수를 표기하는 자료형의 특성이.

새로운!!: 자료형 체계와 Signed와 unsigned · 더보기 »

Tcl

Tcl 로고 Tcl (원래 "Tool Command Language"에서 왔지만 관례적으로 "TCL"이 아니라 "Tcl"이라고 쓰며 "티클" 또는 "티씨엘"로 발음한다.)은 스크립트 언어로써 존 오스터하우트가 만들었.

새로운!!: 자료형 체계와 Tcl · 더보기 »

여기로 리디렉션합니다

동적 타이핑, 유형 시스템, 타입 시스템, 형 체계, 형 체제, 형 시스템.

나가는들어오는
이봐 요! 우리는 지금 Facebook에 있습니다! »