TOP
Suche auf der Schloss Dagstuhl Webseite
Sie suchen nach Informationen auf den Webseiten der einzelnen Seminare? - Dann:
Nicht fündig geworden? - Einige unserer Dienste laufen auf separaten Webseiten mit jeweils eigener Suche. Bitte beachten Sie folgende Liste:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminare
Innerhalb dieser Seite:
Externe Seiten:
  • DOOR (zum Registrieren eines Dagstuhl Aufenthaltes)
  • DOSA (zum Beantragen künftiger Dagstuhl Seminare oder Dagstuhl Perspektiven Workshops)
Publishing
Innerhalb dieser Seite:
Externe Seiten:
dblp
Innerhalb dieser Seite:
Externe Seiten:
  • die Informatik-Bibliographiedatenbank dblp


Forschungstreffen 20289

Forschungsaufenthalt

( 09. Jul – 13. Jul, 2020 )

Permalink
Bitte benutzen Sie folgende Kurz-Url zum Verlinken dieser Seite: https://www.dagstuhl.de/20289

Organisator

Kontakt

Description

In almost all programming languages, expressions evaluating to no or many values must resort to special encodings, such as null values and containers, whose subsequent handling requires annoying coding idioms such as branching on not-null, iteration, or unwrapping. By introducing number as grammatical category that is orthogonal to type, and by letting expressions evaluate to a number of objects, rather than just one, the treatment of none, one, and many objects can be unified, leading to programs that are easier to write, read, and maintain (see https://drops.dagstuhl.de/opus/volltexte/2015/5032/pdf/22.pdf for the main ideas).

The corona pandemic exacerbates inequalities among scientists: while some can enjoy the silence of their home offices and use it to reach previously unknown levels of productivity, others suffer from the combination of working at home with home schooling, and from coping with the horror that the extradition of their children to the internet, as promoted by a naive public, means. In this situation, the staff of Schloss Dagstuhl has hosted me and allowed me to complete my above-sketched work in their familiar, friendly, and perfectly organized environment.

Copyright Friedrich Steimann