Запитання з тегом «lambda-calculus»

Завдання полягає в тому, щоб написати перекладача для нетипізованого обчислення лямбда якомога менше символів. Ми визначаємо нетипізоване обчислення лямбда так: Синтаксис Існують такі три види виразів: Лямбда-вираз має форму, (λ x. e)де xможе бути будь-яка юридична назва змінної та eбудь-яке юридичне вираження. Тут xназивається параметром і eназивається тілом функції. Для …

45 code-golf  interpreter  lambda-calculus 

Завдання Напишіть програму або функцію, яка з трьох рядків A, B, Cстворює вихідний рядок, де кожен екземпляр Bв Aрекурсивно заміщений C. Рекурсивно заміщення означає повторення заміни, коли на кожному кроці всі неперекриваються екземпляри Bв A(вибрані жадібно зліва направо) замінюються на, Cпоки Bбільше не містяться в A. Введення-виведення Ви можете використовувати …

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 

Обчислення SKI варіант обчислення лямбда , який не використовує лямбда - вираження. Замість цього, тільки додатки і комбінаторів S , K і I використовуються. У цьому виклику ваше завдання полягає в тому, щоб перевести терміни SKI в терміни Лямбда в β нормальну форму . Специфікація вводу Вхід - термін 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 -style з `для застосування, а не писати обидві …

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 

Фон Візуалізація термінів λ-числення Відомий лямбда-жонглер (та гольфіст з кодом ) Джон Тромп винайшов цікаву візуалізацію термінів у λ-обчисленні. З його слів: абстракції (лямбда) представлені горизонтальними лініями, змінні вертикальними лініями, що виходять вниз від їх зв'язування лямбда, а додатки - горизонтальними зв'язками, що з'єднують крайні ліві змінні. Наприклад, лямбда-термін λf.λx.f …

9 code-golf  ascii-art  lambda-calculus