브라우저보다 빠른!
31 처지: C (프로그래밍 언어), C++11, C＃, 람다 대수, 리스트 (컴퓨팅), 리스프, 매스매티카, 명령형 프로그래밍, 미란다 (프로그래밍 언어), 부작용 (컴퓨터 과학), F＃, 스레드 안전, 스칼라 (프로그래밍 언어), 스킴 (프로그래밍 언어), 펄, 클로저 (프로그래밍 언어), 존 매카시 (컴퓨터 과학자), 커먼 리스프, 얼랭, 프로그래밍 패러다임, 프로그래밍 언어, 함수, 알론조 처치, 하스켈, Lex, ML (프로그래밍 언어), OCaml, SQL, XML, XSLT, Yacc.
C (프로그래밍 언어)
C는 1972년 켄 톰슨과 데니스 리치가 벨 연구소에서 일할 당시 새로 개발된 유닉스 운영 체제에서 사용하기 위해 개발한 프로그래밍 언어이.
새로운!!: 함수형 프로그래밍와 C (프로그래밍 언어) · 더보기 »
C++11
C++ 11(C++0x라고도 알려짐)은 ISO가 2011년 8월 12일에 승인한 C++ 프로그래밍 언어의 최신판이.
새로운!!: 함수형 프로그래밍와 C++11 · 더보기 »
C＃
C#(원래는 C♯)는 마이크로소프트에서 개발한 객체 지향 프로그래밍 언어로, 닷넷 프레임워크의 한 부분으로 만들었으며 나중에 ECMA (ECMA-334)와 ISO (ISO/IEC/23270)의 표준으로 자리잡았.
새로운!!: 함수형 프로그래밍와 C＃ · 더보기 »
람다 대수
수(λ-calculus, lambda-calculus)는 이론 컴퓨터과학 및 수리논리학에서 변수의 네임 바인딩과 대입의 방법을 이용하여 함수 정의, 함수 적용, 귀납적 함수 추상화를 수행하고 수학 연산을 표현하는 형식 체계이.
새로운!!: 함수형 프로그래밍와 람다 대수 · 더보기 »
리스트 (컴퓨팅)
세 개의 정수를 저장하고 있는 단순 연결 리스트 리스트(list)는 컴퓨터 과학에서 같은 값이 한 번 이상 존재할 수 있는 일련의 값이 모여있는 추상적 자료형이.
새로운!!: 함수형 프로그래밍와 리스트 (컴퓨팅) · 더보기 »
리스프
리스프(Lisp, LISP) 혹은 리습은 프로그래밍 언어의 계열로서, 오랜 역사와 독특하게 괄호를 사용하는 문법으로 유명.
새로운!!: 함수형 프로그래밍와 리스프 · 더보기 »
매스매티카
매스매티카(Mathematica)는 스티븐 울프램이 처음 고안하고 Wolfram Research에 의해 개발된 과학, 공학 등에서 널리 사용하는 계산용 소프트웨어이.
새로운!!: 함수형 프로그래밍와 매스매티카 · 더보기 »
명령형 프로그래밍
학에서 명령형 프로그래밍(Imperative programming)은 선언형 프로그래밍과 반대되는 개념으로, 프로그래밍의 상태와 상태를 변경시키는 구문의 관점에서 연산을 설명하는 프로그래밍 패러다임의 일종이.
새로운!!: 함수형 프로그래밍와 명령형 프로그래밍 · 더보기 »
미란다 (프로그래밍 언어)
미란다는 데이비드 터너가 그의 초기 프로그래밍 언어 SASL과 KRC의 후계자로서 설계한 느긋한 순수한 함수형 프로그래밍 언어이며, ML과 Hope로부터 몇몇 개념들을 가져왔.
새로운!!: 함수형 프로그래밍와 미란다 (프로그래밍 언어) · 더보기 »
부작용 (컴퓨터 과학)
학에서 함수가 결과값 이외에 다른 상태를 변경시킬 때 부작용이 있다고 말. 예를 들어, 함수가 전역변수나 정적변수를 수정하거나, 인자로 넘어온 것들 중 하나를 변경하거나 화면이나 파일에 데이터를 쓰거나, 다른 부작용이 있는 함수에서 데이터를 읽어오는 경우가 있. 부작용은 프로그램의 동작을 이해하기 어렵.
새로운!!: 함수형 프로그래밍와 부작용 (컴퓨터 과학) · 더보기 »
F＃
F#(에프 샤프)는 마이크로소프트가 닷넷 프레임워크의 부분으로 개발한 프로그래밍 언어이.
새로운!!: 함수형 프로그래밍와 F＃ · 더보기 »
스레드 안전
스레드 안전(thread 安全)은 멀티 스레드 프로그래밍에서 일반적으로 어떤 함수나 변수, 혹은 객체가 여러 스레드로부터 동시에 접근이 이루어져도 프로그램의 실행에 문제가 없음을 뜻. 보다 엄밀하게는 하나의 함수가 한 스레드로부터 호출되어 실행 중일 때, 다른 스레드가 그 함수를 호출하여 동시에 함께 실행되더라도 각 스레드에서의 함수의 수행 결과가 올바로 나오는 것으로 정의.
새로운!!: 함수형 프로그래밍와 스레드 안전 · 더보기 »
스칼라 (프로그래밍 언어)
스칼라()는 객체 지향 프로그래밍 언어와 함수형 프로그래밍의 요소가 결합된 다중패러다임 프로그래밍 언어이.
새로운!!: 함수형 프로그래밍와 스칼라 (프로그래밍 언어) · 더보기 »
스킴 (프로그래밍 언어)
스킴 프로그래밍 언어(Scheme) 는 함수형 프로그래밍과 절차적 프로그래밍을 지원하는 다중패러다임 프로그래밍 언어로, 리스프(LISP)의 방언(변종 언어)이.
새로운!!: 함수형 프로그래밍와 스킴 (프로그래밍 언어) · 더보기 »
펄
(Perl)은 래리 월이 만든 인터프리터 방식의 프로그래밍 언어 혹은 그 인터프리터 소프트웨어를 가리.
새로운!!: 함수형 프로그래밍와 펄 · 더보기 »
클로저 (프로그래밍 언어)
저(Clojure)는 리치 히키(Rich Hickey)가 만든 리스프 프로그래밍 언어의 방언으로서, 범용 함수형 언어이.
새로운!!: 함수형 프로그래밍와 클로저 (프로그래밍 언어) · 더보기 »
존 매카시 (컴퓨터 과학자)
존 매카시(John McCarthy, 1927년 9월 4일 - 2011년 10월 24일)는 미국의 전산학자이자 인지과학자이.
새로운!!: 함수형 프로그래밍와 존 매카시 (컴퓨터 과학자) · 더보기 »
커먼 리스프
먼 리스프 또는 커먼 리습 (Common Lisp)은 리스프 언어의 일종이.
새로운!!: 함수형 프로그래밍와 커먼 리스프 · 더보기 »
얼랭
LYME is '''Erlang'''-based and competing with LAMP 얼랭(Erlang)은 범용 병렬 프로그래밍 언어이.
새로운!!: 함수형 프로그래밍와 얼랭 · 더보기 »
프로그래밍 패러다임
밍 패러다임(programming paradigm)은 프로그래밍의 패러다임 형태이.
새로운!!: 함수형 프로그래밍와 프로그래밍 패러다임 · 더보기 »
프로그래밍 언어
C 프로그래밍 언어로 작성된 단순한 컴퓨터의 프로그램의 소스 코드. 컴파일되어 실행되었을 때 헬로 월드 메시지를 보여주고 있다. 구문 강조는 프로그래머들이 소스 코드의 요소를 인지할 수 있게 도움을 준다. 프로그래밍 언어는 컴퓨터 시스템을 구동시키는 소프트웨어를 작성하기 위한 언어이.
새로운!!: 함수형 프로그래밍와 프로그래밍 언어 · 더보기 »
함수
수를 상자에 비유한 그림. 수학에서, 함수(函數) 또는 사상(寫像)은 첫 번째 집합의 임의의 한 원소를 두 번째 집합의 오직 한 원소에 대응시키는 대응 관계이.
새로운!!: 함수형 프로그래밍와 함수 · 더보기 »
알론조 처치
알론조 처치(1903년 6월 14일 - 1995년 8월 11일)는 미국의 수학자이자 논리학자이.
새로운!!: 함수형 프로그래밍와 알론조 처치 · 더보기 »
하스켈
스켈 또는 해스켈()은 순수 함수형 프로그래밍 언어이.
새로운!!: 함수형 프로그래밍와 하스켈 · 더보기 »
Lex
Lex는 컴퓨터 과학 분야에서 구문 분석을 위한 대표적인 프로그램이.
새로운!!: 함수형 프로그래밍와 Lex · 더보기 »
ML (프로그래밍 언어)
ML은 범용 프로그래밍 언어의 일종이.
새로운!!: 함수형 프로그래밍와 ML (프로그래밍 언어) · 더보기 »
OCaml
OCaml(Objective Caml)은 Caml 프로그래밍 언어의 주요 구현체로서 Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy 등의 사람들이 1996년에 작성하였.
새로운!!: 함수형 프로그래밍와 OCaml · 더보기 »
SQL
이 도표는 단문을 구성하는 SQL 언어 요소 몇 가지를 보여준다. SQL(or, Structured Query Language, 구조화 질의어, S-Q-L)는 관계형 데이터베이스 관리 시스템(RDBMS)의 데이터를 관리하기 위해 설계된 특수 목적의 프로그래밍 언어이.
새로운!!: 함수형 프로그래밍와 SQL · 더보기 »
XML
XML 예제 XML(Extensible Markup Language)은 W3C에서 개발된, 다른 특수한 목적을 갖는 마크업 언어를 만드는데 사용하도록 권장하는 다목적 마크업 언어이.
새로운!!: 함수형 프로그래밍와 XML · 더보기 »
XSLT
XSLT(Extensible Stylesheet Language Transformations)는 XML 문서를 다른 XML 문서로 변환하는데 사용하는 XML 기반 언어이.
새로운!!: 함수형 프로그래밍와 XSLT · 더보기 »
Yacc
소프트웨어인 Yacc 는 유닉스 시스템의 표준 파서 생성기이.
새로운!!: 함수형 프로그래밍와 Yacc · 더보기 »
