태그 : lambdacalculus 요약보기전체보기목록닫기

1

Parser for Lambda Calculator

이번엔 parser를 만들어보겠다. 앞서 설명했듯, Lambda Calculus의 syntax는 다음과 같다. (아직 괄호와 currying은 지원하지 않는다.)LambdaExpr := IdentifierLambdaExpr := \ Identifier . LambdaExprLambdaExpr := LambdaExpr LambdaExprHaskell로 s...

Lexer for Lambda Calculator

Lambda Calculus에 기반한 함수형 언어 Haskell을 이용하여 Lambda Calculator Lexer를 만들어보겠다.lexer :: [Char] -> [Char] -> [[Char]]lexer token [] =    if token == []    then [] ...

Lambda Calculus

Lambda Calculus는 아주 간단한 프로그래밍 언어로 볼 수 있다. 문법은 다음과 같이 정의된다.LambdaExpr := IdentifierLambdaExpr := \ Identifier . LambdaExprLambdaExpr := LambdaExpr LambdaExpr괄호 처리를 추가하면LambdaExpr := ( LambdaExpr )cur...

질문의 시작

우주는 어떻게 탄생하게 되었는가? 최초의 3분 동안에 대한 내용은 책을 읽어보면 나올 것 같다. 그러나 그 전의 시간은? 공간은? 정말 모르겠다. 일단 패스. 나는 어떻게 탄생하게 되었는가? 왜 오늘날의 나는 이렇게 생각하고 행동하는가? 나는 무엇을 위해 사는가? 45억년 간 유기물이 발생하고 진화를 거듭한 결과로 오늘날의 내가 있으며, 나의 생존...
1