Nectry: Tricking End Users into Programming Practical Web Applications with Dependent Types
Product demo of an early effort to spin out PL research into a startup company. It’s based on Ur/Web, a domain-specific language for web programming, inspired by dependent types. However, the product is a UI that nonprogrammers can use to construct Ur/Web apps, through aggressive reuse of library components with very expressive and flexible types. For instance, “a poll” is a concept given first-class status in the library. Then users can add polls to their applications in custom ways but with very few clicks.