Page MenuHomePhabricator

Functions that take a type and return a type can be implemented
Closed, ResolvedPublic

Related Objects

StatusSubtypeAssignedTask
OpenNone
OpenNone
StalledNone
Resolvedcmassaro
OpenNone
OpenNone
OpenNone
OpenNone
OpenNone
DuplicateNone
OpenNone
OpenNone
OpenNone
OpenNone
OpenNone
OpenNone
ResolvedJdforrester-WMF
Resolvedcmassaro
OpenNone
ResolvedNone
ResolvedNone
Resolvedcmassaro
Resolvedcmassaro
ResolvedNone
Resolvedgengh
ResolvedNone
ResolvedNone
Resolvedgengh
Resolvedcmassaro
ResolvedNone
InvalidNone
Invalidgengh
ResolvedNone
ResolvedNone
ResolvedJdforrester-WMF
ResolvedNone
ResolvedNone
DeclinedNone
ResolvedSimoneThisDot
ResolvedSimoneThisDot
Resolvedcmassaro
ResolvedSimoneThisDot
ResolvedSimoneThisDot
Resolvedcmassaro
ResolvedJdforrester-WMF
ResolvedDVrandecic
ResolvedDVrandecic
ResolvedSimoneThisDot
ResolvedJdforrester-WMF
ResolvedDVrandecic
ResolvedNone
ResolvedNone
Resolvedcmassaro
ResolvedDVrandecic
ResolvedLindsaykwardell
Resolvedarthurlorenzi
ResolvedNone
InvalidNone
Resolvedcmassaro
Resolvedcmassaro
Resolvedcmassaro
Resolvedcmassaro
Resolvedcmassaro
ResolvedJdforrester-WMF
Resolvedcmassaro
Resolvedcmassaro
Resolvedcmassaro
ResolvedNone
ResolvedSimoneThisDot
ResolvedSimoneThisDot
ResolvedSimoneThisDot
ResolvedJdforrester-WMF
Resolvedcmassaro
Resolvedgengh
Resolvedcmassaro
ResolvedJdforrester-WMF
Resolvedcmassaro
Resolvedcmassaro
ResolvedNone
ResolvedDVrandecic
Resolvedcmassaro
Resolvedarthurlorenzi
ResolvedAdesojiThisDot

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:

image.png (786×904 px, 95 KB)