calebmer
commented
8 years ago Resources
A list of resources I have come across in my research (this comment will be edited throughout time). These links are a curated list of things that have helped me, I have not read all of them, but I would like to.
- Wikipedia: Type System.
- Type Systems for Programming Languages. “These notes were prepared for use in the graduate course Computer Science 15–814: Type Systems for Programming Languages at Carnegie Mellon University. Their purpose is to provide a unified account of the role of type theory in programming language design and implementation.”
- Wikipedia: Type Theory.
- StackOverflow Answer: How to I pick up a deep background in type theory?.
- Types and Programming Languages. Apparently this is the seminal book on type theory in programming languages.
- Introduction to Type Theory. “These notes comprise the lecture “Introduction to Type Theory” that I gave at the Alpha Lernet Summer School in Piriapolis, Uruguay in February 2008. The lecture was meant as an introduction to typed λ-calculus for PhD. students that have some (but possibly not much) familiarity with logic or functional programming.”
- StackOverflow Answer: What is a more strongly typed research language than Haskell?. NOTE: This answer has an interesting link to LiquidHaskell, a language with “refinement types.” A refinement type basically allows you to instead of having
Int, you could have{i : Int | i > 0}. This idea is pretty crucial to the type system we need to develop.
svmnotn
This is an idea I had. The Ardite schemas was initially inspired by JSON schema, but what we are really doing is letting the user define a type system, not a data schema.
Maybe we should rethink our terminology and approach to schema? I'm thinking most of the code stays the same, but maybe things get renamed.