Câu hỏi được gắn thẻ «lambda-calculus»

Thách thức là viết một trình thông dịch cho phép tính lambda chưa được gõ trong càng ít ký tự càng tốt. Chúng tôi xác định phép tính lambda chưa được xử lý như sau: Cú pháp Có ba loại biểu thức sau: Một biểu thức lambda có dạng (λ …

45 code-golf  interpreter  lambda-calculus 

Nhiệm vụ Viết chương trình hoặc hàm cho ba chuỗi A, B, Ctạo ra một chuỗi đầu ra trong đó mỗi trường hợp Btrong Ađã được thay thế đệ quy bằng C. Đệ quy thay thế phương tiện lặp lại thay một nơi ở mỗi bước tất cả các trường …

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 

Phép tính SKI là một biến thể của phép tính Lambda không sử dụng biểu thức lambda. Thay vào đó, chỉ có ứng dụng và các tổ hợp S , K và tôi được sử dụng. Trong thử thách này, nhiệm vụ của bạn là dịch các thuật ngữ SKI …

22 code-golf  repeated-transformation  lambda-calculus 

Tính toán , hay lambda, là một hệ thống logic dựa trên các hàm ẩn danh. Ví dụ: đây là biểu thức:: λf.(λx.xx)(λx.f(xx)) Tuy nhiên, với mục đích của thử thách này, chúng tôi sẽ đơn giản hóa ký hiệu: Thay đổi λthành \(để dễ gõ hơn):\f.(\x.xx)(\x.f(xx)) Các .tiêu đề …

20 code-golf  string  functional-programming  lambda-calculus 

Mục tiêu Tạo danh sách được xáo trộn ban đầu, từ các chuyển động mà Sắp xếp chèn sẽ làm để sắp xếp nó. Danh sách ban đầu sẽ có tất cả các số từ 0đến N-1(bao gồm) trong đó Nkích thước của đầu vào. Đầu vào Một danh sách …

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 

Lý lịch Trực quan hóa các thuật ngữ-tính toán John Tromp nổi tiếng (và golfer mã ) John Tromp đã nghĩ ra một hình dung thú vị của các thuật ngữ trong-tính toán. Theo lời anh: trừu tượng hóa (lambdas) được thể hiện bằng các đường ngang, biến bằng các …

9 code-golf  ascii-art  lambda-calculus 

Viết một thuật ngữ trên phép tính lambda thuần túy mà khi áp dụng vào danh sách các số được mã hóa của nhà thờ , trả về nó với các số được sắp xếp theo thứ tự tăng dần hoặc giảm dần. Danh sách và số của nhà thờ …

8 sorting  atomic-code-golf  lambda-calculus