Tag: type 🔗

février 2022

• 15 - Lindsey Kuper sur Twitter : "progress in type systems marches inexorably forward, ruling out broader and broader classes of programs as bad. one day, type systems research will achieve the ultimate goal: to conclusively establish that all programs are bad" / Twitter _année_2022 🏠 _mois_févr. 🏠 citation 🏠 critique 🏠 humour 🏠 programming 🏠

janvier 2021

• 25 - Billets de Lilian - Comment récupérer le type MIME des fichiers ? _année_2021 🏠 _mois_janv. 🏠 api 🏠 java 🏠 library 🏠 mime 🏠 programming 🏠

novembre 2020

• 17 - Type hints cheat sheet (Python 3) — Mypy 0.790 documentation _année_2020 🏠 _mois_nov. 🏠 programming 🏠 python 🏠 validation 🏠
• 07 - The Newtype Pattern in Rust _année_2020 🏠 _mois_nov. 🏠 design 🏠 pattern 🏠 programming 🏠 rust 🏠

février 2020

• 09 - Programmation par Traits sous l'influence de la gestion mémoire (Didier Plaindoux) - YouTube _année_2020 🏠 _mois_févr. 🏠 mémoire 🏠 performance 🏠 présentation 🏠 programming 🏠 rust 🏠

juillet 2019

• 18 - Manifold - supplements your Java project with useful features like Type-safe Metaprogramming, Structural Typing, and Extension Methods _année_2019 🏠 _mois_juil. 🏠 java 🏠 library 🏠 programming 🏠

mai 2019

• 17 - Generic returns in Rust – The If Works _année_2019 🏠 _mois_mai 🏠 conversion 🏠 programming 🏠 rust 🏠

octobre 2017

• 17 - Observables and Finnish Notation – Ben Lesh – Medium _année_2017 🏠 _mois_oct. 🏠 documentation 🏠 javascript 🏠
• 16 - Get the advantages of TypeScript without transpiling | Phaultlines _année_2017 🏠 _mois_oct. 🏠 javascript 🏠 langue 🏠 programming 🏠 validation 🏠 web 🏠

septembre 2017

• 20 - To type or not to type: quantifying detectable bugs in JavaScript | the morning paper _année_2017 🏠 _mois_sept. 🏠 javascript 🏠 programming 🏠 system 🏠
• 19 - Diminishing returns of static typing _année_2017 🏠 _mois_sept. 🏠 programming 🏠

septembre 2016

• 22 - Why Use Flow? · Aria _année_2016 🏠 _mois_sept. 🏠 javascript 🏠 programming 🏠 web 🏠

septembre 2014

• 24 - Javascript Type-Conversion _année_2014 🏠 _mois_sept. 🏠 javascript 🏠 programming 🏠