The Vine Programming Language (vine.dev)
from armchair_progamer@programming.dev to programming_languages@programming.dev on 23 Feb 07:08
https://programming.dev/post/25890200

The interesting part starts at vine.dev/docs/features/inverse

Discussion: news.ycombinator.com/item?id=43144040

#programming_languages

threaded - newest

coherent_domain@infosec.pub on 23 Feb 13:01 collapse

This language reminded me the duality framework developed by Zena Ariola and Paul Dowen (there probably are other people working on it) based on classical logic.

This is not surprising, as vine claimed to be based on interaction net, a model of classical linear logic. However there are several questions that I hope to get some answers:

  • Based on my extremely limited understanding, Ariola and Dowen’s framework seems to admit a evaluation order for the continuation (a expression with “expectation”) for each evaluation of values, like call-by-covalue, call-by-coneed. I was wondering what is the evaluation order of the continuation here.
  • How does the linear aspect of the interaction net comes into the picture? Is there linear types?