Abstract Wikipedia/Pre-generic function model/lb

This page is historic and does not describe the current situation. See f:Wikifunctions:Function model for the current version of the function model.

The current function model prescribes the function model of Wikifunctions for the time where we plan to launch the wiki. In particular, it assumes that we are already quite feature complete and have the ability to run functions, function calls, composition, and generic types. But these won’t be available until Phase ζ (zeta). This currently hampers the implementations of tasks in the earlier phases as we have to come up on the fly with non-generic versions of central types.

(It’s actually even worse: in reality the function model is some weird hybrid between the launch function model and the pre-generic one; We want to clean up both parts with this rewrite, starting with defining the pre-generic function model.)

In order to resolve this barrier, we provide here a simplified version of the full function model that is meant as a stop-gap solution until generics are available.

One overall difference is that without generics there is a greatly diminished need for local keys. So the whole function model assumes that we do not have local keys, or that we can get rid of them in normalization. This will not be possible once we have generics.

“No difference” in the list below means that this type is the same in the pre-generic model as well as in the full function model.

Note that the ZIDs are not final. The discussion is ongoing here.

Z1/Objet (Z4/Typ)

Z1K1/type (Z4/Type)

Keen Ënnerscheed.

Z2/Persistenten Objet (Z4/Typ)

Z2K1/id (Z6/String)
Z2K2/value (Z1/Object)
Z2K3/label (Z12/Multilingual text)
Z2K4/aliases (Z32/Multilingual set)
Z2K5/description (Z12/Multilingual text)

Keen Ënnerscheed.

Z3/Schlëssel (Z4/Typ)

Z3K1/value type (Z4/Type)
Z3K2/key id (Z6/String)
Z3K3/label (Z12/Multilingual text)

Keen Ënnerscheed.

Z4/Typ (Z4/Typ)

Z4K1/identity (Z4/Type)
Z4K2/keys (Z10/List)
Z4K3/validator (Z8/Function)

Z4K2 should expect a Z10/List of Z3/Key but that is not possible yet. So it just expects a Z10/List.

Z4K3 should expect a Z8/Function that takes a single input of type Z1/Object and returns a Z10/List of Z5/Error, but that is not possible yet, so it is just Z8/Function.

Z5/Feeler (Z4/Typ)

Z5K1/error type (Z50/Error type)
Z5K2/error value (Z1/Any)

Villäicht keen Ënnerscheed?

Z6/String (Z4/Type)

Z6K1/string value (Z6/String)

Keen Ënnerscheed.

Z7/Function call (Z4/Type)

Z7K1/function (Z8/Function)
Others based on Z8/Function

This will change significantly. In the pre-generic version this is a Z4/Type whose instances have wildly different behavior than any other type’s instances: the keys are not defined by the Z4/Type, but by the Z8/Function. This will need special handling in the pre-generic world. For the post-generic world we hope to get a unified treatment. Kuckt d'Diskussioun hei.

Z8/Function (Z4/Type)

Z8K1/arguments (Z10/List)
Z8K2/return type (Z4/Type)
Z8K3/testers (Z10/List)
Z8K4/implementations (Z10/List)
Z8K5/identity (Z8/Function)

This will change significantly. In the pre-generic version this is a Z4/Type and this will become a Z8/Function later that has basically the given keys. Z8K1/arguments should be a Z10/List of Z17/Argument declaration (TBD). Z8K3 and Z8K4 should be a Z10/List of Z20/Tester respectively Z14/Implementation with the given Z8/Function as an argument. Needs to be specced out fully.

Z9/Referenz (Z4/Typ)

Z9K1/reference ID (Z6/String)

Keen Ënnerscheed.

Z10/Lëscht (Z4/Typ)

Z10K1/head (Z1/Object)
Z10K2/tail (Z10/List)

Dat wäert de klassesche genereschen Z4/Typ sinn. In the pre-generic version it takes any Z1/Object as a value and then has a Z10/List as its continuation. In the post-generic world this will become a Z8/Function with a single argument of type Z4/Type that returns a Z4/Type (the parameterized list) whose type for the head will be the given Z4/Type and whose type for the tail will be a Z10/List parametrized with the same type.

Z11/Eesproochegen Text (Z4/Typ)

Z11K1/language (Z60/Language)
Z11K2/text (Z6/String)

Keen Ënnerscheed.

Z12/Méisproochegen Text (Z4/Typ)

Z12K1/texts (Z10/List)

The type of Z12K1 should become a Z10/List of Z11/Monolingual texts.

Z14/Implementéierung (Z4/Typ)

Z14K1/function (Z8/Function)
Z14K2/composition (Z1/Any)
Z14K3/code (Z16/Code)
Z14K4/built in (Z6/String)

This should take the function as an argument. Muss nei iwwerduecht ginn.

Z16/Code (Z4/Typ)

Z16K1/language (Z61/Programming language)
Z16K2/code (Z6/String)
~~Z16K3/signature (Z10/List)~~

The signature will be a Z10/List of Z4/Types. That will be only needed in the generic model: the only reason for having a signature separate from the one in the definition is that we might not need to evaluate the values before executing the function.

Z17/Argumentdeklaratioun

Z17K1/argument type (Z4/Type)
Z17K2/key id (Z6/String)
Z17K3/label (Z12/Multilingual text)

Keen Ënnerscheed. But does it even need to exist or can it be just Z3/Key?

Z18/Argumentreferenz (Z4/Typ)

Z18K1/key id (Z6/String)

Keen Ënnerscheed.

Z20/Tester (Z4/Typ)

Z20K1/function (Z8/Function)
Z20K2/call (Z7/Function call)
Z20K3/result validation (Z7/Function call)

Z21/Eenheet (Z4/Typ)

(Keng Schlësselen)

Keen Ënnerscheed.

Z22/Pair (Z4/Type)

Z22K1/first (Z1/Object)
Z22K2/second (Z1/Object)

This will be generic too.

Z23/Näischt (Z4/Typ)

(Keng Schlësselen)

Keen Ënnerscheed.

Z31/MonoLingualStringSet (Z4/Type)

Z31K1/language (Z60/Language)
Z31K2/stringset (Z10/List)

Z31K2/stringset will be a Z10/List of Z6/Strings.

Z32/MultiLingualStringSet (Z4/Type)

Z21K1/stringsets (Z10/List)

Z32K1/stringsets will be a Z10/List of Z31/MonoLingualStringSets.

Z39/Key reference (Z4/Type)

Z39K1/reference (Z6/String)

Keen Ënnerscheed.

Z40/Boolean (Z4/Type)

Z40K1/identity (Z40/Boolean)

Keen Ënnerscheed.

Z50/Feelertyp (Z4/Typ)

Z50K1/keys (Z10/List)
Z50K2/...: Something that turns this into a string given the keys. This will be added later.

This will change. The Z50K1 will be a Z10/List of Z3/Keys, and more importantly, this would become a function that creates a Z4/Type.

Z60/Sprooch (Z4/Typ)

Z60K1/code (Z6/String)
Z60K2/code aliases (Z10/List)

Keen Ënnerscheed.

Z61/Programméiersprooch (Z4/Typ)

Z61K1/code (Z6/String)

Keen Ënnerscheed.

Z70/Union (Z4/Type)

Does not exist in the pre-generic model.

Z80/Byte (Z4/Type)

Z80K1/value (Z6/String)

Keen Ënnerscheed.

Z86/Codepunkt (Z4/Typ)

Z86K1/value (Z6/String)

Keen Ënnerscheed.

Z99/Zitat (Z4/Typ)

Z99K1/quotation (Z1/Object)

Keen Ënnerscheed.

Kuckt och

Function model (as planned)
Overview of notes