Hacker News
- Python Functional Programming with returns library (type-safety, monads, etc.) https://github.com/dry-python/returns 3 comments
Lobsters
- Ectype - bringing type safety (and more!) to vanilla JavaScript https://gitlab.com/dejawu/ectype 4 comments javascript , plt
- TypeScript, web and the illusive type-safety-advantage https://www.jayway.com/2016/05/06/typescript-web-and-the-illusive-type-safety-advantage/ 39 comments programming
- Shell scripting with type-safety using Haskell « Linux-Magazin Online http://www.linux-magazin.de/online-artikel/shell-scripting-with-type-safety-using-haskell/ 31 comments haskell
- End-to-End Type Safety with .NET 7 Web APIs, TypeScript, and OpenAPI https://chrlschn.medium.com/end-to-end-type-safety-with-net-7-web-apis-typescript-and-openapi-cbda505a5129?sk=ff1417bddffca69101b7e2f772df6de0&source=friends_link 10 comments programming
- Type safety doesn't work with Angular dependency injection https://stackoverflow.com/questions/77184133/type-safety-doesnt-work-with-angular-dependency-injection 3 comments angular2
- Type Systems for Memory Safety https://borretti.me/article/type-systems-memory-safety 16 comments programminglanguages
- Zero-effort type safety: SvelteKit will now type your load functions for you! https://svelte.dev/blog/zero-config-type-safety 18 comments sveltejs
- End-to-end type safety with tRPC (example repository) https://github.com/nhevia/tRPC-example 10 comments typescript
- An Inconsistent Truth: Next.js and Type Safety https://t3.gg/blog/post/types-and-nextjs 2 comments programming
- From Partitions to Wordle - Type Safety with Phantom Types https://www.morrowm.com/posts/2022-04-04-phantom.html 3 comments haskell
- How to access data dynamically in Java without losing type safety https://blog.klipse.tech/java/2021/03/28/dynamic-data-access-in-java.html 16 comments java
- How do I create type safety for this type of data model? https://www.reddit.com/r/typescript/comments/l4hz6h/how_do_i_create_type_safety_for_this_type_of_data/ 5 comments typescript
- Names are not type safety https://lexi-lambda.github.io/blog/2020/11/01/names-are-not-type-safety/ 54 comments rust
- Names are not type safety https://lexi-lambda.github.io/blog/2020/11/01/names-are-not-type-safety/ 27 comments haskell
- Good design and type safety are symbiotic http://h2.jaguarpaw.co.uk/posts/good-design-and-type-safety-in-yahtzee/ 16 comments programming
- Good design and type safety in Yahtzee http://h2.jaguarpaw.co.uk/posts/good-design-and-type-safety-in-yahtzee/ 20 comments haskell
- Type safety for JSON REST APIs https://www.reddit.com/r/javascript/comments/amr03e/type_safety_for_json_rest_apis/ 11 comments javascript
- GADT type safety https://www.reddit.com/r/haskell/comments/8o2zwe/gadt_type_safety/ 20 comments haskell
- Improved Redux type safety with TypeScript 2.8 https://medium.com/@martin_hotell/improved-redux-type-safety-with-typescript-2-8-2c11a8062575 4 comments typescript
- On Types And Intent, Clojure and Haskell, Assumptions and Safety, Science and Engineering http://jawaninja.com/programming/2017/10/29/on-types-and-intent 262 comments programming
- Type Safety Back and Forth http://www.parsonsmatt.org/2017/10/11/type_safety_back_and_forth.html 33 comments haskell
- Are there benefits of strong typing besides safety? http://stackoverflow.com/q/36142428/1172541 15 comments haskell
- Pattern matching library with focus on type safety. Feedback, please? https://www.npmjs.com/package/typematch 3 comments typescript
- What is type safety? http://www.pl-enthusiast.net/2014/08/05/type-safety/ 48 comments programming
- 5 Approaches to Achieve Better JS Type Safety http://nightlight.conductor.com/5-attempts-type-safety-javascript/ 16 comments javascript
- 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
- Shen: A Lisp with currying, lazy evaluation, partial evaluation, type safety, Haskell-like argument pattern matching, and a built in Prolog interpreter. http://www.shenlanguage.org/learn-shen/tutorials/shen_in_15mins.html#shen-in-15mins 20 comments lisp
- In essence, ae gives you the safety of static typing and the freedom of dynamic typing. http://an-epiphany.blogspot.com/2007/08/unlike-most-dynamically-typed-languages.html 20 comments programming
- SML on its way to formally proven type safety http://lambda-the-ultimate.org/node/2168 7 comments programming
- Effectiveness and Safety of a Novel Care Model for the Management of Type 2 Diabetes at 1 Year: An Open-Label, Non-Randomized, Controlled Study [T2DM reversed in 60% of patients doing a nutritional ketosis diet intervention] https://link.springer.com/article/10.1007/s13300-018-0373-9 3 comments science
- Simulating Haskell's do notation in TS without losing type safety https://medium.com/@dhruvrajvanshi/simulating-haskells-do-notation-in-typescript-e48a9501751c 13 comments typescript
- Type Tac Toe: Advanced Type Safety http://chrispenner.ca/posts/type-tac-toe 36 comments programming
- Safety and Efficacy of Eucaloric Very Low-Carb Diet <50 g carb in Type 1 Diabetes: A One-Year Real-Life Retrospective Experience - by looking at 33 cases, scientists determined the switch improved glycemic control (HbA1c: 8.1% to 6.8%, No cases of severe hypoglycemia or ketoacidosis were observed.) https://www.mdpi.com/2072-6643/14/15/3208/htm 3 comments science
- Trade-Offs in Type Safety https://alpacaaa.net/type-safety/ 27 comments haskell
- Strategic Scala Style: Practical Type Safety http://www.lihaoyi.com/post/strategicscalastylepracticaltypesafety.html 19 comments programming
- 👷 Higher type safety for TypeScript with ts-toolbelt https://www.reddit.com/r/typescript/comments/c2nq7k/higher_type_safety_for_typescript_with_tstoolbelt/ 19 comments typescript
- Single-member structs for type safety in C http://spin.atomicobject.com/2014/03/25/c-single-member-structs 8 comments programming
- Broncos safety Justin Simmons on if he would sit out if he gets the franchise tag: “I don’t know if I’m the type of guy who would sit out. Playing is my passion. Obviously, we’d like to get a long-term deal done and speaking with Elway and all the guys there, they’re great and I love the system.” https://www.9news.com/article/sports/nfl/denver-broncos/mike-klis/simmons-has-no-qualms-with-agent-hurtado-now-serving-broncos-interests/73-bf9aff64-f679-4132-b65f-c9dc9a51c340 27 comments nfl