blueapple8259/wikipedia_raw_ko huggingface dataset:
{{위키데이터 속성 추적}}
{{Infobox programming language
| name = 시스템베릴로그<Br />SystemVerilog
| logo = 
| logo caption = 
| screenshot = 
| screenshot caption = 
| file ext = .sv, [[헤더 파일|.svh]]
| paradigm = 구조적(설계), 객체 지향(검증)
| released = {{시작 날짜와 나이|2002}}
| designer = [[시높시스]], 이후 [[IEEE]]
| developer = 
| latest release version = IEEE 1800-2017
| latest release date = {{시작 날짜와 나이|2018|02|22}}
| latest preview version = 
| latest preview date = <!-- {{시작 날짜와 나이|YYYY|MM|DD}} -->
| typing = 정적, 위크(weak)
| implementations = 
| dialects = 
| influenced by = 설계: [[베릴로그]], [[VHDL]], [[C++]],
검증: [[오픈베라]], [[자바 (프로그래밍 언어)|자바]]
| influenced = 
| programming language = 
| platform = 
| operating system = 
| license = 
| File format = 
| website = 
| wikibooks = 
| logo_size = 240px
}}

'''시스템베릴로그'''(SystemVerilog, 표준 '''IEEE 1800''')는 전자 시스템의 모델링, 디자인, 시뮬레이션, 테스트, 구현에 사용되는 [[하드웨어 기술 언어|하드웨어 기술]] 및 [[하드웨어 검증 언어]]이다. 시스템베릴로그는 [[베릴로그]] 및 일부 확장에 기반을 두며 2008년부터 베릴로그는 동일 [[IEEE 표준 협회|IEEE 표준]]의 일부이다. [[반도체]], [[일렉트로닉스]]의 설계 산업에 흔히 사용된다.

== 외부 링크 ==
;IEEE Standard Reference
The most recent SystemVerilog standard documents are [https://ieeexplore.ieee.org/browse/standards/get-program/page/series?id=80 available at no cost from IEEExplore].
* [https://ieeexplore.ieee.org/document/8299595 1800-2017 - IEEE Standard for SystemVerilog--Unified Hardware Design, Specification, and Verification Language]
;Tutorials
* [http://www.asic-world.com/systemverilog/tutorial.html SystemVerilog Tutorial]
* [http://www.project-veripage.com/sv_front.php SystemVerilog Tutorial for Beginners]
;Standards Development
* [http://www.eda.org/sv-ieee1800/ IEEE P1800] – Working group for SystemVerilog
* Sites used before IEEE 1800-2005
** [http://www.systemverilog.org/ SystemVerilog official website]
** [http://www.vhdl.org/sv/ SystemVerilog Technical Committees]
;Language Extensions
* [http://www.veripool.org/verilog-mode Verilog AUTOs] – An open source meta-comment system to simplify maintaining Verilog code
;Online Tools
* [http://www.edaplayground.com EDA Playground] – Run SystemVerilog from a web browser (free online IDE)
* [http://www.svericl.com/sverule sverule] – A SystemVerilog BNF Navigator (current to IEEE 1800-2012)
;Other Tools
* [http://sourceforge.net/projects/svunit/ SVUnit] – unit test framework for developers writing code in SystemVerilog. Verify SystemVerilog modules, classes and interfaces in isolation.
* [https://github.com/zachjs/sv2v/ sv2v] - open-source converter from SystemVerilog to Verilog

{{IEEE 표준}}
{{전거 통제}}

[[분류:하드웨어 기술 언어]]
[[분류:2002년 개발된 프로그래밍 언어]]
{{위키데이터 속성 추적}}
{{Infobox programming language
| name = Cω
| logo = ComegaLogo.png
| logo size = 120px
| paradigm = 다중 패러다임: 구조적, 명령형, 객체 지향, 사건 기반, 함수형
| year = {{시작 날짜와 나이|2003}}
| designer = [[마이크로소프트 리서치]] 및<br/>[[마이크로소프트 SQL 서버]] 웹데이터 팀
| developer =  [[마이크로소프트 리서치]] 및<br/>[[마이크로소프트 SQL 서버]] 웹데이터 팀
| latest_release_version = 1.0.2
| latest release date ={{시작 날짜|2004|10|28}}
| typing = 정적, 스트롱, 안전
| implementations =
| influenced_by = [[C 샤프|C#]], [[폴리포닉 C 샤프|폴리포닉 C#]]
| influenced = [[C 샤프|C#]]([[LINQ]] 포함), [[:en:Joins (concurrency library)|Joins Concurrency Library]]
| operating_system = [[크로스 플랫폼]]
| license =
| website = [http://research.microsoft.com/Comega/ Microsoft Research page]
| file_ext =
}}
'''Cω'''(see [[Ω|omega]]로 발음)는 [[마이크로소프트 SQL 서버]]의 웹데이터 팀이 [[영국]]의 [[마이크로소프트 리서치]], 레드먼드와 협업하여 개발한 [[C 샤프]]의 확장 기능이다. ω 표기가 불가능한 상황에서는 "Cw", "Comega"로도 표기한다. 한때 X#(X 샤프), 젠(Xen) 등의 [[암호명]]을 사용했다.

== 외부 링크 ==
* [http://msdn2.microsoft.com/en-us/library/ms974195.aspx Overview on MSDN]
* [http://research.microsoft.com/Comega/ Cω home page]
* [http://research.microsoft.com/ Microsoft Research Home Page]
* [http://research.microsoft.com/research/downloads/Details/f9d6994e-45f6-49b8-b3c9-2a44bb2a4c50/Details.aspx Joins Concurrency Library] {{웨이백|url=http://research.microsoft.com/research/downloads/Details/f9d6994e-45f6-49b8-b3c9-2a44bb2a4c50/Details.aspx |date=20080919031001 }}

[[분류:C 프로그래밍 언어 계열]]
[[분류:C 샤프]]
[[분류:병행 프로그래밍 언어]]
[[분류:마이크로소프트 리서치]]
{{위키데이터 속성 추적}}
{{Infobox programming language
|name = FP
|logo =
|paradigm = 함수 레벨
|year = 1977
|designer = [[존 배커스]]
|developer =
|latest release version =
|latest release date =
|typing =
|implementations =
|dialects = FP84
|influenced_by = [[APL (프로그래밍 언어)|APL]]<ref name="Hudak 1989">[http://haskell.cs.yale.edu/wp-content/uploads/2011/01/cs.pdf The Conception, Evolution, and Application of Functional Programming Languages] {{Webarchive|url=https://web.archive.org/web/20160311204021/http://haskell.cs.yale.edu/wp-content/uploads/2011/01/cs.pdf |date=2016-03-11 }} Paul Hudak, 1989</ref>
|influenced = [[FL (프로그래밍 언어)|FL]], [[하스켈]]
}}

'''FP'''(functional programming의 준말)<ref name="Backus 1977">{{저널 인용| doi = 10.1145/359576.359579| title = Can programming be liberated from the von Neumann style?: A functional style and its algebra of programs| journal = Communications of the ACM| volume = 21| issue = 8| pages = 613| year = 1978| last1 = Backus | first1 = J. | doi-access = free}}</ref>는 [[존 배커스]]가 함수 레벨 프로그래밍 패러다임을 지원하기 위해 개발한 [[프로그래밍 언어]]이다.<ref name="Backus 1977"/> 1960년대 초에 [[케네스 아이버슨]]이 개발한 [[APL (프로그래밍 언어)|APL]]로부터 상당한 영향을 받았다.<ref name="acm">{{웹 인용 |title=Association for Computing Machinery A. M. Turing Award |url=http://signallake.com/innovation/JBackus032007.pdf }}{{깨진 링크|url=http://signallake.com/innovation/JBackus032007.pdf }}</ref>

FP 언어는 배커스의 1977년 [[튜링상]] 논문 "폰 노이만 스타일로부터 프로그래밍이 자유로워질 수 있을까?/Can Programming Be Liberated from the von Neumann Style?"(부제: 프로그램의 함수형 스타일과 대수학/a functional style and its algebra of programs)에서 선보였다.

== 각주 ==
{{각주}}

== 외부 링크 ==
* [http://www.cse.sc.edu/~bays/group9/index1.html Interactive FP] {{웨이백|url=http://www.cse.sc.edu/~bays/group9/index1.html |date=20190510141711 }} (requires Java), [http://www.cse.sc.edu/~bays/group9/help.html Help page] {{웨이백|url=http://www.cse.sc.edu/~bays/group9/help.html |date=20190510141731 }}
* [https://pointfree-interpreter.github.io/ FP-Interpreter] written in Delphi/Lazarus
* [http://dirkgerrits.com/publications/john-backus.pdf#section.9 Dirk Gerrits: Turing Award lecture (1977-1978) ff], in John W. Backus (Publications)
* FP84 vs FL: [https://dl.acm.org/doi/pdf/10.1145/73560.73575 Sacrificing simplicity for convenience: Where do you draw the line?] J.H. William and E.L. Wimmers, 1988 (Pages 169–179)
[[분류:1977년 개발된 프로그래밍 언어]]
{{위키데이터 속성 추적}}
{{Infobox programming language
|name            = Nemerle
|logo            =
|paradigm        = 다중 패러다임: [[관점 지향 프로그래밍]], [[사건 기반 프로그래밍]], [[함수형 프로그래밍]], [[제네릭 프로그래밍]], [[명령형 프로그래밍]], [[메타프로그래밍]], [[객체 지향 프로그래밍]], [[반영 (컴퓨터 과학)|반영]]
|family          = [[C 샤프|C#]]
|designers       = Kamil Skalski, Michał Moskal, Prof. Leszek Pacholski, Paweł Olszta ([[브로츠와프 대학교]])
|developer       = [[JetBrains]] (과거) <br /> RSDN
|released        = {{시작 날짜와 나이|2003}}
|latest release version = 1.2.507.0<ref>[http://nemerle.org/Downloads Nemerle 1.2.507.0]</ref>
|latest release date = {{시작 날짜와 나이|2016|8|6|df=yes}}
|typing          = 추론, [[명목적 자료형 체계|명목]], 정적, 스트롱(strong)
|implementations = Nemerle
|dialects        =
|influenced_by   = [[C 샤프|C#]], [[리스프]], [[ML (프로그래밍 언어)|ML]]
|influenced      =
|platform        = [[공통 언어 기반|CLI]]
|file ext        = .n
|website         = {{URL|nemerle.org}}
}}
'''Nemerle'''은 [[공통 언어 기반]]([[닷넷 프레임워크|닷넷]]/[[모노 (소프트웨어)|모노]])을 사용하는 플랫폼을 위해 설계된 [[범용 프로그래밍 언어|범용]] [[고급 프로그래밍 언어|고급]] [[자료형 체계|정적 자료형]] [[프로그래밍 언어]]이다. [[함수형 프로그래밍]], [[객체 지향 프로그래밍]], [[관점 지향 프로그래밍]], [[반영 (컴퓨터 과학)|반영]], [[명령형 프로그래밍]] 기능을 제공한다. 단순한 [[C 샤프]]와 유사한 문법과 강력한 [[메타프로그래밍]] 시스템을 보유하고 있다.

== 예시 ==
===Hello, World!===

<syntaxhighlight lang="nemerle">
class Hello
{
  static Main () : void
  {
    System.Console.WriteLine ("Hello, world!");
  }
}
</syntaxhighlight>

단순 표현:

<syntaxhighlight lang="nemerle">
System.Console.WriteLine("Hello, world!");
</syntaxhighlight>

== 각주 ==
{{각주}}

== 외부 링크 ==
*{{공식 웹사이트}}
* [https://github.com/rsdn/nemerle GitHub project and repository (new development)]
* [https://code.google.com/p/nemerle/ Google Code project and repository (old development)]
* [https://groups.google.com/group/nemerle-en Nemerle Forum]
* [http://research.microsoft.com/en-us/events/sscli2005/pacholski-moskal.pdf Nemerle presentation on Microsoft Research SSCLI RFP II Capstone 2005 workshop]
* [http://www.99-bottles-of-beer.net/language-nemerle-869.html Nemerle at 99 Bottles of Beer]
[[분류:프로그래밍 언어]]
[[분류:절차적 프로그래밍 언어]]
[[분류:닷넷 프로그래밍 언어]]
[[분류:객체 지향 프로그래밍 언어]]
[[분류:2003년 개발된 프로그래밍 언어]]
[[분류:2003년 소프트웨어]]
[[분류:관점 지향 프로그래밍]]
[[분류:함수형 프로그래밍 언어]]
[[분류:고급 프로그래밍 언어]]
{{위키데이터 속성 추적}}
{{Infobox programming language
| name = 치킨 스킴<br />Chicken Scheme
| logo = Chicken Scheme logo and wordmark.svg
| logo caption = 치킨 스킴 로고
| screenshot = Chicken 5.0.0.png
| screenshot caption = macOS에서 실행 중인 치킨 5.0.0 인터프리터
| paradigms = 다중 패러다임: [[함수형 프로그래밍]], [[명령형 프로그래밍]], [[메타프로그래밍]]
| family = [[리스프]]
| designer = Felix Winkelmann
| developer = 더 치킨 팀(The Chicken Team)
| released = {{시작 날짜와 나이|2000|07|20|df=yes}}<ref>{{웹 인용|url=https://groups.google.com/group/comp.lang.scheme/msg/edfb2da16fd89fae |title=Announcing the Chicken Scheme-to-C compiler |last=Winkelmann |first=Felix |website=Google Groups (comp.lang.scheme) }}</ref>
| latest release version = 5.3.0
| latest release date = {{시작 날짜와 나이|2021|11|18|df=yes}}
| latest preview version = 
| latest preview date = <!-- {{시작 날짜와 나이|2020|MM|DD|df=yes}} -->
| typing = 동적, 레이턴트(latent), 스트롱(strong)
| scope = [[변수 영역]]
| programming language = 스킴, C
| platform = [[IA-32]], [[x86-64]], [[ARM 아키텍처|ARM]], [[MIPS 아키텍처|MIPS]], [[SPARC]]64, [[PowerPC]]
| operating system = [[크로스 플랫폼]]: [[마이크로소프트 윈도우|윈도우]], [[리눅스]], [[macOS]], [[FreeBSD]], [[NetBSD]], [[OpenBSD]], [[솔라리스 (운영 체제)|Solaris]], [[IBM AIX|AIX]], [[하이쿠|Haiku]], [[안드로이드 (운영 체제)|안드로이드|Android]], [[iOS]]
| license = [[BSD 라이선스|BSD]]
| file ext = .scm
| file format = <!-- or: | file formats = -->
| website = {{공식 URL}}
| implementations = 
| dialects = 
| influenced by = 리스프, 스킴
| influenced = 
}}

'''치킨'''(Chicken 또는 CHICKEN)은 [[프로그래밍 언어]] [[스킴 (프로그래밍 언어)|스킴]]의 방언을 구현하고 스킴 [[소스 코드]]를 표준 [[C (프로그래밍 언어)|C]]로 컴파일하는 [[컴파일러]]이자 [[인터프리터]]인 [[프로그래밍 언어]]이다. 대부분 [[스킴 (프로그래밍 언어)|R5RS]]를 준수하며 이 표준의 수많은 확장을 제공한다. 치킨은 [[BSD 허가서]]로 배포되는 [[자유-오픈 소스 소프트웨어]]이다. 대부분 스킴으로 구현되어 있으며 일부는 성능을 목적으로, 또는 C 프로그램에 더 쉬운 임베디드를 할 목적으로 C로 구현되어 있다.

== 같이 보기 ==
* [[꼬리 재귀]]

== 각주 ==
{{각주}}

== 외부 링크 ==
* {{공식 웹사이트}}
* {{GitHub|alaricsp/Chicken-scheme|Chicken}}

[[분류:자유 컴파일러와 인터프리터]]
[[분류:BSD 라이선스 소프트웨어]]
{{위키데이터 속성 추적}}
{{Infobox programming language
| name = 퓨어스크립트<br />PureScript
| logo = PureScript Logo.png
| paradigm = [[함수형 프로그래밍|함수형]]
| year = 2013
| latest release version = 0.15.7
| latest release date = {{시작 날짜와 나이|2022|12|12}}
| influenced_by = 하스켈, 자바스크립트
| typing = 추론, 정적, 스트롱(strong)
| designer = 필 프리먼(Phil Freeman)
| website = {{공식 URL}}
| license = [[Modified BSD License|BSD]]<ref name=license>{{웹 인용|url=https://github.com/purescript/purescript/blob/master/LICENSE|title=purescript/purescript|website=GitHub|date=3 June 2022 }}</ref>
| file_ext = .purs
}}

'''퓨어스크립트'''(PureScript)는 스트롱(strong)형, 순수 함수형 [[프로그래밍 언어]]이다. [[자바스크립트]]로 컴파일된다. 웹 애플리케이션, 서버 사이드 앱, 그리고 [[일렉트론 (소프트웨어 프레임워크)|일렉트론]]을 활용한 데스크톱 애플리케이션 개발에 사용할 수 있다. 문법은 [[하스켈]]과 대부분 호환된다. 하스켈과 대조적으로 퓨어스크립트는 [[평가 전략 (컴퓨터 프로그래밍)|엄격한 평가 전략]]을 고수한다.

== 역사 ==
2013년 필 프리먼이 처음 설계하였다. 하스켈을 자바스크립트로 컴파일하려는 다른 시도들(예: Fay, Haste, GHCJS)에 만족하지 못했기 때문에 퓨어스크립트 작업에 착수했다.<ref>{{웹 인용|url=https://leanpub.com/purescript/read#leanpub-auto-about-the-author|title=Read PureScript by Example {{!}} Leanpub|website=leanpub.com|access-date=2019-03-14}}</ref>

== 예시 ==
퓨어스크립트로 작성된 최소한의 [["Hello, World!" 프로그램]]의 예시는 다음과 같다.

<syntaxhighlight lang="haskell" line="1">
module Main where

import Effect.Console (log)

main = log "Hello World!"
</syntaxhighlight>

== 같이 보기 ==
* [[Elm]]
* [[타입스크립트]]

== 각주 ==
{{각주}}

== 외부 링크 ==
* {{공식 웹사이트}}
* [https://app.qvault.io/playground/purescript PureScript Playground] {{웨이백|url=https://app.qvault.io/playground/purescript |date=20201011214915 }}

{{프로그래밍 언어}}

[[분류:함수형 프로그래밍 언어]]
[[분류:패턴 매칭 프로그래밍 언어]]
[[분류:2013년 개발된 프로그래밍 언어]]
[[분류:정적 타입 프로그래밍 언어]]
[[분류:2013년 소프트웨어]]
{{위키데이터 속성 추적}}
{{Infobox programming language
| name                   = F*
| logo                   = Fstar-official-logo-2015.png
| logo_size              = 128px
| caption                = 
| paradigm               = 다중 패러다임: [[함수형 프로그래밍]], [[명령형 프로그래밍]]
| latest release version = [https://github.com/FStarLang/FStar repository]
| latest release date    = 
| typing                 = 의존, 추론, 정적, 스트롱(strong)
| implementations        = 
| dialects               = 
| influenced by          = [[Coq]], [[Dafny]], [[F 샤프|F#]], [[Lean]], [[OCaml]], [[Standard ML]]
| influenced             =
| programming language   = 
| operating system       = [[리눅스]], [[macOS]], [[마이크로소프트 윈도우|윈도우]]
| license                = [[아파치 라이선스 2.0]]
| website                = {{url|https://www.fstar-lang.org/}}
| file ext               = 
| designers              = [[마이크로소프트 리서치]], [[인리아]]<ref>{{웹 인용|url=https://www.microsoft.com/en-us/research/collaboration/inria-joint-centre/|title=Microsoft Research Inria Joint Centre|website=MSR-INRIA}}</ref>
| file_ext               = .fst
}}

'''F*'''(F 스타/F star로 발음)는 [[ML (프로그래밍 언어)|ML]]의 영향을 받은 [[함수형 프로그래밍]] 언어이다. 프로그램 검증을 목표로 하는 언어이다. 형 체계로는 의존형, 모나딕(monadic)형, [[부작용 (컴퓨터 과학)|작용]]형, 정제형(refinement type)이 있다. F*로 작성된 프로그램들은 실행을 위해 [[OCaml]], [[F 샤프]], [[C (프로그래밍 언어)|C]]로 변환이 가능하다. 이전 버전의 F*는 [[자바스크립트]]로의 변환도 지원했다.

== 각주 ==
{{각주}}

== 외부 링크 ==
* [https://www.fstar-lang.org/ F* Homepage]
* [https://github.com/FStarLang/FStar F* source code on GitHub]
* [https://www.fstar-lang.org/tutorial/ F* tutorial]

{{마이크로소프트 자유-오픈 소스 소프트웨어}}
{{마이크로소프트 개발 도구}}

[[분류:함수형 프로그래밍 언어]]
[[분류:ML 프로그래밍 언어 계열]]
[[분류:닷넷 프로그래밍 언어]]
[[분류:마이크로소프트 리서치]]
[[분류:2013년 개발된 프로그래밍 언어]]
[[분류:2013년 소프트웨어]]
[[분류:마이크로소프트의 프로그래밍 언어]]
{{위키데이터 속성 추적}}
{{Infobox programming language
| name = MIT/GNU 스킴<br />MIT/GNU Scheme
| logo = MIT GNU Scheme Logo.svg
| logo caption = MIT/GNU 스킴 로고
| screenshot = <!-- Filename only -->
| screenshot caption = 
| paradigms = 다중 패러다임: [[함수형 프로그래밍]], [[명령형 프로그래밍]], [[메타프로그래밍]]
| family = [[리스프]]
| designers = Chris Hanson,<br />Guillermo J. Rozas,<br />Taylor R. Campbell,<br />Stephen Adams,<br />Matt Birkholz,<br />Arthur A. Gleckler,<br />Joe Marshall,<br />Brian A. LaMacchia,<br />Mark Friedman,<br />Henry M. Wu
| developer = [[MIT]]
| released = {{시작 날짜와 나이|1979}}<ref>{{웹 인용|url=https://www.reddit.com/r/scheme/comments/tve4wh/oldest_scheme_implementations/i38ujqt/ |title=Oldest Scheme Implementations |date=3 Apr 2022}}</ref>
| latest release version = 11.2
| latest release date = {{시작 날짜와 나이|2021|03|07|df=yes}}<ref>{{웹 인용|url=https://git.savannah.gnu.org/cgit/mit-scheme.git |title=Index: mit-scheme.git |last=Campbell |first=Taylor R. |last2=Hanson |first2=Chris |last3=Gleckler |first3=Arthur A. |website=MIT/GNU Scheme |publisher=GNU Savannah |date=24 July 2021  |access-date=24 July  2021}}</ref>
| latest preview version = 
| latest preview date = <!-- {{시작 날짜와 나이|2019|MM|DD|df=yes}} -->
| typing = 동적, 레이턴트(latent), 스트롱(strong)
| scope = [[변수 영역]]
| programming language = 
| platform = [[x86]]: [[IA-32]], [[x86-64]]
| operating system = [[크로스 플랫폼]]: [[리눅스]], [[NetBSD]], [[macOS]]
| license = [[GNU GPL|GPL]]
| file ext = 
| file format = <!-- or: | file formats = -->
| website = {{URL|www.gnu.org/software/mit-scheme}}
| implementations = 
| dialects = 
| influenced by = [[리스프]], 스킴
| influenced = 
}}

'''MIT/GNU 스킴'''(MIT/GNU Scheme)은 [[리스프]]의 방언인 [[스킴 (프로그래밍 언어)|스킴]] 언어의 방언, [[구현]]체인 [[프로그래밍 언어]]이다. [[x86]]([[IA-32]], [[x86-64]]) 프로세서 아키텍처용 네이티브 [[이진 파일]]을 생성할 수 있다. R7RS-small 표준을 지원한다.<ref>{{웹 인용|url=https://www.gnu.org/software/mit-scheme/release.html |title=MIT/GNU Scheme release notes |date=3 Oct 2021 |access-date=3 Oct 2021}}</ref> [[GNU 일반 공중 사용 허가서]](GPL)로 출시된 [[자유-오픈 소스 소프트웨어]]이다. [[매사추세츠 공과대학교]](MIT)의 개발자들이 1986년 GPL이 존재하기 이전에 [[자유 소프트웨어]]로서 처음 출시했다.<ref>{{웹 인용|url=https://www.gnu.org/software/mit-scheme/ |title=MIT/GNU Scheme |last=Hanson |first=Chris |website=GNU Operating System |publisher=Free Software Foundation |date=28 October 2018 |access-date=11 April 2019}}</ref> 현재 [[GNU 프로젝트]]의 일부이다.

풍부한 [[런타임 라이브러리|런타임]] 소프트웨어 [[라이브러리 (컴퓨팅)|라이브러리]], 강력한 [[소스 코드]] 수준의 [[디버거]], 네이티브 코드 [[컴파일러]], 내장 [[이맥스]] 계열 편집기 에드윈(Edwin)을 포함하고 있다.

== 각주 ==
{{각주}}

== 외부 링크 ==
* {{공식 웹사이트}}
* MIT/GNU Scheme [http://www-swiss.ai.mit.edu/projects/scheme/ page] at [[MIT Artificial Intelligence Laboratory|MIT's AI Lab]]

{{GNU}}

[[분류:GNU 프로젝트 소프트웨어]]
{{위키데이터 속성 추적}}
{{Infobox programming language
| name                   = KRC
| logo                   =
| paradigm               = [[함수형 프로그래밍]]
| year                   = 1981
| designer               = 데이비드 터너
| developer              =
| latest_release_version =
| latest_release_date    =
| latest_test_version    =
| latest_test_date       =
| typing                 =
| implementations        =
| dialects               =
| influenced_by          = [[SASL]]
| influenced             = [[미란다 (프로그래밍 언어)]]
| operating_system       =
| license                =
| website                =
}}
'''Kent Recursive Calculator'''(KRC)는 1979년 11월부터 1981년 10월까지 데이비드 터너가 개발한 [[느긋한 계산법|느긋한]] [[함수형 프로그래밍|함수형 언어]]이다.<ref>Dates in the commentary to the BCPL KRC source code for EMAS.</ref> [[패턴 매칭]], 가드(guard), [[리스트 캄프리헨션|ZF식]](현재 [[리스트 캄프리헨션]]으로 불리는 것)을 갖춘 [[SASL]]에 기반을 둔다. KRC의 2개 구현체가 작성되었다: 하나는 [[EMAS]]에서 구동되는 [[BCPL]] 환경에서의 데이비드 터너의 오리지널 구현체이다. 다른 하나는 [[유닉스]] 환경의 [[C (프로그래밍 언어)|C 언어]]로 개발된 이후의 구현체이다. KRC는 1982년부터 1985년까지 영국의 [[켄트 대학교]]에서 함수형 프로그래밍을 교육하기 위해 사용된 주된 언어였다.

KRC의 뒤를 잇는 언어는 [[미란다 (프로그래밍 언어)|미란다]]이다.

== 추가 문헌 ==
* ''[https://books.google.com/books?id=O_M8AAAAIAAJ&printsec=frontcover#v=onepage&q=KRC&f=false Functional Programming and its Applications]'', David A. Turner, Cambridge U Press 1982.
* {{서적 인용|last=Turner|first=D.A.|year=1981|chapter=The semantic elegance of Applicative Languages|title=Proceedings of the 1981 Conference on Functional Programming Languages and Computer Architecture |pages=85–92 |publisher=[[Association for Computing Machinery]] |isbn=0-89791-060-5}}

== 각주 ==
{{각주}}

== 외부 링크 ==
* [http://www.krc-lang.org KRC's home page] with a free implementation for Unix systems

[[분류:함수형 프로그래밍 언어]]
[[분류:켄트 대학교]]
{{위키데이터 속성 추적}}
{{영화 정보
| 제목 = 바티칸 사제들
| 원제 = The Vatican Tapes
| 국가 = {{국기나라|미국}}
| 그림 = 
| 그림설명 = 
| 장르 = 공포, 스릴러
| 감독 = 마크 네벌딘
| 제작 = 크리스 콜스<br />게리 루케이지<br />크리스 모건<br />톰 로젠버그
| 원작 = 
| 각본 = 크리스토퍼 보렐리<br />마이클 C. 마틴
| 원안 = 크리스토퍼 보렐리<br />[[크리스 모건 (작가)|크리스 모건]]
| 출연 = {{단순목록|
* [[올리비아 테일러 더들리]]
* [[마이클 페냐]]
* [[두그레이 스콧]]
* [[자이먼 운수]]
}}
| 음악 = [[조지프 비샤라]]
| 촬영 = 헤라르도 마테오 마드라소
| 편집 = 에릭 포터
| 시간 = 91분<!--Theatrical runtime: 90:41--><ref>{{웹 인용| url=https://bbfc.co.uk/releases/vatican-tapes-film | title=''THE VATICAN TAPES'' (15) | work=[[영국 영화 등급 분류 위원회]] | date=August 28, 2015 | access-date=August 28, 2015}}</ref>
| 개봉 = {{영화 날짜|2015|07|24}}
| 언어 = [[영어]]<br />[[아람어]]
| 제작비 = 1,300만 달러<ref>{{웹 인용|url=https://the-numbers.com/movie/Vatican-Tapes-The#tab=summary|제목=The Vatican Tapes (2015)|웹사이트=[[더 넘버스]]|확인날짜=2024-07-24}}</ref>
| 흥행수익 = 1,350만 달러<ref>{{웹 인용|url=https://www.boxofficemojo.com/releasegroup/gr3171045893/|제목=The Vatican Tapes|확인날짜=2024-07-23}}</ref>
}}
《'''바티칸 사제들'''》({{llang|en|The Vatican Tapes}})은 미국에서 제작된 마크 네벌딘 감독의 2015년 초자연 [[공포 영화]]이다. [[올리비아 테일러 더들리]], [[마이클 페냐]] 등이 출연하였고, 크리스 콜스 등이 제작에 참여하였다.

== 줄거리 ==
27살 미국인 여성 앤절라는 갑자기 주변인에게 심각한 부상 혹은 죽음을 유발하며 [[악령]] [[빙의]] 증상을 보이기 시작한다. 앤절라는 고대 악마의 힘을 지닌 [[적그리스도]] 현신으로 밝혀진다.

[[바티칸 시국]] 신부들은 [[성찬]]을 포함한 [[구마 (종교)|구마]]를 시행하고, 앤절라가 태생부터 [[기독교]]를 변칙적으로 따라했음이 드러난다. 앤절라가 [[성매매|매춘부]]에게서 태어난 것은 [[동정녀 마리아]]에게서 태어난 [[예수]]와 대비되며, 앤절라 입에서 나온 달걀 세 알은 [[삼위일체]]를 향한 조롱에 해당된다.

앤절라와 적그리스도가 분리 불가능한 수준으로 합일됐음을 깨달은 브룬 추기경은 앤절라를 죽이지만 앤절라는 되살아나며 [[예수의 부활]]을 모방한 뒤 로자노 신부를 제외한 신부 전원을 살해한다. 로자노 신부는 적그리스도의 재림을 바티칸에 알려야할 임무가 있기 때문이다.

3개월 뒤 병원에서 퇴원하고 [[바티칸 비밀문서고]]를 방문한 로자노 신부는 앤절라가 기적을 일으키며 추종자 무리를 형성했음을 알게 된다.

신과 [[사탄]], 선악의 대전쟁이 시작된 것이다.

== 출연 ==
* [[올리비아 테일러 더들리]] - 앤절라 홈스 역
* [[마이클 페냐]] - 오스카 로자노 신부, 로스앤젤레스 대교구 소속 역
* [[두그레이 스콧]] - 로저, 앤절라의 아버지 역
* [[자이먼 운수]] - 이마니 신부 역
* [[페테르 안데르손 (배우)|페테르 안데르손]] - 마티아스 브룬 추기경 역
* [[캐슬린 로버트슨]] - 리처즈 의사, 앤절라의 [[정신과의]] 역
* [[존 패트릭 아메도리]] - 피터 "피트" 스미스, 앤절라의 남자친구 역
* [[마이클 퍼레이]] - 해리스 형사 역
* [[앨릭스 스패로]] - 레지던트 쿨릭 역
* [[캐스 앤바]] - 파티 의사 역
* [[앨리슨 로먼]] - 정신병 환자 역
* 다니엘 베른하르트
* 터미나 서니
* [[브루노 건]]
* 켄트 쇼크넥
* 멜 페어
* 제이 스테펀

== 기타 제작진 ==
* 의상: 린지 매케이

== 각주 ==
{{각주}}

== 외부 링크 ==
* {{IMDb 제목|1524575|The Vatican Tapes}}
* {{Mojo 제목|vaticantapes|The Vatican Tapes}}
* {{로튼 토마토 영화|the_vatican_tapes|The Vatican Tapes}}
* {{메타크리틱 영화|title=The Vatican Tapes}}
{{전거 통제}}

[[분류:2015년 영화]]
[[분류:2015년 공포 영화]]
[[분류:2010년대 초자연 공포 영화]]
[[분류:미국의 초자연 공포 영화]]
[[분류:구마를 소재로 한 영화]]
[[분류:로스앤젤레스를 배경으로 한 영화]]
[[분류:로스앤젤레스에서 촬영한 영화]]
[[분류:바티칸 시국을 배경으로 한 영화]]
[[분류:레이크쇼어 엔터테인먼트 영화]]
[[분류:라이언스 게이트 엔터테인먼트 영화]]
[[분류:아람어 영화 작품]]
{{위키데이터 속성 추적}}
{{영화 정보
| 제목 = 몸 값
| 원제 = Bargain
| 국가 = 한국
| 그림 = 
| 그림설명 = 
| 장르 = 액션, 스릴러
| 감독 = [[이충현]]
| 제작 = 
| 원작 = 
| 각본 = 
| 출연 = 이주영, 박형수
| 음악 = 
| 촬영 = 
| 편집 = 
| 시간 = 14분
| 개봉 = 2015년
| 언어 = 한국어
}}
'''몸 값'''(Bargain)은 한국에서 제작된 [[이충현]] 감독의 2015년 액션, 스릴러 영화이다. [[이주영]] 등이 주연으로 출연하였다.

== 출연 ==
=== 주연 ===
* [[이주영]]
* [[박형수]]

== 제작진 ==
* 프로듀서: 김동하
* 촬영부: 전우성

== 외부 링크 ==
{{토막글|영화}}

[[분류:2015년 영화]]
[[분류:대한민국의 영화 작품]]
[[분류:한국어 영화 작품]]
{{위키낱말사전|몸값}}
'''몸값'''은 다음을 가리킨다.

* [[몸값 (용어)|몸값]]은 팔려온 사람의 값을 의미한다.
* [[몸 값 (영화)|몸 값]]은 2015년에 개봉된 영화이다.
* [[몸값 (드라마)|몸값]]은 2022년에 방영된 드라마이다.

== 같이 보기 ==
* {{in title|몸값}}

{{동음이의}}
{{위키데이터 속성 추적}}
{{영화 정보
| 제목 = 분노의 추격자
| 원제 = Last Seen Alive
| 국가 = {{국기나라|미국}}
| 그림 = 
| 그림설명 = 
| 감독 = 브라이언 굿맨
| 제작 = 
| 각본 = 
| 출연 = [[제라드 버틀러]]<br />[[제이미 알렉산더]]<br />[[러셀 혼즈비]]<br />[[이선 엠브리]]
| 음악 = 샘 유잉
| 촬영 = 피터 홀랜드
| 편집 = 줄리아 웡
| 시간 = 95분<ref>{{웹 인용|url=https://www.classification.gov.au/titles/last-seen-alive|title=LAST SEEN ALIVE|website=Australian Classification Board}}</ref>
| 개봉 = 2022년 6월 3일
| 언어 = 영어
| 배급 = 볼티지 픽처스<br />[[버티컬 엔터테인먼트]]
}}
《'''분노의 추격자'''》({{llang|en|Last Seen Alive}})는 미국에서 제작된 브라이언 굿맨 감독의 2022년 [[액션 영화|액션]] [[스릴러 영화]]이다. [[제라드 버틀러]]가 주인공으로 출연하고 제작에도 참여하였다.

== 줄거리 ==
부유한 부동산 개발업자 윌은 아내 리사를 리사 부모님 댁에 데려다주던 중 주유소에 정차한다. 잠시 눈을 뗀 사이 리사는 그대로 사라져버린다.

윌은 리사의 불륜 등 결혼 생활에 문제가 있었다는 이유로 용의자로 의심 받는다. 곧 윌은 주유소 직원이 멀쩡히 작동 중인 [[폐쇄회로 텔레비전|CCTV]]가 고장났다고 거짓말을 했다는 걸 알아내고, 리사의 행방을 필사적으로 찾기 시작하는데...

== 출연 ==
* [[제라드 버틀러]] - 윌 스팬 역
* [[제이미 알렉산더]] - 리사 스팬 역
* [[러셀 혼즈비]] - 패터슨 형사 역
* [[이선 엠브리]] - 너클스, 애덤스가 일꾼 역
* [[마이클 어비]] - 오스카, 주유소 직원 역
* [[브루스 올트먼]] - 배리 애덤스, 리사의 아버지 역

== 각주 ==
{{각주}}

== 외부 링크 ==
* {{IMDb 제목}}
* {{올무비 제목}}

[[분류:2022년 스릴러 영화]]
[[분류:미국의 액션 스릴러 영화]]
[[분류:미국의 미스터리 스릴러 영화]]
[[분류:실종자를 소재로 한 영화]]
[[분류:버티컬 엔터테인먼트 영화]]
[[분류:볼티지 픽처스 영화]]
{{위키데이터 속성 추적}}
{{영화 정보
| 제목 = 초선
| 원제 = CHOSEN
| 국가 = 한국
| 그림 = 
| 그림설명 = 
| 장르 = 다큐멘터리
| 감독 = [[전후석]]
| 제작 = 
| 원작 = 
| 각본 = 
| 출연 = 
| 음악 = 
| 촬영 = 
| 편집 = 
| 시간 = 90분
| 개봉 = {{영화 날짜|2022|11|3}}
| 언어 = 한국어
}}
'''초선'''(CHOSEN)은 한국에서 제작된 [[전후석]] 감독의 2022년 다큐멘터리 영화이다.

[[코로나19 범유행]]의 절정과 그에 따른 경기 침체 속에서 연방하원선거에 도전하는 재미한인들의 이야기를 다루고 있다.

== 외부 링크 ==
{{토막글|영화}}

[[분류:2022년 영화]]
[[분류:대한민국의 영화 작품]]
[[분류:한국어 영화 작품]]
{{위키데이터 속성 추적}}
{{영화 정보
| 제목 = 강남좀비 [[파일:Republic Of Korea Broadcasting-TV Rating System(15).svg|20px|15세 이상 시청가|link=대한민국의 텔레비전 등급 제도]]
| 원제 = 
| 국가 = 한국
| 그림 = 
| 그림설명 = 
| 장르 = 드라마
| 감독 = [[이수성]]
| 제작 = 
| 원작 = 
| 각본 = 
| 출연 = [[지일주]], [[지연 (가수)|지연]]
| 음악 = 
| 촬영 = 
| 편집 = 
| 시간 = 81분
| 개봉 = {{영화 날짜|2023|1|5}}
| 언어 = 한국어
}}

'''강남좀비'''는 한국에서 제작된 [[이수성]] 감독의 2021년 드라마 영화이다. [[지일주]], [[지연 (가수)|지연]] 등이 주연으로 출연하였다.

== 출연 ==
=== 주연 ===
* [[지일주]] : 현석 역
* [[지연 (가수)|지연]] 

=== 조연 ===
* [[조경훈]]
* [[최성민]]
* [[정이주]]
* [[탁트인]]

== 외부 링크 ==
{{토막글|영화}}

[[분류:2021년 영화]]
[[분류:대한민국의 영화 작품]]
[[분류:한국어 영화 작품]]
{{위키데이터 속성 추적}}
{{영화 정보
| 제목 = 유포자들
| 원제 = The Distributors
| 국가 = 한국
| 그림 = 
| 그림설명 = 
| 장르 = 범죄, 드라마, 스릴러
| 감독 = [[홍석구]]
| 제작 = 
| 원작 = 
| 각본 = 정우철
| 출연 = 박성훈, 김소은, 송진우, 박주희, 임나영
| 음악 = 
| 촬영 = 
| 편집 = 
| 시간 = 101분
| 개봉 = {{영화 날짜|2022|11|23}}
| 언어 = 한국어
}}
'''유포자들'''(The Distributors)은 한국에서 제작된 [[홍석구]] 감독의 2022년 범죄, 드라마, 스릴러 영화이다. [[박성훈]] 등이 주연으로 출연하였다.

== 출연 ==
=== 주연 ===
* [[박성훈]]
* [[김소은]]
* [[송진우]]
* [[박주희]]
* [[임나영]]

'''<big>조연</big>'''
*

'''<big>단역</big>'''
*

== 외부 링크 ==
{{토막글|영화}}

[[분류:2022년 영화]]
[[분류:대한민국의 영화 작품]]
[[분류:한국어 영화 작품]]