Event Timeline
On my local wiki, if I call Z882/Typed pair with a Z6/String and a Z40/Boolean, I get this as the result:
{
"Z1K1": "Z22",
"Z22K1": {
"Z1K1": "Z4",
"Z4K1": {
"Z1K1": "Z7",
"Z7K1": "Z882",
"Z882K1": "Z6",
"Z882K2": "Z40"
},
"Z4K2": [
{
"Z1K1": "Z3",
"Z3K1": "Z6",
"Z3K2": "K1",
"Z3K3": {
"Z1K1": "Z12",
"Z12K1": []
}
},
{
"Z1K1": "Z3",
"Z3K1": "Z40",
"Z3K2": "K2",
"Z3K3": {
"Z1K1": "Z12",
"Z12K1": []
}
}
],
"Z4K3": "Z110"
},
"Z22K2": "Z23"
}Can we declare this Resolved?
I am trying to implement a function that takes a type and returns a type.
The easiest such function I can imagine is a function that takes a type and returns a new type wrapping that input type.
I created such a function here: https://notwikilambda.toolforge.org/wiki/Z10232
Now I tried to create the implementation, here:
https://notwikilambda.toolforge.org/wiki/Z10233
But I only get the following error message when I run the function:
{
"Z1K1": "Z22",
"Z22K1": "Z23",
"Z22K2": {
"Z1K1": "Z5",
"Z5K2": "Internal Server Error"
}
}Or the implementation directly:
{
"Z1K1": "Z22",
"Z22K1": "Z23",
"Z22K2": {
"Z1K1": "Z5",
"Z5K1": {
"Z1K1": "Z539",
"Z539K1": "The provided object is not a function call"
}
}
}So it seems to me that I cannot implement a function taking a type and returning a type.
It seems to me that evaluating anything is failing on NWL. It works locally on my machine:
