Top Tweets for #TypeSystems
Elixir v1.20 shifts toward gradual typing, making robust safety easier without losing flexibility. More options for safer code paths and gradual adoption. #Elixir #Programming #TypeSystems
「TypeProfを入れたけど、何も起きない」
実はそれ、バグではなく設計上の意図です。
RubyKaigi 2025 の発表と実際の検証をもとに、
TypeProfが「何をするツールなのか／しないのか」を整理した記事を書きました。
https://t.co/HQUIZVgBrQ
#Ruby #TypeSystems #RubyKaigi
TypeProf is often evaluated with the wrong expectations.
It is not a strict type checker, but a conservative type inference system that prioritizes soundness over noise.
https://t.co/HQUIZVgBrQ
#Ruby
#TypeSystems
#RubyKaigi
#DeveloperTools
‘Sound Default-Typed Scheme’ by Jan-Paul Ramos-Davila
https://t.co/rM5mBeyYSi
Presentation at ICFP/SPASH’25: https://t.co/uEFGucakqX
Found via https://t.co/dz9DpPlzBK
#types #typesystems
Static vs Dynamic Typing 🔥
Static = type checked early 💡
→ safer, stricter (C, Java, Rust)
Dynamic = type checked at runtime ⚡
→ flexible, quick (Python, JavaScript)
Structure or freedom — what’s your style? 🤔
#Programming #CSBasics #TypeSystems
What is the origin of Lambda? Why does everything go back to Cadiz?
Only 2 weeks for Lambda World 2025
- October 23-24
- https://t.co/KYIkpzUWeM
#FunctionalProgramming #Lambda #CategoryTheory #TypeSystems #Haskell #Scala #OCaml #Rust #Elixir
LAST DAY 🐟 Standard Tuna Ticket for Lambda World ’25!
Tomorrow: €300. Don’t be the one wishing you’d spent it on cartuchitos de camarones in Cádiz.
Oct 23–24 · Cádiz · https://t.co/d7iC1Wo7x8
#FunctionalProgramming #Haskell #Scala #CategoryTheory #TypeSystems #EffectSystems #Kotlin #Rust #Elixir #Beam
Static vs Dynamic Typing? Do you prefer compile-time safety or runtime flexibility? Share your choice & the reasoning behind it! 👇 #Programming #TypeSystems
Java and Scala’s Type Systems are Unsound (OOPSLA '16) Nada Amin and Ross Tate (2016)
https://t.co/MROpErEYwI
https://t.co/rrQy3ytxNw
https://t.co/dU2uKxxq0Q
#typeSystems
🔍 Structural vs. Nominal Type Systems
Structural type systems in opposition 🤔 to nominal-type systems will considered every member of the type when checking for equality.
https://t.co/7CEzKa50z1
#TypeSystems #Programming #DataScience #Coding
The discussion highlights the complexities of OCaml's type system beyond Algorithm W, including innovations in level tracking and comparisons with Rust's shift towards SMT solvers for improved performance. #TypeSystems
HN: https://t.co/XKUbonoADy
The discussion highlights the challenges and nuances of using types and interfaces in programming, with TypeScript being noted for its flexibility, but also its clunkiness. #TypeSystems
HN: https://t.co/oVqSBRSBx3
12. Type Systems Unleashed: Harnessing the Power of Static Typing
#TypeSystems #CodingEfficiency #SoftwareDevelopment #CodeSafety #DevTips #Buildinpublic #100DaysOfCode #Coding #DevCommunity #Python #JavaScript
Source read: https://t.co/XVAwObk1DH
Introduction to type systems
Introduction to type systems, explore what they are, why they matter, and how they impact software development.
Blog post by Ada Beat: https://t.co/T6lESecWWl
#adabeat #functionalprogramming #typesystems
bugs in code are proportional to the number of partial function in the entierty code base - FS #rustlang #typesystems
Last Seen Hashtags on Sotwe
Most Popular Users
Elon Musk 
@elonmusk
240.1M followers
Barack Obama
@barackobama
119.3M followers
Donald J. Trump
@realdonaldtrump
111.6M followers
Cristiano Ronaldo
@cristiano
108.7M followers
Narendra Modi
@narendramodi
106.9M followers
Rihanna
@rihanna
97.2M followers
NASA
@nasa
92.1M followers
Justin Bieber
@justinbieber
90.5M followers
KATY PERRY
@katyperry
86.7M followers
Taylor Swift
@taylorswift13
80.5M followers
Lady Gaga
@ladygaga
72.1M followers
Kim Kardashian
@kimkardashian
69.3M followers
YouTube
@youtube
68.6M followers
Virat Kohli
@imvkohli
68.4M followers
Bill Gates
@billgates
63.4M followers
The Ellen Show
@theellenshow
62.5M followers
CNN
@cnn
61.9M followers
Neymar Jr
@neymarjr
60.9M followers
X
@x
60.9M followers
CNN Breaking News
@cnnbrk
59.9M followers