- [Elm Conf Videos have been posted.](https://2018.elm-conf.us/schedule/ "Elm Conf Videos have been posted") - Chrome 70 brings PWA to windows desktop. - I think I might have a problem, like those people that shop QVC
-- In computer science and logic, a dependent type is a type whose definition depends on a value. A "pair of integers" is a type. A "pair of integers where the second is greater than the first" is a dependent type because of the dependence on the value. It is an overlapping feature of type theory and type systems.
An unordered collection of unique values
Like parametric polymorphism. A function or data type that can be written generically so that it can handle values identically without worrying or knowing their types.
append: [a] -> [a] -> [a]
aover and over again. BUT with the bit of knowledge on the subject I have I know that append does not care what type you have in the list. A list of Int, or Strings, doesn’t matter, as long as they are the same type in both lists. And finally that it will always give you back a list of the same type as the first and second list arguments.
A function that maps all of it’s possible input values to an output value.