- Hooks: Simple, type-safe hook system for Go https://github.com/mikestefanello/hooks 25 comments golang
- Brainfuck implemented in Haskell's type system https://github.com/toptobes/typefuck-haskell 2 comments haskell
- Using the type system to ensure that sensitive data isn't accessible in places where it shouldn't be. https://www.reddit.com/r/rust/comments/i6x26u/using_the_type_system_to_ensure_that_sensitive/ 8 comments rust
- Kind - Basic type system (in runtime) for Ruby https://www.reddit.com/r/ruby/comments/g064hg/kind_basic_type_system_in_runtime_for_ruby/ 9 comments ruby
- No, dynamic type systems are not inherently more open https://lexi-lambda.github.io/blog/2020/01/19/no-dynamic-type-systems-are-not-inherently-more-open/ 620 comments programming
- Pragmatic intro to lambda calculus and various type systems - Found this very useful as it had readily running interpreter https://crypto.stanford.edu/~blynn/lambda/ 6 comments haskell
- What To Know Before Debating Type Systems https://blog.steveklabnik.com/posts/2010-07-17-what-to-know-before-debating-type-systems 136 comments programming
- Is the barycenter of a double system (Pluto-Charon, for example) another type of Lagrange point? https://www.reddit.com/r/askscience/comments/8o6ujn/is_the_barycenter_of_a_double_system_plutocharon/ 12 comments askscience
- Leveraging the type system to avoid mistakes https://www.beyondthelines.net/programming/leveraging-the-type-system-to-avoid-mistakes/ 11 comments programming
- Number Theory using Rust's Type System https://shingtaklam1324.github.io/number-theory-rust/ 4 comments rust
- safe-money: Money in the type system where it belongs https://ren.zone/articles/safe-money 29 comments haskell
- Comparison of OCaml and Java type systems https://www.reddit.com/r/ocaml/comments/760k8a/comparison_of_ocaml_and_java_type_systems/ 22 comments ocaml
- Dart gets a Type System https://medium.com/@davidmorgan_14314/dart-gets-a-type-system-6bd3121772de 165 comments programming
- The how, what, and why of Dart's new sound type system. http://news.dartlang.org/2017/01/sound-dart-and-strong-mode.html 6 comments programming
- Pure type systems implemented in Rust. [/x/post /r/dependent_types] https://www.reddit.com/r/dependent_types/comments/57mnva/pure_type_systems_implemented_in_rust/ 4 comments rust
- How can Rust's type system be used to keep user data separate? https://www.reddit.com/r/rust/comments/513qiz/how_can_rusts_type_system_be_used_to_keep_user/ 3 comments rust
- The Design of Stanza's Optional Type System http://lbstanza.org/optional_typing.html 9 comments programming
- The Point Of Code-Is-Law Is That It Enables New Types Of Legal Systems, That Would Not Be Possible Otherwise — Steemit https://steemit.com/crypto-news/@poesis/the-point-of-code-is-law-is-that-it-enables-new-types-of-legal-systems-that-would-not-be-possible-otherwise 18 comments ethereum
- A new study in infant gut microbiome supports the hygiene hypothesis: infants in the western countries have limited exposure to various microorganisms which has implications in the development of their immune system. This makes them prone to autoimmune diseases (e.g. type 1 diabetes) and allergies. https://www.broadinstitute.org/news/8131 531 comments science
- Does anyone have an insight on how to add a type system to interaction combinators? https://www.reddit.com/r/haskell/comments/4h8iu0/does_anyone_have_an_insight_on_how_to_add_a_type/ 17 comments haskell
- Learning Elm, part 1: Understanding The Benefits Of A Strong Type System http://lucasmreis.github.io/blog/learning-elm-part-1/ 10 comments elm
- What exactly makes the Haskell type system so revered http://programmers.stackexchange.com/a/279362/7762 148 comments haskell
- Researchers fed 15 young children at high risk of type 1 diabetes increasing doses of powdered insulin for about 6 months. The insulin stimulated a protective response by the children's immune systems that stopped the body attacking pancreatic islet cells and blocked the development of diabetes. http://www.healthline.com/health-news/daily-oral-insulin-could-help-prevent-type-1-diabetes-042115 10 comments science
- What is a type system? http://www.roundcrisis.com/2014/12/31/type-systems/ 4 comments coding
- The "99 bottles of beer" of Type Systems http://gelisam.blogspot.ca/2014/12/the-99-bottles-of-beers-of-type-systems_21.html 9 comments haskell
- Guide to the Haskell Type System [course] https://skillsmatter.com/courses/504-well-typed-s-guide-to-the-haskell-type-system#overview 8 comments haskell
- Pluggable Type Systems in Java 8 http://types.cs.washington.edu/checker-framework/ 24 comments programming
- What are the safety benefits of a type system? http://programmers.stackexchange.com/questions/215482/what-are-the-safety-benefits-of-a-type-system 3 comments haskell
- Introduction to Mezzo, a language whose type system tracks aliasing and ownership. http://gallium.inria.fr/blog/introduction-to-mezzo/ 13 comments programming
- An example on how ridiculously powerful haskells type system is http://chrisdone.com/posts/2010-10-07-haskelldb-and-typeoperator-madness.html 60 comments haskell
- Tracking Asynchronous IO Using Type Systems http://blog.incubaid.com/2012/04/02/tracking-asynchronous-io-using-type-systems/ 10 comments programming
- France and U.S. Health Care --- The ingredients are much the same: Private medical institutions, job-linked private insurance, Medicaid-type provisions for the poor. Yet the French system works beautifully, and keeps costs down. What's the French secret? (r/economics xpost) http://www.theatlantic.com/business/archive/2012/03/france-and-us-health-care-twins-separated-at-birth/254033/ 6 comments europe
- Our legal system seems to have forgotten that marriage is (already) a SECULAR issue. Ergo, one's religious convictions are irrelevant. Why are faith-based objections even entertained since no one is forcing churches to officiate or even recognize marriages of any type outside their own faith? http://en.wikipedia.org/wiki/Anna_Nicole_Smith#Commitment_ceremony_with_Stern 3 comments politics
- Roy - language with Hindley-Milner type system and monads that compiles to javascript http://roy.brianmckenna.org/ 8 comments haskell
- Scientists have discovered the origin of a unique type of cell, which can support regeneration in the central nervous system http://news.bioscholar.com/2010/11/improved-treatment-of-spinal-cord-injuries.html 13 comments science
- Type systems vs test suites (from the haskell-cafe mailing list). http://www.haskell.org/pipermail/haskell-cafe/2010-may/077248.html 33 comments programming
- What to Know Before Debating Type Systems http://cdsmith.twu.net/types.html 28 comments programming
- Soon you'll be able to compile Mercury (a purely declarative, logical/functional language with a modern static type system) to... wait for it... Erlang! http://www.cs.mu.oz.au/research/mercury/mailing-lists/mercury-reviews/mercury-reviews.200705/0031.html 6 comments programming
- Water found on supposedly dry asteroids for the first time - This detection is surprising, because our current understanding of solar system formation would suggest that S types are anhydrous because of their formation location in the inner solar system https://cosmosmagazine.com/space/astronomy/dry-asteroids-water-molecules/ 14 comments science
- The first trial of a pioneering therapy to retrain the immune system and slow the advance of type 1 diabetes has shown it is safe. The immunotherapy - tested on 27 people in the UK - also showed signs of slowing the disease, but this needs confirming in larger trials. http://www.bbc.com/news/health-40876438 23 comments science