Top Tweets for #typeSystem
Elixir v1.20, released, introduces a set-theoretic gradual type system enabling optional type annotations without altering old codebases, with direct compiler integration.
#elixir #erlangvm #typesystem #backenddevelopment #cloudnative
https://t.co/GIJNnEYLGQ
Is writing a "data.vector.unboxed" instance in Haskell the programmer's version of speed dating? 💻❤️
Source: https://t.co/ptpQ8vyaj9
#TypeSystem #LearnHaskell #HaskellProgramming #FunctionalProgramming #write #haskell
Java vs Rust: Strings Unwrapped 🧵
➡️ String in Java = Immutable UTF-16
➡️ String in Rust = Growable, heap-allocated UTF-8
🔒 Java handles memory GC
🧠 Rust enforces ownership & borrowing
#Java #RustLang #DevDifferences #MemorySafety #TypeSystem
Are Haskell type sizes classified info – 'byte'-size only?
Source: https://t.co/nommKS2lgY
#FP #TypeSystem #SoftwareEngineering #FunctionalProgramming #determine #haskell
Both sessions are now available online. Watch here:
1. Type Testing Do We Really Need It? - Matan Cohen
https://t.co/ynLoVXRbS9
2. #TypeSystem Shenanigans - @ronenamiel
https://t.co/sx33mBQwyD
Right now: full house at our meetup—#TypeScript Deep Dive: From Type System Wizardry ✨ to Type Testing Mastery!
Matan Cohen & @ronenamiel are leading us through type testing, building complex types, and pushing TypeScript’s type system to its limits with live coding magic.
Just another reason why optional data - and a compiler to help you reason about it - are useful in the real world #fsharp #typesystem #statictyping
A Custom #TypeSystem for #DesignLeadership’s Diverse and Evolving Body 🧬
When creating a #visualidentity for its new program, any old #typeface wouldn’t do. #Designer Polina Kirei devised a #customtype #system: DLX #Future.
Read the full story on PRINT: https://t.co/kRRLfPcEn9
Want typings without writing ? take @FableCompiler for a ride , #fsharp #feliz #react #typesystem #javascript without #typescript
CppNorth 2023 Session Announcement
C++ as an Optimizing Assembler - a Performance Talk by Levo DeLellis
https://t.co/QuGfoLr1KQ
Register today at https://t.co/ePmLBPcsM6
#Assembler #Cpp #Typesystem #cppnorth
CppNorth 2023 Session Announcement
Building Interfaces That Are Hard to Use Incorrectly by Andreas Weis
https://t.co/M1vi0Jj4Eo
Register today at https://t.co/ePmLBPcsM6
#Cpp #Design #Typesystem #cppnorth
CppNorth 2023 Session Announcement Typical C++, But Why? by @bjorn_fahller
https://t.co/0IsquvDZEV
Register today at https://t.co/ePmLBPcsM6
#cpp #typesystem #compiling
#29LT Ada #biscriptual #typesystem got awarded the ‘Certificate of Typographic Excellence’ by Type Directors Club @typedirectors #TDC69 Competition.
.
Will be published in The World’s Best Typography Annual, Typography 44.+ Exhibited in TDC’s eight globally-touring exhibitions
I'm delighted to share that our paper "Type-Checking CRDT Convergence" will appear in @PLDI'23 🎉
In the paper, we present Propel 🚀 the first #typesystem for CRDTs verification. It captures crucial properties of CRDTs (e.g., commutativity)
in the type of user-defined functions
#Perec is a tribute to the multifaceted work of Georges Perec, but over time it has become a versatile #typesystem offering a diverse palette of easily combinable forms. And now it speaks many more languages! 🗨️
👉Try it! https://t.co/Y4hJCIvXxt
READ 29LT Ada Article :
.
https://t.co/R2k02hMnWx
.
Sharp / Flat / Round #biscriptual #fonts #variablefont #typesystem
.
Ruqah bases #arabictype echoed by semi-cursive #Latin
.
Using the latest Arabic type technology to deliver endless letters combination and elevation kerning
watch how amazing the utility types of TypeScript are in this short video:
#typescript #typesystem
https://t.co/0Hpts0PfOY
♛ A celebratory #TBT Throwback Thursday 4 @parachutetype 's multi-awarded #PFRegal #typesystem on the occasion of its Grand Prix #RedDotDesignAward 10th #anniversary ♛
https://t.co/3dhBjS1Yvq
#typography #typeface #typedesign #font #superfamily #typefoundry
#parachutefonts
One of the secrets of understanding #typescript #typesystem is to relate it to set theory, one of the best resources for the same:
https://t.co/PyIKW170CJ
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.9M followers
Narendra Modi
@narendramodi
107M followers
Rihanna
@rihanna
97.3M followers
NASA
@nasa
92.1M followers
Justin Bieber
@justinbieber
90.6M followers
KATY PERRY
@katyperry
86.8M followers
Taylor Swift
@taylorswift13
80.6M followers
Lady Gaga
@ladygaga
72.2M followers
Kim Kardashian
@kimkardashian
69.4M followers
YouTube
@youtube
68.6M followers
Virat Kohli
@imvkohli
68.5M followers
Bill Gates
@billgates
63.4M followers
The Ellen Show
@theellenshow
62.5M followers
CNN
@cnn
61.9M followers
Neymar Jr
@neymarjr
61.1M followers
X
@x
60.9M followers
Selena Gomez
@selenagomez
59.9M followers