Recent Posts

First-class 자산
텐더민트 합의에 락이 필요한 이유
TPS 비교 아이고 의미 없다
VRF(Verifiable Random Function)와 블록체인
텐더민트 합의에 3단계가 필요한 이유

Top Posts

프로그래밍과 수학
하스켈 시작하기
하스켈 "Hello World" 프로그램
확장 메소드(extension method)
텐더민트 합의에 3단계가 필요한 이유
하스켈 학교
자바스크립트 튜플 만들기
게임 서버: node.js의 장점과 단점
TypeScript Function Overloads
How I learned Haskell

Archives

Follow Kwang Yul Seo on WordPress.com

RSS

RSS - Posts

Skip to content

Kwang Yul Seo

서광열 블로그

About

Posted on January 20, 2014June 1, 2016 in Haskell

Type Checking with Phantom Type

http://kseo.github.io/posts/2014-01-20-type-checking-with-phantom-type.html

Share this:

Twitter
Reddit
Facebook

Like this:

Like Loading...

CPP empty type phantom type type checking

Post navigation

Applicative parsing

Writing a Scheme interpreter for fun

Leave a Reply Cancel reply

Enter your comment here...

Fill in your details below or click an icon to log in:

Email (required) (Address never made public)

Name (required)

Website

You are commenting using your WordPress.com account. ( Log Out / Change )

You are commenting using your Facebook account. ( Log Out / Change )

Connecting to %s

Notify me of new comments via email.

Notify me of new posts via email.

Δ

Blog at WordPress.com.

Follow Following
- Kwang Yul Seo
- Already have a WordPress.com account? Log in now.

%d bloggers like this: