«lambda-calculus» 태그된 질문

문제는 형식화되지 않은 람다 미적분 에 대한 해석기를 가능한 한 적은 문자로 작성하는 것입니다. 형식화되지 않은 람다 미적분학을 다음과 같이 정의합니다. 통사론 다음과 같은 세 가지 유형의 표현이 있습니다. 람다 표현식은 형태가 법적 변수 이름과 수 법적 표현. 여기 에서 매개 변수 라고하며 함수 본문이라고합니다.(λ x. e)xexe 간단히하기 위해 x현재 …

45 code-golf  interpreter  lambda-calculus 

작업 세 개의 문자열이 주어진 프로그램이나 함수를 작성하면 in의 A, B, C각 인스턴스 가로 반복적으로 대체 되는 출력 문자열이 생성 됩니다 . 재귀 각 단계에서의 모든 비 중첩 경우 교체 반복 대체 수단 에서가 로 대체된다 (왼쪽에서 오른쪽으로 탐욕를 선택) 할 때까지 더 이상 포함된다 .BACBACBA 입출력 I / O에 …

25 code-golf  string  substitution  code-golf  math  code-golf  string  set-theory  code-golf  code-golf  compile-time  code-golf  kolmogorov-complexity  binary  code-golf  sequence  cops-and-robbers  code-golf  subsequence  card-games  code-golf  sequence  primes  code-golf  code-golf  number  graphical-output  music  code-golf  ascii-art  code-golf  string  lambda-calculus  code-golf  string  code-generation  code-golf  unicode  code-golf  math  combinatorics  code-golf  balanced-string  code-golf  sequence  cops-and-robbers  code-golf  sequence  cops-and-robbers  code-challenge  fastest-code  chess  code-golf  math  graphical-output  code-golf  string  hello-world  animation  code-golf  number  arithmetic  code-golf  integer  code-golf  code-golf  combinatorics  code-golf  kolmogorov-complexity  graphical-output  code-golf  string  code-golf  code-golf  game  code-golf  math  combinatorics  code-golf  ascii-art  popularity-contest  random  code-golf  arithmetic  number-theory  integer  code-golf  tips  underload  code-golf  math  sequence  primes  code-golf  math  path-finding  code-golf  ascii-art  primes  code-golf  kolmogorov-complexity  alphabet 

스키 미적분은 람다 표현식을 사용하지 않는 람다 계산법의 변형이다. 대신, 응용 프로그램 및 결합기 S , K 및 I 만 사용됩니다. 이 과제에서 SKI 용어를 β normal 형식의 Lambda 용어로 변환해야합니다 . 입력 사양 입력은 다음 텍스트 표현에서 SKI 용어입니다. 선택적인 후행 줄 바꾸기를 받도록 선택할 수 있습니다. 입력이 문자로 …

22 code-golf  repeated-transformation  lambda-calculus 

λ 미적분 또는 람다 계산법 익명 함수에 기초하여 논리 시스템이다. 예를 들어, 이것은 λ- 표현식입니다 : λf.(λx.xx)(λx.f(xx)) 그러나이 과제의 목적을 위해 다음과 같은 표기법을 단순화합니다. 변경 λ하려면 \(쉽게 입력 할 수 있도록하기 위해) :\f.(\x.xx)(\x.f(xx)) .우리가 그것을 놓을 수 있도록 람다 헤더는, 불필요 :\f(\xxx)(\xf(xx)) 두 함수를 함께 작성하는 대신 Unlambda 스타일 …

20 code-golf  string  functional-programming  lambda-calculus 

객관적인 삽입 정렬 이 정렬 을 수행 하는 동작에서 원래 스크램블 목록을 생성하십시오 . 원본 목록 에는 입력의 크기 인 모든 숫자가 포함 0됩니다 N-1(포함) N. 입력 목록을 정렬하는 데 필요한 이동이 포함 된 목록입니다. 각 값은 원래 (스크램블 된) 숫자로 대체 된 슬롯의 양이 올바른 위치에 있음을 나타냅니다.이 프로세스는 …

19 code-golf  array-manipulation  code-golf  code-golf  animation  code-golf  restricted-source  code-golf  java  code-golf  decision-problem  graph-theory  code-golf  conversion  electrical-engineering  code-golf  ascii-art  code-golf  string  substitution  code-golf  math  code-golf  string  set-theory  code-golf  code-golf  compile-time  code-golf  kolmogorov-complexity  binary  code-golf  sequence  cops-and-robbers  code-golf  subsequence  card-games  code-golf  sequence  primes  code-golf  code-golf  number  graphical-output  music  code-golf  ascii-art  code-golf  string  lambda-calculus  code-golf  string  code-generation  code-golf  unicode  code-golf  math  combinatorics  code-golf  balanced-string  code-golf  sequence  cops-and-robbers  code-golf  sequence  cops-and-robbers  code-challenge  fastest-code  chess  code-golf  math  graphical-output  code-golf  string  hello-world  animation  code-golf  number  arithmetic  code-golf  integer  code-golf  code-golf  combinatorics  code-golf  kolmogorov-complexity  graphical-output  code-golf  string  code-golf  code-golf  game  code-golf  math  combinatorics  code-golf  ascii-art  popularity-contest  random  code-golf  arithmetic  number-theory  integer  code-golf  tips  underload  code-golf  math  sequence  primes  code-golf  math  path-finding  code-golf  ascii-art  primes  code-golf  kolmogorov-complexity  alphabet 

배경 λ 미적분 용어 시각화 유명한 람다 저글러 (및 코드 골퍼 ) 인 존 트롬 프 (John Tromp) 는 λ 미적분학에서 흥미로운 용어 시각화 를 고안했습니다 . 그의 말로 : 추상화 (람다)는 가로선, 바인딩 람다에서 나오는 세로선에 의한 변수 및 가장 왼쪽에있는 변수를 연결하는 가로 링크에 의한 응용으로 표시됩니다. 예를 …

9 code-golf  ascii-art  lambda-calculus