Why Do Programming Languages Have Types

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

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