- What is the reason for the connection between exponentiation, function types, logical implication, etc.? https://en.wikipedia.org/wiki/Dependent_type 15 comments math
Linking pages
- Sick of Ruby, dynamic typing, side effects, and basically object-oriented programming - Abe Voelker https://blog.abevoelker.com/sick-of-ruby-dynamic-typing-side-effects-object-oriented-programming/ 962 comments
- Six programming paradigms that will change how you think about coding https://www.ybrikman.com/writing/2014/04/09/six-programming-paradigms-that-will/ 573 comments
- On Tooling and Static Typing. I support the hypothesis that for any… | by Eugen Kiss | techboi | Medium https://medium.com/techboi/on-tooling-and-static-typing-12bfa8f5db00 434 comments
- Wesley Aptekar-Cassels | Languages I want to write https://blog.wesleyac.com/posts/language-todos 202 comments
- You can't handle Errors - by Sir Whinesalot https://btmc.substack.com/p/you-cant-handle-errors 76 comments
- Kindness for Mean Girls: a discussion on type-level programming in Haskell | Ayman Nadeem https://www.aymannadeem.com/haskell/2020/05/15/Kindness-for-Mean-Girls.html 62 comments
- Sick of Ruby, dynamic typing, side effects, and basically object-oriented programming - Abe Voelker https://blog.abevoelker.com/sick-of-ruby-dynamic-typing-side-effects-object-oriented-programming/?repost2014= 60 comments
- The right thing for the wrong reasons: FLOSS doesn't imply security https://seirdy.one/2022/02/02/floss-security.html 54 comments
- FP vs. OO – INNOQ https://www.innoq.com/en/blog/fp-vs-oo/ 49 comments
- GitHub - faiface/generics: A proof-of-concept implementation of my generics proposal for Go https://github.com/faiface/generics 35 comments
- Typestate-oriented programming in F* http://olleharstedt.github.io/fstar/2017/01/12/typestate-in-fstar.html 27 comments
- Hackworth — R&D software developer https://www.hackworthltd.uk/jobs/20200204/ 23 comments
- Developing Statically Typed Programming Language · Minko Gechev's blog https://blog.mgechev.com/2017/08/05/typed-lambda-calculus-create-type-checker-transpiler-compiler-javascript/ 20 comments
- GitHub - advancedresearch/path_semantics: A research project in path semantics, a re-interpretation of functions for expressing mathematics https://github.com/advancedresearch/path_semantics 17 comments
- Dependent Types & Type Level Programming | PartialFlow https://partialflow.wordpress.com/2017/07/26/dependent-types-type-level-programming/ 11 comments
- FunctionalConf 2016 (Day 1/2) – Glimpse of my Workbench https://vasanthaganeshk.wordpress.com/2016/10/18/functionalconf-2016/ 11 comments
- TLA+ in Practice and Theory&ampampampampampampampampampampampampampampampampampampampampampampampampampampampampampampLTbr/>Part 3: The (Temporal) Logic of Actions https://pron.github.io/posts/tlaplus_part3 8 comments
- GitHub - advancedresearch/avalog: An experimental implementation of Avatar Logic with a Prolog-like syntax https://github.com/advancedresearch/avalog 7 comments
- Transforming data structures into types: an introduction to dependent typing and its benefits – Deque https://deque.blog/2017/09/20/data-structure-into-types/ 6 comments
- Type-safe vector addition with Dependent Types - Chris Stucchio https://www.chrisstucchio.com/blog/2014/type_safe_vector_addition_with_dependent_types.html 6 comments
Related searches:
Search whole site: site:wikipedia.org
Search title: Dependent type - Wikipedia
See how to search.