David Corfield
type, object, monad, process

Type

Intrinsic/extrinsic

https://lexi-lambda.github.io/blog/2020/01/19/no-dynamic-type-systems-are-not-inherently-more-open/

  • Simone Martini, Several Types of Types in Programming Languages, https://hal.inria.fr/hal-01399694

  • Simone Martini. Types in programming languages, between modelling, abstraction,and correctness. In Arnold Beckmann, Laurent Bienvenu, and Nataˇsa Jonoska,editors,CiE 2016, volume 9709 ofLNCS. Springer, 2016. (For, “The story of abstract data types, their relation to polymorphism, and how their parabola gives way to object oriented programming, is something to be told in a different paper”)

Object

Monad

Variations: strong, applicative functors, idioms, parametric

Vs algebraic effects

Process

[SIGCIS-Members] Invention of the concept of process

A general context for geometrical spaces and processes in these spaces is a cohesive (∞,1)-topos. higher category theory and physics

Why does cohesion allow for this?

Last revised on March 24, 2021 at 16:46:08. See the history of this page for a list of all contributions to it.