CGLambda Lite

Statement

Goal

In this puzzle, we'll write an interpreter for CGLambda Lite, a very simple yet Turing-complete functional programming language.

CGL doesn't flood the programmer's mind with variables, types and whatnot. There are no variables, and values have a single type: function! Unsurprisingly, a CGL program is just a function.

Functions have a single ability: application. To apply a function, you provide it with one single argument and it returns a function. Function application is performed using the language's only operator: / (slash), in prefix position. So for example, to apply function v to function r, we'd write the following code: /vr

(If you're mathematically-inclined, you'll notice that prefix notation makes parentheses unnecessary. Parentheses are for complicated languages; CGL is a simple language.)

The CGL function set is defined inductively:
• b, x, k, w, v, r, _ (underscore) and all capital letters are “primitive” functions.
• for any functions F and G, the application of F to G, namely /FG, is a function.

Evaluation semantics:
• for any functions F and G, evaluating the application /FG first evaluates F, then evaluates G, and finally returns the function obtained by applying F to G.
• b behaves such that for any functions A,B,C: ///bABC = /A/BC
• x behaves such that for any functions A,B,C: ///xABC = //ACB
• k behaves such that for any functions A,B: //kAB = A
• w behaves such that for any functions A,B: //wAB = //ABB
• v behaves such that for any function A: /vA = v
• for P one of _ and capital letters, P behaves such that for any function A: /PA = A. This application has the additional side-effect of printing the function name to standard output.
• r behaves like one of the P functions above, printing a newline.

Most “interesting” CGL programs produce infinite output, but the CodinGame platform would unfairly consider your program as hung if you let it run for that long. To avoid this, please stop interpretation after the r function has been applied L times. L is provided in the inputs.

(Note: CGL is a simplified derivative of programming language Unlambda. It's different enough that you won't find an implementation online, but similar enough that you can websearch it for implementation tips, if you're so inclined.)

Input

Line 1: N L, space-separated: number of input lines of code; output lines limit
N lines: CGLambda code

Output

Up to L lines: whatever the CGLambda program outputs

Constraints

N < 75
L < 50

Example

Input

1 15
/Xv

Output

Tags

CGLambda, Functional, Impure, Combinators, Line Noise

Difficulty

Medium

Test cases

Print a single character Test

Input

1 15 /Xv

Output

Print a single character Validator

Input

1 15 /Jv

Output

Print multiple characters Test

Input

1 15 ////////////HELLO_WORLDrv

Output

HELLO_WORLD

Print multiple characters Validator

Input

1 15 ////////////OLLEH_DLROWrv

Output

OLLEH_DLROW

Multiline program Test

Input

2 15 /r/D/L/R/O/W /_/O/L/L/E/Hv

Output

HELLO_WORLD

Multiline program Validator

Input

2 15 /r/W/O/R/L/D /_/H/E/L/L/Ov

Output

OLLEH_DLROW

Multiline output Test

Input

1 15 /r/C/r/B/r/Av

Output

A B C

Multiline output Validator

Input

1 15 /r/X/r/Y/r/Zv

Output

Z Y X

Primitive k Test

Input

1 15 /r///kAZv

Output

Primitive k Validator

Input

1 15 /r///kMNv

Output

Primitive w Test

Input

1 15 /r///wCGv

Output

CGG

Primitive w Validator

Input

1 15 /r///wGCv

Output

GCC

Primitive x Test

Input

1 15 /r////xJBMv

Output

JMB

Primitive x Validator

Input

1 15 /r////xJMBv

Output

JBM

Primitive b Test

Input

1 15 /r////bJBMv

Output

BJM

Primitive b Validator

Input

1 15 /r////bBJMv

Output

JBM

Primitive v Test

Input

1 15 /r/C//vGv

Output

Primitive v Validator

Input

1 15 /r/X//vXv

Output

Church numerals Test

Input

9 15 /////b/bw//bbx/wk/k////b/bw//bbxr/// /b/bw//bbxD////b/bw//bbxL////b/bw//b bxR////b/bw//bbxO////b/bw//bbxW////b /bw//bbx_////b/bw//bbxO////b/bw//bbx L////b/bw//bbxL////b/bw//bbxE////b/b w//bbxH/wk////b/bw//bbx/wk////b/bw// bbx/wk////b/bw//bbx/wk////b/bw//bbx/ wk////b/bw//bbx/wk////b/bw//bbx/wk// //b/bw//bbx/wk////b/bw//bbx/wk/k/wk

Output

HELLO_WORLD HELLO_WORLD HELLO_WORLD HELLO_WORLD HELLO_WORLD HELLO_WORLD HELLO_WORLD HELLO_WORLD

Church numerals Validator

Input

11 15 /////b/bw//bbx/wk/k////b/bw/ /bbxr////b/bw//bbxD////b/bw/ /bbxL////b/bw//bbxR////b/bw/ /bbxO////b/bw//bbxW////b/bw/ /bbx_////b/bw//bbxO////b/bw/ /bbxL////b/bw//bbxL////b/bw/ /bbxE////b/bw//bbxH/wk////b/ bw//bbx/wk////b/bw//bbx/wk// //b/bw//bbx/wk////b/bw//bbx/ wk////b/bw//bbx/wk////b/bw// bbx/wk////b/bw//bbx/wk/k/wk

Output

HELLO_WORLD HELLO_WORLD HELLO_WORLD HELLO_WORLD HELLO_WORLD HELLO_WORLD HELLO_WORLD

Line limit Test

Input

1 1 /r/G/r/Cv

Output

Line limit Validator

Input

1 1 ////GrCrv

Output

Counting Test

Input

14 10 //////b/bw//bbx////b/bw//bbx/k/ /b/bw//bbx////b/bw//bbx/k///b/b w//bbx/wk////b/bw//bbx/kk////b/ bw//bbx/k///b/bw//bbx////b/bw// bbx/k//b/bw//bbxk////b/bw//bbx/ k////b/bw//bbx////b/bw//bbx//// b/bw//bbx/wk/kX/kr/wk/wk/k/wk/k /wk////b/bw//bbx////b/bw//bbx/k //b/bw//bbx////b/bw//bbx/k///b/ bw//bbx/wk////b/bw//bbx/kk////b /bw//bbx/k///b/bw//bbx////b/bw/ /bbx/k//b/bw//bbxk////b/bw//bbx /k////b/bw//bbx////b/bw//bbx/// /b/bw//bbx/wk/kX/kr/wk/wk/k/wk

Output

X XX XXX XXXX XXXXX XXXXXX XXXXXXX XXXXXXXX XXXXXXXXX

Counting Validator

Input

14 9 //////b/bw//bbx////b/bw//bbx/k/ /b/bw//bbx////b/bw//bbx/k///b/b w//bbx/wk////b/bw//bbx/kk////b/ bw//bbx/k///b/bw//bbx////b/bw// bbx/k//b/bw//bbxk////b/bw//bbx/ k////b/bw//bbx////b/bw//bbx//// b/bw//bbx/wk/kO/kr/wk/wk/k/wk/k /wk////b/bw//bbx////b/bw//bbx/k //b/bw//bbx////b/bw//bbx/k///b/ bw//bbx/wk////b/bw//bbx/kk////b /bw//bbx/k///b/bw//bbx////b/bw/ /bbx/k//b/bw//bbxk////b/bw//bbx /k////b/bw//bbx////b/bw//bbx/// /b/bw//bbx/wk/kO/kr/wk/wk/k/wk

Output

O OO OOO OOOO OOOOO OOOOOO OOOOOOO OOOOOOOO

ASCII Art Test

Input

8 37 /r/////b/bw//bbx/wk/k////b/bw//bbx////b /bw//bbx/kk///b/bw//bbx/wk////b/bw//bbx ////b/bw//bbx/wk/k////b/bw//bbx/k///b/b w//bbx/k////b/bw//bbxk////b/bw//bbxr/kX /wkr////b/bw//bbx/wk////b/bw//bbx/wk/// /b/bw//bbx/wk////b/bw//bbx/wk////b/bw// bbx/wk////b/bw//bbx/wk////b/bw//bbx/wk/ ///b/bw//bbx/wk////b/bw//bbx/wk/k/k/wk

Output

X XX XX XXX XXX XXX XXXX XXXX XXXX XXXX XXXXX XXXXX XXXXX XXXXX XXXXX XXXXXX XXXXXX XXXXXX XXXXXX XXXXXX XXXXXX XXXXXXX XXXXXXX XXXXXXX XXXXXXX XXXXXXX XXXXXXX XXXXXXX

ASCII Art Validator

Input

8 29 /r/////b/bw//bbx/wk/k////b/bw//bbx////b /bw//bbx/kk///b/bw//bbx/wk////b/bw//bbx ////b/bw//bbx/wk/k////b/bw//bbx/k///b/b w//bbx/k////b/bw//bbxk////b/bw//bbxr/kO /wkr////b/bw//bbx/wk////b/bw//bbx/wk/// /b/bw//bbx/wk////b/bw//bbx/wk////b/bw// bbx/wk////b/bw//bbx/wk////b/bw//bbx/wk/ ///b/bw//bbx/wk////b/bw//bbx/wk/k/k/wk

Output

O OO OO OOO OOO OOO OOOO OOOO OOOO OOOO OOOOO OOOOO OOOOO OOOOO OOOOO OOOOOO OOOOOO OOOOOO OOOOOO OOOOOO OOOOOO

Fibonacci Test

Input

67 10 /////b/bw//bbx////b/bw//bbx////b/bw//bbx/wk/wk////b/bw/ /bbx/kk/k/wk/k/wk////b/bw//bbx////b/bw//bbx/k//b/bw//bb x////b/bw//bbx////b/bw//bbx/k//b/bw//bbx////b/bw//bbx/k k/k//b/bw//bbx////b/bw//bbx////b/bw//bbx/k//b/bw//bbx// //b/bw//bbx////b/bw//bbx/k//b/bw//bbx////b/bw//bbx/kk/k //b/bw//bbx////b/bw//bbx////b/bw//bbx/k//b/bw//bbx////b /bw//bbx////b/bw//bbx/k//b/bw//bbx////b/bw//bbx/kk/k//b /bw//bbx////b/bw//bbx////b/bw//bbx/k//b/bw//bbx////b/bw //bbx////b/bw//bbx/k//b/bw//bbx////b/bw//bbx/kk/k//b/bw //bbx////b/bw//bbx////b/bw//bbx/k//b/bw//bbx////b/bw//b bx/kk/kk////b/bw//bbx/kk/kr////b/bw//bbx////b/bw//bbx/k //b/bw//bbx////b/bw//bbx////b/bw//bbx/k//b/bw//bbx////b /bw//bbx/kk/k//b/bw//bbx////b/bw//bbx////b/bw//bbx/k//b /bw//bbx////b/bw//bbx////b/bw//bbx/k//b/bw//bbx////b/bw //bbx/kk/k//b/bw//bbx////b/bw//bbx////b/bw//bbx/k//b/bw //bbx////b/bw//bbx/kk/kk/k/wk////b/bw//bbx////b/bw//bbx /k//b/bw//bbx////b/bw//bbx/kk/kk////b/bw//bbx/kk/kF//// b/bw//bbx////b/bw//bbx/k//b/bw//bbx////b/bw//bbx/kk/kk/ ///b/bw//bbx/kk/wk////b/bw//bbx////b/bw//bbx/k//b/bw//b bx////b/bw//bbx/kk/kk////b/bw//bbx/kk/wk////b/bw//bbx/k k/k/wk////b/bw//bbx////b/bw//bbx/k//b/bw//bbx////b/bw// bbx////b/bw//bbx/k//b/bw//bbx////b/bw//bbx/kk/k//b/bw// bbx////b/bw//bbx////b/bw//bbx/k//b/bw//bbx////b/bw//bbx ////b/bw//bbx/k//b/bw//bbx////b/bw//bbx/kk/k//b/bw//bbx ////b/bw//bbx////b/bw//bbx/k//b/bw//bbx////b/bw//bbx/kk /kk////b/bw//bbx/kk/k////b/bw//bbx////b/bw//bbx/k//b/bw //bbx////b/bw//bbx////b/bw//bbx/k//b/bw//bbx////b/bw//b bx/kk/k//b/bw//bbx////b/bw//bbx////b/bw//bbx/k//b/bw//b bx////b/bw//bbx////b/bw//bbx/k//b/bw//bbx////b/bw//bbx/ kk/k//b/bw//bbx////b/bw//bbx////b/bw//bbx/k//b/bw//bbx/ ///b/bw//bbx/kk/kk////b/bw//bbx/kk/k//b/bw//bbx////b/bw //bbx////b/bw//bbx/k//b/bw//bbx////b/bw//bbx////b/bw//b bx/k//b/bw//bbx////b/bw//bbx/kk/k//b/bw//bbx////b/bw//b bx////b/bw//bbx/k//b/bw//bbx////b/bw//bbx////b/bw//bbx/ k//b/bw//bbx////b/bw//bbx/kk/k//b/bw//bbx////b/bw//bbx/ ///b/bw//bbx/k//b/bw//bbx////b/bw//bbx/kk/kk////b/bw//b bx/kk/k//b/bw//bbx////b/bw//bbx////b/bw//bbx/k//b/bw//b bx////b/bw//bbx////b/bw//bbx/k//b/bw//bbx////b/bw//bbx/ kk/k//b/bw//bbx////b/bw//bbx////b/bw//bbx/k//b/bw//bbx/ ///b/bw//bbx/kk/kk////b/bw//bbx/kk/kk////b/bw//bbx////b /bw//bbx/k//b/bw//bbx////b/bw//bbx/kk/kk////b/bw//bbx/k k/wk////b/bw//bbx////b/bw//bbx/k//b/bw//bbx////b/bw//bb x////b/bw//bbx/k//b/bw//bbx////b/bw//bbx/kk/k//b/bw//bb x////b/bw//bbx////b/bw//bbx/k//b/bw//bbx////b/bw//bbx/k k/kk////b/bw//bbx/kk/kk////b/bw//bbx/kk/k/wk////b/bw//b bx////b/bw//bbx/k//b/bw//bbx////b/bw//bbx////b/bw//bbx/ k//b/bw//bbx////b/bw//bbx/kk/k//b/bw//bbx////b/bw//bbx/ ///b/bw//bbx/k//b/bw//bbx////b/bw//bbx////b/bw//bbx/k// b/bw//bbx////b/bw//bbx/kk/k//b/bw//bbx////b/bw//bbx//// b/bw//bbx/k//b/bw//bbx////b/bw//bbx/kk/kk////b/bw//bbx/ kk/k//b/bw//bbx////b/bw//bbx////b/bw//bbx/k//b/bw//bbx/ ///b/bw//bbx////b/bw//bbx/k//b/bw//bbx////b/bw//bbx/kk/ k//b/bw//bbx////b/bw//bbx////b/bw//bbx/k//b/bw//bbx//// b/bw//bbx////b/bw//bbx/k//b/bw//bbx////b/bw//bbx/kk/k// b/bw//bbx////b/bw//bbx////b/bw//bbx/k//b/bw//bbx////b/b w//bbx/kk/kk////b/bw//bbx/kk/k//b/bw//bbx////b/bw//bbx/ ///b/bw//bbx/k//b/bw//bbx////b/bw//bbx////b/bw//bbx/k// b/bw//bbx////b/bw//bbx/kk/k//b/bw//bbx////b/bw//bbx//// b/bw//bbx/k//b/bw//bbx////b/bw//bbx/kk/kk////b/bw//bbx/ kk/kk////b/bw//bbx////b/bw//bbx/k//b/bw//bbx////b/bw//b bx/kk/kk/k/wk////b/bw//bbx////b/bw//bbx/k//b/bw//bbx/// /b/bw//bbx////b/bw//bbx/k//b/bw//bbx////b/bw//bbx/kk/k/ /b/bw//bbx////b/bw//bbx////b/bw//bbx/k//b/bw//bbx////b/ bw//bbx/kk/kk////b/bw//bbx/kk/kk////b/bw//bbx/kk/k/wk// //b/bw//bbx////b/bw//bbx/k//b/bw//bbx////b/bw//bbx/kk/k k////b/bw//bbx/kk/k/wk////b/bw//bbx////b/bw//bbx/k//b/b w//bbx////b/bw//bbx/kk/kk/k/wk////b/bw//bbx/kk/k/wk

Output

F F FF FFF FFFFF FFFFFFFF FFFFFFFFFFFFF FFFFFFFFFFFFFFFFFFFFF FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF

Fibonacci Validator

Input

67 9 /////b/bw//bbx////b/bw//bbx////b/bw//bbx/wk/wk////b/bw/ /bbx/kk/k/wk/k/wk////b/bw//bbx////b/bw//bbx/k//b/bw//bb x////b/bw//bbx////b/bw//bbx/k//b/bw//bbx////b/bw//bbx/k k/k//b/bw//bbx////b/bw//bbx////b/bw//bbx/k//b/bw//bbx// //b/bw//bbx////b/bw//bbx/k//b/bw//bbx////b/bw//bbx/kk/k //b/bw//bbx////b/bw//bbx////b/bw//bbx/k//b/bw//bbx////b /bw//bbx////b/bw//bbx/k//b/bw//bbx////b/bw//bbx/kk/k//b /bw//bbx////b/bw//bbx////b/bw//bbx/k//b/bw//bbx////b/bw //bbx////b/bw//bbx/k//b/bw//bbx////b/bw//bbx/kk/k//b/bw //bbx////b/bw//bbx////b/bw//bbx/k//b/bw//bbx////b/bw//b bx/kk/kk////b/bw//bbx/kk/kr////b/bw//bbx////b/bw//bbx/k //b/bw//bbx////b/bw//bbx////b/bw//bbx/k//b/bw//bbx////b /bw//bbx/kk/k//b/bw//bbx////b/bw//bbx////b/bw//bbx/k//b /bw//bbx////b/bw//bbx////b/bw//bbx/k//b/bw//bbx////b/bw //bbx/kk/k//b/bw//bbx////b/bw//bbx////b/bw//bbx/k//b/bw //bbx////b/bw//bbx/kk/kk/k/wk////b/bw//bbx////b/bw//bbx /k//b/bw//bbx////b/bw//bbx/kk/kk////b/bw//bbx/kk/kJ//// b/bw//bbx////b/bw//bbx/k//b/bw//bbx////b/bw//bbx/kk/kk/ ///b/bw//bbx/kk/wk////b/bw//bbx////b/bw//bbx/k//b/bw//b bx////b/bw//bbx/kk/kk////b/bw//bbx/kk/wk////b/bw//bbx/k k/k/wk////b/bw//bbx////b/bw//bbx/k//b/bw//bbx////b/bw// bbx////b/bw//bbx/k//b/bw//bbx////b/bw//bbx/kk/k//b/bw// bbx////b/bw//bbx////b/bw//bbx/k//b/bw//bbx////b/bw//bbx ////b/bw//bbx/k//b/bw//bbx////b/bw//bbx/kk/k//b/bw//bbx ////b/bw//bbx////b/bw//bbx/k//b/bw//bbx////b/bw//bbx/kk /kk////b/bw//bbx/kk/k////b/bw//bbx////b/bw//bbx/k//b/bw //bbx////b/bw//bbx////b/bw//bbx/k//b/bw//bbx////b/bw//b bx/kk/k//b/bw//bbx////b/bw//bbx////b/bw//bbx/k//b/bw//b bx////b/bw//bbx////b/bw//bbx/k//b/bw//bbx////b/bw//bbx/ kk/k//b/bw//bbx////b/bw//bbx////b/bw//bbx/k//b/bw//bbx/ ///b/bw//bbx/kk/kk////b/bw//bbx/kk/k//b/bw//bbx////b/bw //bbx////b/bw//bbx/k//b/bw//bbx////b/bw//bbx////b/bw//b bx/k//b/bw//bbx////b/bw//bbx/kk/k//b/bw//bbx////b/bw//b bx////b/bw//bbx/k//b/bw//bbx////b/bw//bbx////b/bw//bbx/ k//b/bw//bbx////b/bw//bbx/kk/k//b/bw//bbx////b/bw//bbx/ ///b/bw//bbx/k//b/bw//bbx////b/bw//bbx/kk/kk////b/bw//b bx/kk/k//b/bw//bbx////b/bw//bbx////b/bw//bbx/k//b/bw//b bx////b/bw//bbx////b/bw//bbx/k//b/bw//bbx////b/bw//bbx/ kk/k//b/bw//bbx////b/bw//bbx////b/bw//bbx/k//b/bw//bbx/ ///b/bw//bbx/kk/kk////b/bw//bbx/kk/kk////b/bw//bbx////b /bw//bbx/k//b/bw//bbx////b/bw//bbx/kk/kk////b/bw//bbx/k k/wk////b/bw//bbx////b/bw//bbx/k//b/bw//bbx////b/bw//bb x////b/bw//bbx/k//b/bw//bbx////b/bw//bbx/kk/k//b/bw//bb x////b/bw//bbx////b/bw//bbx/k//b/bw//bbx////b/bw//bbx/k k/kk////b/bw//bbx/kk/kk////b/bw//bbx/kk/k/wk////b/bw//b bx////b/bw//bbx/k//b/bw//bbx////b/bw//bbx////b/bw//bbx/ k//b/bw//bbx////b/bw//bbx/kk/k//b/bw//bbx////b/bw//bbx/ ///b/bw//bbx/k//b/bw//bbx////b/bw//bbx////b/bw//bbx/k// b/bw//bbx////b/bw//bbx/kk/k//b/bw//bbx////b/bw//bbx//// b/bw//bbx/k//b/bw//bbx////b/bw//bbx/kk/kk////b/bw//bbx/ kk/k//b/bw//bbx////b/bw//bbx////b/bw//bbx/k//b/bw//bbx/ ///b/bw//bbx////b/bw//bbx/k//b/bw//bbx////b/bw//bbx/kk/ k//b/bw//bbx////b/bw//bbx////b/bw//bbx/k//b/bw//bbx//// b/bw//bbx////b/bw//bbx/k//b/bw//bbx////b/bw//bbx/kk/k// b/bw//bbx////b/bw//bbx////b/bw//bbx/k//b/bw//bbx////b/b w//bbx/kk/kk////b/bw//bbx/kk/k//b/bw//bbx////b/bw//bbx/ ///b/bw//bbx/k//b/bw//bbx////b/bw//bbx////b/bw//bbx/k// b/bw//bbx////b/bw//bbx/kk/k//b/bw//bbx////b/bw//bbx//// b/bw//bbx/k//b/bw//bbx////b/bw//bbx/kk/kk////b/bw//bbx/ kk/kk////b/bw//bbx////b/bw//bbx/k//b/bw//bbx////b/bw//b bx/kk/kk/k/wk////b/bw//bbx////b/bw//bbx/k//b/bw//bbx/// /b/bw//bbx////b/bw//bbx/k//b/bw//bbx////b/bw//bbx/kk/k/ /b/bw//bbx////b/bw//bbx////b/bw//bbx/k//b/bw//bbx////b/ bw//bbx/kk/kk////b/bw//bbx/kk/kk////b/bw//bbx/kk/k/wk// //b/bw//bbx////b/bw//bbx/k//b/bw//bbx////b/bw//bbx/kk/k k////b/bw//bbx/kk/k/wk////b/bw//bbx////b/bw//bbx/k//b/b w//bbx////b/bw//bbx/kk/kk/k/wk////b/bw//bbx/kk/k/wk

Output

J J JJ JJJ JJJJJ JJJJJJJJ JJJJJJJJJJJJJ JJJJJJJJJJJJJJJJJJJJJ

Solution language

Solution

Stub generator input

Rate this contribution

+111

Make the contribution public (lvl 20+)

The contribution was not moderated in time so the system automatically rejected it.

Comments

64 Comments

CodinBot Unnamed CodinGamer

about 3 years ago

I hope you received enough feedback from the community to improve your contribution. Once you have made the necessary updates, publish your contribution!

matt_arci Unnamed CodinGamer

about 3 years ago

definitely useful!

Montaterminator Unnamed CodinGamer

about 3 years ago

cool

AyumiZ Unnamed CodinGamer

about 3 years ago

noice

foobarqix_2 Unnamed CodinGamer

about 3 years ago

Cool puzzle to train our parsing techniques.

the_one_only_jns Unnamed CodinGamer

about 3 years ago

cool

gaya3s Unnamed CodinGamer

about 3 years ago

Interesting puzzle

zinfx Unnamed CodinGamer

about 3 years ago

cool stuff

sebin Unnamed CodinGamer

about 3 years ago

Cool

DaBebeWHair Unnamed CodinGamer

over 3 years ago

Very nice concept

Wontonimo Unnamed CodinGamer

over 3 years ago

I'd recommend difficult of Hard. Nice puzzle

DeanTheMachine Unnamed CodinGamer

over 3 years ago

I love interpreter puzzles.

walchoice Unnamed CodinGamer

over 3 years ago

Interesting puzzle!

blooket142857 Unnamed CodinGamer

over 3 years ago

very cool

Mai-Lapyst Unnamed CodinGamer

over 3 years ago

Very good puzzle, and a good challenge too! Honestly this platform needs more puzzles like these, which involves interpreting / parsing techniques.

CodeAce Unnamed CodinGamer

over 3 years ago

So interesting

CodeAce Unnamed CodinGamer

over 3 years ago

Cool

o1Akif Unnamed CodinGamer

over 3 years ago

Very nice and unique, doesn't seem like a medium level puzzle thoug.

ShadowBlitz Unnamed CodinGamer

over 3 years ago

Nice one, interesting to deepen !

aroary Unnamed CodinGamer

over 3 years ago

cool!

Anchelok Unnamed CodinGamer

over 3 years ago

Interesting!

davidloley Unnamed CodinGamer

over 3 years ago

something different times, but I like it

Luffy_le_best Unnamed CodinGamer

over 3 years ago

very good idea

Rayho Unnamed CodinGamer

over 3 years ago

Nice idea

Youssef.B Unnamed CodinGamer

over 3 years ago

+25XP

Brice06 Unnamed CodinGamer

over 3 years ago

Great idea ! :)

pshemke Unnamed CodinGamer

over 3 years ago

I like it

Rick_C-137 Unnamed CodinGamer

over 3 years ago

Great puzzle

MiXFR Unnamed CodinGamer

over 3 years ago

Nice one !

Leoduyanh Unnamed CodinGamer

over 3 years ago

Nice !

PSA28 Unnamed CodinGamer

over 3 years ago

awesome

PrimeDecay Unnamed CodinGamer

over 3 years ago

Nice!

ftadeu Unnamed CodinGamer

over 3 years ago

Awesome!

ytom Unnamed CodinGamer

over 3 years ago

nice!

Xana Unnamed CodinGamer

over 3 years ago

very interesting

Django81 Unnamed CodinGamer

over 3 years ago

What about french translation?

JBM Unnamed CodinGamer

over 3 years ago

That's not a thing anymore.

Unnamed CodinGamer

over 3 years ago

Maybe the difficulty level could be changed, but still, pretty awesome. Sure upvote.

JustACoderForFun Unnamed CodinGamer

over 3 years ago

seems interesting

dioxix00 Unnamed CodinGamer

over 3 years ago

free points

mntn Unnamed CodinGamer

over 3 years ago

nice

authmane512 Unnamed CodinGamer

over 3 years ago

cool

Umbakrail Unnamed CodinGamer

over 3 years ago

Nice challenge

NotKris Unnamed CodinGamer

over 3 years ago

Writing interpreters is a lot of fun, and I have never heard of that language before so that puzzle is really enjoyable. Good job!

AgathokakologicalBit Unnamed CodinGamer

over 3 years ago

Creating parsers and interpreters is one of my favourite pastimes. Although the human readability of this one leaves much to be desired. On a good side is that it is simple enough to implement, so I can't really be picky here.

JBM Unnamed CodinGamer

over 3 years ago

Human readability… yeah, that wasn't a primary objective. Not to say I'm aiming for the opposite. Suggestions are always welcome, but I'm afraid most would be hard to shoehorn in.

treeplate Unnamed CodinGamer

over 3 years ago

'for P one of _ and capital letters' is very confusing

JBM Unnamed CodinGamer

over 3 years ago

I see your point. Would you have a rewording suggestion to go with that?

fritaly Unnamed CodinGamer

over 3 years ago

I love this type of challenge where parsers / interpreters need to be implemented. Nice one !

class3 Unnamed CodinGamer

almost 4 years ago

hi luke-guyton

gfhnpkv Unnamed CodinGamer

about 4 years ago

very nice challenge

chouch Unnamed CodinGamer

about 4 years ago

Hey ! In my opinion it's way more complicated compared to "What the brainfuck" that is medium... Nice test cases. How did you implement your CGLambda compiler? I guess you didn't code Fibonacci by hand ! The stub generator is not valid for OCaml and Scala. It can be fixed by using lowercase for Scala. I do not know for OCaml. I definitely liked it. Nice one. Learn some new stuff !

JBM Unnamed CodinGamer

about 4 years ago

I don't have a CGLambda compiler yet. :( For now, the "longer" test cases are hacked from the examples in the Unlambda distribution, transpiled and adjusted for semantics. It's not really ready for publication yet: I need to complete the operational semantics first. For example, it's currently unclear how many times B should be evaluated in //kAB and //wAB. To do that, having a pure CGL chain would help, so I could at least explore the options a bit. Still looking for some spare time to do that. Thanks for your feedback, I'll keep it in mind next time I edit.

luke-guyton Unnamed CodinGamer

about 4 years ago

Having difficulty understanding, from the "Evaluation semantics" I would expect all instances of "b" to look like "///b"; but your examples have unexpected forms such as "Church numerals" /////b/b... ? are you able to clarify?

luke-guyton Unnamed CodinGamer

about 4 years ago

Would be great if there was an English description of each primitive. e.g. (but not sure of correctness) "x transposes the 2nd the 3rd elements following" "k keeps the next element and discards the following element" "w duplicates the 2nd element following" "v discards the next element"

CarlWalsh Unnamed CodinGamer

about 4 years ago

I really like this! Some things that confused me at the beginning: - "for P one of _ and capital letters, P behaves..." the word "and" was confusing--could be "for P that is a capital letter or _, P behaves..."? - it wasn't clear to me what the behavior was a newline was. Should each line be treated as a separate program? It would help to add a statement "newline characters have no impact on CGL behavior and can be ignored" For difficulty, having programmed in lambda calculus before this wasn't too challenging, but that's pretty theory-heavy for somebody without college experience. I'd say difficulty should be at least Medium.

JBM Unnamed CodinGamer

about 4 years ago

Thanks for your feedback. I don't have too much time for this now, but I won't forget it when I do!

Zorg1 Unnamed CodinGamer

about 4 years ago

In Lua : - the code template is OK (not perfect ofc, but it works) - no performance problem - it is a good exercice The tests are OK for me, they allow to implement the language step by step. my road : step 1 : application, the print and 'v' primitives step 2 : the k primitive step 3: the w,x and b primitives

JBM Unnamed CodinGamer

about 4 years ago

Solution cleaned up from testcase generation code is only 49 lines… should I downgrade to easy?

JBM Unnamed CodinGamer

about 4 years ago

Stream closed. Hope you enjoyed the ride, I'll edit ASAP.

JBM Unnamed CodinGamer

about 4 years ago

☑ Renamed CGLambda Redux -> CGLambda Light ☑ Toned down the typical FP snark ☑ Clarified typography in places the underscore was a bit invisible. ☑ Improved CGL set wording. ☑ Came up with some cover art (https://commons.wikimedia.org/... CC-BY-SA3 from Captain-tucker) ☑ Much proofreading and simplification (this works much better out of stream) ☐ Make the test/validator pairs different by more than just their output limit ☐ Eliminate the narcissistic test cases now we've got another 3-letter acronym: CGL

ABOUT US CAREERS PRIVACY FAQ BLOG

The #1 tech hiring platform

SCREENING INTERVIEWING