{"entities":{"Q7361455":{"pageid":31519904,"ns":120,"title":"Item:Q7361455","lastrevid":105366620,"modified":"2026-10-07T13:36:41Z","type":"item","id":"Q7361455","labels":{"en":{"language":"en","value":"Constructor Functions"}},"descriptions":{"en":{"language":"en","value":"AFP entry Constructor_Funs"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e9e02ba9a4fb101a736455d35ff167600c240961","datavalue":{"value":"https://isa-afp.org/entries/Constructor_Funs.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361455$FC638422-5A16-434B-B9B6-4740F1C2C91A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8c313f700d555e16ca8e72b646735174f63ec43b","datavalue":{"value":{"time":"+2017-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361455$4D279F13-4756-4774-A7B7-CF4CCF5F44C4","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"bf5d485796582ea615cfd5e7c0148e1add1641d3","datavalue":{"value":"Lars Hupel","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361455$81E41D06-FDD3-4CB4-8211-074BF90130C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"42177bd31f66e90d38e8e90995429edc7f0fbb7c","datavalue":{"value":{"text":"Constructor Functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361455$3B481879-BABC-41C6-9303-1671A2B63CF6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8313ae6a9e254262e2c20d683ff7ba2d5166a7ad","datavalue":{"value":"Isabelle's code generator performs various adaptations for target languages. Among others, constructor applications have to be fully saturated. That means that for constructor calls occuring as arguments to higher-order functions, synthetic lambdas have to be inserted. This entry provides tooling to avoid this construction altogether by introducing constructor functions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361455$DDE08E43-8079-4962-9759-B3E7D025AAF4","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361455$D53360FA-6F3A-45B3-B401-41ABD5CA9AC4","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"7a918ca57cbef7417c708001c9499e7e295238c0","datavalue":{"value":{"entity-type":"item","numeric-id":7360836,"id":"Q7360836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361455$5C6526D4-036A-4983-8C22-31EC0132B3FA","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361455$3CA1EC95-62D0-4875-BEEC-8B3C62C8222E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constructor Functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Constructor_Functions"}}}}}