태그 : lambdacalculus 요약보기전체보기목록닫기
- Parser for Lambda Calculator(0)2007.11.03
- Lexer for Lambda Calculator(0)2007.11.03
- Lambda Calculus(0)2007.11.02
- 질문의 시작(0)2007.11.01
1
- 컴퓨터
- 2007/11/03 01:43
이번엔 parser를 만들어보겠다. 앞서 설명했듯, Lambda Calculus의 syntax는 다음과 같다. (아직 괄호와 currying은 지원하지 않는다.)LambdaExpr := IdentifierLambdaExpr := \ Identifier . LambdaExprLambdaExpr := LambdaExpr LambdaExprHaskell로 s...
- 컴퓨터
- 2007/11/03 01:42
Lambda Calculus에 기반한 함수형 언어 Haskell을 이용하여 Lambda Calculator Lexer를 만들어보겠다.lexer :: [Char] -> [Char] -> [[Char]]lexer token [] = if token == [] then [] ...
- 컴퓨터
- 2007/11/02 09:09
Lambda Calculus는 아주 간단한 프로그래밍 언어로 볼 수 있다. 문법은 다음과 같이 정의된다.LambdaExpr := IdentifierLambdaExpr := \ Identifier . LambdaExprLambdaExpr := LambdaExpr LambdaExpr괄호 처리를 추가하면LambdaExpr := ( LambdaExpr )cur...
우주는 어떻게 탄생하게 되었는가? 최초의 3분 동안에 대한 내용은 책을 읽어보면 나올 것 같다. 그러나 그 전의 시간은? 공간은? 정말 모르겠다. 일단 패스.
나는 어떻게 탄생하게 되었는가? 왜 오늘날의 나는 이렇게 생각하고 행동하는가? 나는 무엇을 위해 사는가? 45억년 간 유기물이 발생하고 진화를 거듭한 결과로 오늘날의 내가 있으며, 나의 생존...
1



최근 덧글