Palestrante: Bodil Stokke

Functional Language Creator & Web Development Lead
Bodil is a largely self-educated person, who developed an interest in computer science during her teenage years. She embarked on a series of world travels in 1989, when she alleged that during this period she encountered a group of mathematical adepts, the "Haskell Language and Library Committee," who sent her to Glasgow, Scotland, where they trained her to develop her powers of category theory. Her doctrines influenced the spread of Homotopy Type Theory in the West as well as the development of Western computer science currents like dependent types, blockchains and isomorphic JavaScript.

Encontre Bodil Stokke em

Palestra: The Realist’s Guide to Language Design