Reconsider dropping Nothing and Unit in favor of Maybe
Closed, DeclinedPublic
Actions

Assigned To

None

Authored By

	DVrandecic
	Jul 28 2021, 5:18 PM

Description

In a post-generic world, there might be no need to have the Nothing type or the Unit type, because we can have a Maybe generic type instead.

So, let's consider dropping those.

Related Objects
Search...

Status	Subtype	Assigned	Task
Declined		None	T287608 Reconsider dropping Nothing and Unit in favor of Maybe
Resolved		None	T275941 Extend the system to support generated instances of Z4/ZTypes by parameterised functions ("Generic types")
Resolved		gengh	T277000 Validate a Z7/Function call in the wiki
Resolved		gengh	T281386 Use the formal ZObject validation definitions from the function-schemata repo in the ZObjectFactory validation code
Declined		Lindsaykwardell	T282745 Add function-schemata to frontend in order to remedy hybrid forms
Resolved		Lindsaykwardell	T282816 Use canonicalizer to display JSON
Resolved		cmassaro	T284474 Add tests for normalize/canonicalize code in frontend.
Resolved		cmassaro	T284764 Fix Canonicalization Code in Frontend to Handle Z6s That Masquerade as Z9s
Resolved		gengh	T287734 Replace wikilambda extension php validation code with call to schemata validation
Resolved		cmassaro	T276369 Create PHP bindings for function-schemata
Resolved		None	T291033 A function call used as an argument should validate its return type against the expected type of the argument
Resolved		None	T291034 Every argument of a function call with a literal or reference should be of a type compatible for that argument
Resolved		gengh	T287700 Make error generation code produce an understandable result when called with non-existent arguments
Resolved		cmassaro	T291032 Arguments taking a function should validate functions as values
Resolved		None	T291040 Generic functions
Invalid		None	T291037 Function model: update functions to the new generic types
Invalid		gengh	T291038 Function model: updates to the data model to implement generic types
Resolved		DVrandecic	T287196 Update Pre-Generic Function Model
Resolved		DVrandecic	T287195 Function model: Z21 should be updated to be the null value of Unit
Resolved		DVrandecic	T287194 Function model: Z8K5 is a Z8/Function not a Z6/String, regardless of what our code says
Resolved		SimoneThisDot	T303302 Validate that the UX works with typed list for core types (e.g. Z4 has a typed list of Z3s)
Resolved		SimoneThisDot	T304101 Change the Type UX so that it works (viewing/creating/editing) with a typed list of Z3s for Z4K2
Resolved		• JKieserman	T303303 Change the pre-defined core types to use typed lists and not general lists
Resolved		None	T291039 Functions using generic types as input types or output type can be defined and implemented
Resolved		None	T291045 Function created by a generic function call can be evaluated
Resolved		Jdforrester-WMF	T291046 Generic functions can be evaluated
Resolved		None	T291047 Generic functions can be implemented
Resolved		None	T291048 Generic functions can be defined
Declined		None	T291036 Function model: Z8 should change from a type to a function taking a type and a list of types and returning a type
Resolved		SimoneThisDot	T291041 Instances of a generic type are displayed correctly
Resolved		SimoneThisDot	T291042 Instances of generic types can be edited
Resolved		cmassaro	T291044 Instances of generic types are being validated
Resolved		cmassaro	T285260 Orchestrator Top-Level Validation Should Check Z1K1
Resolved		SimoneThisDot	T297244 Let front-end users create and edit instances of any generic type
Resolved		SimoneThisDot	T291043 Instances of generic typed lists can be created
Resolved		cmassaro	T266241 Normalizer and canonicalizer should deal with local and global keys
Resolved		cmassaro	T289681 Composition creating a type doesn't evaluate
Resolved	BUG REPORT	Jdforrester-WMF	T292890 Trying to create a Z14 throws "Cannot read properties of undefined (reading 'filter')" in Vue code
Resolved		SimoneThisDot	T295470 Change the type search API to allow users to search for functions returning a type in addition to instances of that type
Resolved		gengh	T262089 Store type identity output in wikilambda_zobject_labels table
Resolved		gengh	T297925 Change object search API to optionally include functions' return types as the 'type' filter
Resolved		cmassaro	T286975 Make it possible to define the Typed List function fully
Resolved		cmassaro	T287102 Resolve Z18s Wherever They Occur
Resolved		Jdforrester-WMF	T291049 Function that takes a type and returns a type can be evaluated
Resolved		DVrandecic	T291050 Functions that take a type and return a type can be implemented
Resolved		DVrandecic	T291051 Functions that take a type and return a type can be defined
Resolved		Jdforrester-WMF	T293663 Fix instancePath vs. dataPath in function-schemata, Add Tests