검수요청.png검수요청.png

"미켈슨"의 두 판 사이의 차이

위키원
이동: 둘러보기, 검색
8번째 줄: 8번째 줄:
  
 
==활용==
 
==활용==
미켈슨(Michelson) 언어는 스마트 계약의 수학적 코드의 정확성을 검증하는 데 필요한 간단한 트랙잭션의 논리적 프로세스와 시스템의 간단한 관리를 위해 사용된다. 또, 다중 서명 지갑(multi-signal wallets), 권리 부여 및 분배(vesting and distribution)와 같은 사업을 도와주는 데 집중하고 있으며, 이를 다른 언어에 비해 쉽고 누구나 사용할 수 있게 만들어져 있다. 또한, [[테조스]](Tezos)만의 특징인 스스로 수정해나가는 점과 같이 미켈슨(Michelson) 언어도 천천히 확장해 나가며 기능들을 추가함을 계획하고 있다.
+
미켈슨(Michelson) 언어는 스마트 계약의 수학적 코드의 정확성을 검증하는 데 필요한 간단한 트랙잭션의 논리적 프로세스와 시스템의 간단한 관리를 위해 사용된다. 또, 다중 서명 지갑(multi-signal wallets), 권리 부여 및 분배(vesting and distribution)와 같은 사업을 도와주는 데 집중하고 있으며, 이를 다른 언어에 비해 쉽고 누구나 사용할 수 있게 만들어져 있다. 또한, [[테조스]](Tezos)만의 특징인 스스로 수정해나가는 점과 같이 미켈슨(Michelson) 언어도 천천히 확장해 나가며 기능들을 추가함을 계획하고 있다.<ref>areyoucrazy, 〈[https://steemit.com/coinkorea/@areyoucrazy/6re2p3 테조스의 특징을 초보자의 눈높이에 맞게 이야기해보았습니다.]〉, 《스팀잇》, 2018-02-20</ref>
  
 
==같이보기==
 
==같이보기==
15번째 줄: 15번째 줄:
 
* [[오카멜]]
 
* [[오카멜]]
 
* [[리퀴디티]]
 
* [[리퀴디티]]
 +
 +
{{각주}}
  
 
==참고자료==
 
==참고자료==

2019년 6월 27일 (목) 14:18 판

미켈슨(Michelson)은 테조스(Tezos) 블록체인에 스마트 컨트랙트(Smart contract)를 작성하는데 사용되는 로우레벨(Low-Level) 스택 기반 프로그래밍 언어이다.

개요

미켈슨(Michelson) 프로그래밍 언어는 강력하게 유형화되고 스택 기반이며 다형성(polymorphism), 클로저(closures), 또는 명명 함수(named function)와 같은 기능이 포함되어 있지 않다. 리퀴디티(Liquidity)라는 고급 프로그래밍을 작성하여 미켈슨(Michelson) 언어로 컴파일할 수 있다. 미켈슨(Michelson)의 언어의 구현은 오카멜(OCaml) GADT를 기반으로 한다.

특징

활용

미켈슨(Michelson) 언어는 스마트 계약의 수학적 코드의 정확성을 검증하는 데 필요한 간단한 트랙잭션의 논리적 프로세스와 시스템의 간단한 관리를 위해 사용된다. 또, 다중 서명 지갑(multi-signal wallets), 권리 부여 및 분배(vesting and distribution)와 같은 사업을 도와주는 데 집중하고 있으며, 이를 다른 언어에 비해 쉽고 누구나 사용할 수 있게 만들어져 있다. 또한, 테조스(Tezos)만의 특징인 스스로 수정해나가는 점과 같이 미켈슨(Michelson) 언어도 천천히 확장해 나가며 기능들을 추가함을 계획하고 있다.[1]

같이보기

각주

참고자료


  검수요청.png검수요청.png 이 미켈슨 문서는 프로그래밍에 관한 글로서 검토가 필요합니다. 위키 문서는 누구든지 자유롭게 편집할 수 있습니다. [편집]을 눌러 문서 내용을 검토·수정해 주세요.