Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
Wolfram`Lambda`
RandomSizeLambda  |
|
| | ||||
Examples
(1)
Basic Examples
(1)
Generate a random lambda expression:
In[1]:=
 | RandomSizeLambda |
Out[1]=
λ.λ.2[1]λ.λ.[1]λ.[1[1]]
In[2]:=
LeafCount[%]
Out[2]=
10
Generate multiple random lambdas:
In[3]:=
| RandomSizeLambda |
Out[3]=
λ.λ.[2]λ.λ.λ.[2][2[2]]λ.1λ.[1]λ.[1],λ.1[1][1]1[1]λ.[2][1][1]λ.[1]λ.[1[1]],λ.λ.[1]λ.λ.[1][2[1]]λ.[3][2][2[2[1[2]]]],λ.λ.[1[2][1][2]]λ.1λ.[2]λ.[2]λ.[1[1]],λ.11λ.[2[1][1]][1[1][1]]λ.λ.[2[1[2]]],λ.λ.[1]λ.[1[1[1[1[2]]]][2[2]]]λ.[1[1][1]],λ.[1[1[1][1[1]]]]λ.[1[1]]λ.[1]λ.[1]λ.[1],λ.λ.2[2]1λ.[2[3[1]]]λ.[1]λ.λ.[1][1],λ.λ.[1]λ.1[1]11λ.[2]λ.[1][1][1][1],λ.[1]λ.1λ.[2][1][1[1]]λ.[1[1][1]]λ.[1]
In[4]:=
LeafCount/@%
Out[4]=
{15,15,15,15,15,15,15,15,15,15}
 |
|
""