• Several types of types in programming languages http://arxiv.org/abs/1510.03726 32 comments 17/10/2015
• Idris - pure functional programming language with dependent types http://idris-lang.org/ 15 comments 19/1/2012
• The ATS Programming Language – Unleashing the Potentials of Types and Templates http://www.ats-lang.org 9 comments 15/11/2015
• Show HN: Numbat – A programming language with physical dimensions as types https://numbat.dev/articles/intro.html 113 comments 15/11/2023
• X10: a new object-oriented, type-safe programming language http://x10-lang.org/ 6 comments 1/8/2010
• Beatrice: A tagless, dependently typed, self-aware programming language https://hirrolot.github.io/posts/announcing-beatrice.html 2 comments 22/4/2024

• The case for atomic types in programming languages https://utcc.utoronto.ca/~cks/space/blog/programming/CaseForAtomicTypes 6 comments 14/2/2023 c

• Type-safe tagged unions in the D programming language http://www.deadalnix.me/2013/05/10/type-safe-tagged-union-in-d-programming-language/?wyda 15 comments 10/5/2013 programming
• Types in the Go Programming Language https://medium.com/learning-the-go-porgramming-language/types-in-the-go-programming-language-65e945d0a692#.ph2fjhnlw 23 comments 23/2/2016 golang
• what programming language do I need to create this type of database? http://www.ilo.org/dyn/triblex/triblexmain.advancedSearch?p_lang=en 3 comments 27/5/2018 learnprogramming
• Recommend me a desktop neural net program,with a (typed) English-language interface https://www.reddit.com/r/artificial/comments/5bugu5/recommend_me_a_desktop_neural_net_programwith_a/ 5 comments 8/11/2016 artificial
• Several types of types in programming languages http://arxiv.org/abs/1510.03726 4 comments 18/10/2015 compsci
• Type Qualifiers and Wild Cards in the D Programming Language http://drdobbs.com/blogs/cpp/231902461 38 comments 8/11/2011 programming
• Alms: a Programming Language with Practical Affine Types (written in Haskell) http://www.ccs.neu.edu/home/tov/pubs/alms/ 3 comments 22/7/2010 haskell
• Practical Implementation of a Dependently Typed Functional Programming Language http://lambda-the-ultimate.org/node/3271 6 comments 15/4/2009 programming
• Numbat – A programming language with physical dimensions as types https://numbat.dev/articles/intro.html 16 comments 17/11/2023 rust
• Numbat – A programming language with physical dimensions as types https://numbat.dev/articles/intro.html 46 comments 16/11/2023 programming
• Discussion: structural programming element in a language with nominal typing https://gist.github.com/Craftist/fc6d6e25256786142a5b344717eddb28 2 comments 21/6/2021 compilers
• mltype - Typing practice for programming languages http://karpathy.github.io/2015/05/21/rnn-effectiveness/ 13 comments 5/11/2020 opensource
• Idris is a general purpose pure functional programming language with dependent types https://www.idris-lang.org/ 10 comments 12/7/2018 programming
• DEC64 is intended to be the only number type in the next generation of application programming languages. http://dec64.org/ 76 comments 21/6/2014 programming
• Typo: A programming language that runs in Haskell's type system. http://github.com/seliopou/typo 21 comments 31/12/2013 haskell
• Types and Programming Languages The Next Generation, Benjamin C. Pierce, 2003 http://www.cis.upenn.edu/~bcpierce/papers/tng-lics2003-slides.pdf 7 comments 1/5/2013 compsci
• My favorite computer science book: Pierce’s Types and Programming Languages http://www.briangoetz.com/blog/?p=58 25 comments 17/10/2008 programming
• Typedefs: a programming language agnostic type construction and interchange language solidly grounded in mathematics http://typedefs.com/ 3 comments 26/3/2019 programming
• neut - a dependently-typed programming language with compile-time malloc/free determination https://github.com/u2zv1wx/neut 18 comments 23/5/2020 haskell
• Compile time meta-programming for strongly typed languages in a less ambitious but more controlled way (ICFP submissions) http://www.seas.upenn.edu/~hongboz/main.pdf 3 comments 21/4/2013 haskell
• Type Theory Forall - #23 What is the SIGPLAN? [The ACM Special Interest Group on Programming Languages] https://www.typetheoryforall.com/2022/09/23/23-SIGPLAN.html 3 comments 27/9/2022 programminglanguages
• Type Inference in Stack-Based Programming Languages http://prl.ccs.neu.edu/blog/2017/03/10/type-inference-in-stack-based-programming-languages/ 5 comments 11/3/2017 ocaml
• The Top Starred repositories in Github have been analysed to understand which are the most common whitespace types in different programming languages http://ukupat.github.io/tabs-or-spaces/ 423 comments 25/12/2015 programming
• Grain: A strongly-typed functional programming language for the modern web https://grain-lang.org/ 68 comments 30/7/2018 programming
• Lexon is a new type of program language that anyone can read. That's what is needed to push adoption . http://www.lexon.tech/ https://www.reddit.com/r/ethereum/comments/denfef/lexon_is_a_new_type_of_program_language_that/ 15 comments 7/10/2019 ethereum
• PureScript -- strongly, statically typed programming language, written in and inspired by Haskell. Compiles to readable JS! http://purescript.readthedocs.org/en/latest/intro.html 11 comments 22/9/2014 javascript
• Tart - a strongly-typed general purpose programming language http://code.google.com/p/tart/ 203 comments 14/9/2011 programming
• Cat - a statically-typed stack-based programming language http://www.codeproject.com/useritems/cat.asp 3 comments 4/11/2006 programming
• Native Run-Time Performance for a High-Level, Dynamically Typed Programming Language https://manool.org/blog/2020-10-04/native-run-time-performance-for-a-high-level-dynamically-typed-programming-language 8 comments 4/11/2020 programming
• Egison is a programming language that realizes non-linear pattern-matching against non-free data types https://www.egison.org/ 31 comments 13/7/2018 programming
• ChucK is a strongly-typed, strongly-timed, concurrent audio and multimedia programming language. http://chuck.cs.princeton.edu/doc/language/ 11 comments 5/11/2008 programming
• Ur/Web is a domain-specific language for programming webapps backed by SQL databases. Statically-typed, purely functional, and with features from dependently-typed languages like the logic behind Coq. http://www.impredicative.com/ur/?repost 59 comments 14/7/2012 programming
• Finch: a simple bytecode-interpreted, purely object-oriented, prototype-based, dynamically-typed programming language. http://finch.stuffwithstuff.com/ 60 comments 27/6/2010 programming