Sub:
자연어,natural_language
인공어,artificial_language
명세언어,specification_language - curr at 명세,specification
형식언어,formal_language
컴퓨터언어,computer_language
기계어,machine_language
logical_language =,logical_language . logical_language
{
logical language
logical_language (?)
https://planetmath.org/logicallanguage
https://proofwiki.org/wiki/Definition:Logical_Language
MKL: 형식언어,formal_language 언어,language 로직,logic
logical language
TODO ADDTO 로직,logic and del this line
}
// 오더,order에 따라 {
1 first-order_language =,first-order_language . first-order_language
}
프로그래밍언어,programming_language
DDL,data_definition_language
DML,data_manipulation_language
메타언어,metalanguage =메타언어,metalanguage =,metalanguage . metalanguage 메타언어 metalanguage .. metalanguage
{
cmp object_language via "혹자의 말을 빌리자면, object language와 metalanguage의 구분도 잘 안 합니다 .... 여타 교재와 달리 object language와 metalanguage의 차이"[1]
cmp object_theory vs metatheory via "object theory와 metatheory의 구분을 해 주지는 않기 때문에"
}
중간언어 intermediate_language (IL)
{
MKLINK
중간표현 intermediate_representation (IR) - 표현,representation

Sub:
공통_중간_언어 = https://ko.wikipedia.org/wiki/공통_중간_언어
Common_Intermediate_Language = https://en.wikipedia.org/wiki/Common_Intermediate_Language
}
기술언어,description_language
interface_description_language or interface_definition_language (IDL) |=,IDL IDL
{
인터페이스,interface
정의,definition
기술,description
언어,language
기술언어,description_language

Sub:
ASN.1 { https://en.wikipedia.org/wiki/ASN.1 }

인터페이스_정의_언어
= https://ko.wikipedia.org/wiki/인터페이스_정의_언어
Interface_description_language
= https://en.wikipedia.org/wiki/Interface_description_language
}
PHP_language
query_language (for database)
프로그래밍언어,programming_language
CPlusPlus언어 (C++)
C언어 (C)
D언어,D_language (D)
CSharp언어 (C#)
언어모델,language_model
언어학,linguistics
파스칼,Pascal
델파이,Delphi
자바,Java
자바스크립트,JavaScript
파이썬,Python => 파이썬,Python
펄,Perl
루비,Ruby
스킴,Scheme
Clojure
알골,ALGOL
{
/// "ALGOL"을(를) 전체 찾아보기 => http://tomoyo.ivyro.net/123/wiki.php/asdf?action=fullsearch&value=ALGOL&context=20&case=1

특징
call-by-name / call_by_name

https://zetawiki.com/wiki/ALGOL
https://zetawiki.com/wiki/알골_60
https://www.pls-lab.org/en/Algol_60
https://www.pls-lab.org/en/Algol-like_languages

알골_(프로그래밍_언어)
알골
}
포트란,Fortran or FORTRAN ?
{
포트란
}
BASIC - 베이직 베이식 중 tbd.
프롤로그,Prolog =,Prolog . Prolog {
프롤로그

프롤로그_(프로그래밍_언어)
= https://ko.wikipedia.org/wiki/프롤로그_(프로그래밍_언어)
= https://ko.wikipedia.org/wiki/프롤로그_(프로그래밍_언어)
...프롤로그 프롤로그 Prolog Prolog
... 프롤로그 입문 프롤로그 입문
... 프롤로그
}
스몰토크,Smalltalk =,smalltalk .
{
스몰톡
https://rosettacode.org/wiki/Category:Smalltalk
}
Self { 셀프_(프로그래밍_언어) Self_(programming_language) }
Newspeak { Newspeak_(programming_language) }
아이오,Io { 아이오_(프로그래밍_언어) }
루아,Lua
딜런,Dylan =,Dylan {
하스켈,Haskell =,Haskell . Haskell
해스컬 /ˈhæskəl/ (wpen)
{
Haskell

https://wiki.haskell.org/A_brief_introduction_to_Haskell

Bmks ko
한국어 책:
https://wikidocs.net/book/204
https://en.wikibooks.org/wiki/Haskell 의 번역.

monad =,monad =,monad . monad monad monad Monad adj. monadic ?
free_monad =,free_monad =,free_monad . free_monad free_monad free_monad Free_monad
{
https://wiki.haskell.org/Free_monad
}

Twin:

Haskell
= https://simple.wikipedia.org/wiki/Haskell

Haskell
= https://en.wikipedia.org/wiki/Haskell

Haskell_Curry에서 이름을 딴? - Yes

https://rosettacode.org/wiki/Category:Haskell

Misc twin:
Haskell

} // Haskell
다트,Dart =다트,Dart =,Dart 다트 Dart
{
다트_(프로그래밍_언어)
Dart_(programming_language)
}
어셈블리,assembly 보다는
어셈블리어,assembly_language - rel 어셈블러,assembler

웹어셈블리,WebAssembly (= Wasm)
=웹어셈블리,WebAssembly =,WebAssembly 웹어셈블리 WebAssembly | =,wasm wasm
{

https://webassembly.org/

웹어셈블리
WebAssembly

...
웹어셈블리 프로그래밍

}
Simula =,Simula . Simula
{
시뮬라 ? rationale ? chkout Simula

https://ko.wikipedia.org/wiki/시뮬라
https://rosettacode.org/wiki/Category:Simula
https://en.wikipedia.org/wiki/Simula

SimulaLanguage ?

...
Simula
Simula
}
Caml =,Caml . / OCaml =,OCaml .
{
https://rosettacode.org/wiki/Category:OCaml
OCaml
OCaml
}
Idris =,Idris =,Idris . Idris
{
https://github.com/jwvg0425/IdrisPractice

Idris 언어
Idris 언어
Idris 언어
Idris language
Idris
}
Clean =,Clean =,Clean . Clean
{
클린_(프로그래밍_언어)
= https://ko.wikipedia.org/wiki/클린_(프로그래밍_언어)
= https://ko.wikipedia.org/wiki/클린_(프로그래밍_언어)
}