#typesystem search results
Tomorrow is our internal workshop at @Knolspeak on @scala_lang #typesystem and I am the presenter. Bit nervous, excited and happy. Together we learn, Together we grow. #thescalageeks
Hey programming languages nerds, what would be the type system you'd love to see a database implement? #programming #typesystem #lazytwitter
Blogged: On Eliminating Error in Distributed Software Systems blog.colinbreck.com/on-eliminating… "Guarantees do not necessarily compose into systems." #SoftwareTesting #TypeSystem #FunctionalProgramming #FormalVerification
#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
#29LT Bukra Wide part of Bukra #superfamily #typesystem . Condensed / Semi Condensed / Normal / Semi Wide / Wide. . #Latin #arabic #multilingual #biscriptualdesign #fonts #biscriptual #variablefonts #typefaces
Deal of the Day May 10: Programming with Types! New MEAP! Use code dotd051019tw at bit.ly/2VVS5c1 @vladris #programming #typesystem
The Metronic Pro type system. It consists in 4 styles with Metronic Pro and Metronic Condensed (31 fonts -> sans serif) + Metronic Slab & Metronic Slab Narrow (24 -> slab serif) # # #typesystem #slabserif #fontfamily #typography #typedesign #superfontfamily #fonts
Last call on DOTD May 10: Half off Programming with Types! Use code dotd051019tw at bit.ly/2VVS5c1 #programming #typesystem -- Check out the #liveBook: livebook.manning.com/#!/book/progra…
Elegant, understated and stylish, our upcoming #superfamily #typesystem is about to bloom. Are you ready to be mesmerized by PF Marlet and her typographic manifesto? #PFMarlet #humanist #typeface #fashion #beauty #superfamily #newrelease #fonts #sansserif #ComingSoon
#ElixirConf2019 #MyElixirStatus #TypeSystem #ContractSystem @ChrisKeathley See Chris at ElixirConf.com
Koka: Programming with Row-polymorphic Effect Types ... #functionalprogramming #programming #typesystem microsoft.com/en-us/research…
#RelayIR * "statically typed and type-inferred language" * "#typesystem features a form of #dependentType-ing for shapes" * "treating #tensor shapes as types" #FunctionalProgramming #DSL #DataFabric #IR #MachineLearningEngineering #ApacheTVM bit.ly/2Q5LTLs
Are Haskell type sizes classified info – 'byte'-size only? Source: devhubby.com/thread/how-can… #FP #TypeSystem #SoftwareEngineering #FunctionalProgramming #determine #haskell
Last call on DOTD November 5: Half off Programming with Types! Use code dotd110519tw at bit.ly/2WCSyhe #typesystem #TypeScript #programming -- Check out the #liveBook: livebook.manning.com/book/programmi…
Programming with Types -- FINAL PDF eBook edition AVAILABLE NOW! pBook available November 4 manning.com/books/programm… @vladris #typesystem #TypeScript #programming -- Check out the #liveBook: livebook.manning.com/book/programmi…
Is writing a "data.vector.unboxed" instance in Haskell the programmer's version of speed dating? 💻❤️ Source: devhubby.com/thread/how-do-… #TypeSystem #LearnHaskell #HaskellProgramming #FunctionalProgramming #write #haskell
BPA for Remote Teams: The Ultimate Guide to Maximizing Productivity in a Distributed Workforce ow.ly/1uIB50VnCTK #TypeScript #Productivity #TypeSystem
Type conversion is explicit (Number('42')), while coercion happens implicitly (a == b with different types) - understanding both is crucial for predictable JavaScript! #JavaScript #TypeSystem
Are Haskell type sizes classified info – 'byte'-size only? Source: devhubby.com/thread/how-can… #FP #TypeSystem #SoftwareEngineering #FunctionalProgramming #determine #haskell
Both sessions are now available online. Watch here: 1. Type Testing Do We Really Need It? - Matan Cohen youtu.be/Z1ojWRjccHU?si… 2. #TypeSystem Shenanigans - @ronenamiel youtu.be/TBMiIgbHY2I?si…
youtube.com
YouTube
TypeSystem Shenanigans - Ronen Amiel
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
Strongly Typed GraphQL enforces type safety. Catch errors early during development. #TypeSystem
Vasanth Kumar Bhukya: Study on the Formal Semantics & Type System of C Language semanticsarchive.net/Archive/DM3NWQ… #Syntax #Semantics #TypeSystem
Dive into the #TypeSystem in #CSharp. Learn about primitive, reference, value, nullable types, and more with examples. Check it out here: codemechanic.in/2024/08/09/und… #Programming #Coding #DotNet #TechBlog #CodeMechanic
🔥💥 Building a new configuration language? That's cute. But can your "type system" handle the heat? Excited to see if #RCL can keep up with the big dogs in the PL community. 🔥🐕 #TypeSystem #TypeChecker #CodeValidation ruudvanasseldonk.com/2024/a-type-sy…
"Discover the productivity benefits of a type system in coding. Uncover data flow complexity and catch problems early. Read more insights from Serhii on absolyd.com #Coding #TypeSystem #Productivity" ift.tt/IHnQMoD
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: l8r.it/oNMu
The JavaScript type system is an absolute joke, let's take a deep dive into it and try to understand in greater detail on how NaNs work #wrkble #javascript #typesystem #typescript #learnjavascript #coding youtube.com/shorts/bFG1X06…
4/ Type System: Breakdown of primitive types, type inference, declarations, and aliases. Get acquainted with 'string', 'boolean', 'number', and meet 'never' for functions that never return! Ready to unravel the complexities of the type system? #TypeSystem
Dive into TypeScript's advanced type system. Explore union types, intersection types, and type aliases. Also learn ts utility types. They are your friends :). Do you enjoy TypeScript? Or is it just an added burden the js community doesn’t need? #TypeScriptLearning #TypeSystem
Do you end up not giving anyone any opportunity to grow - "Just focus on what you were hired to do." #typesystem
Hey programming languages nerds, what would be the type system you'd love to see a database implement? #programming #typesystem #lazytwitter
#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
Blogged: On Eliminating Error in Distributed Software Systems blog.colinbreck.com/on-eliminating… "Guarantees do not necessarily compose into systems." #SoftwareTesting #TypeSystem #FunctionalProgramming #FormalVerification
@ballerinalang has a structural type system in which the structure of the types are significant, and the names are inessential. An important attribute of the language which usually goes unnoticed. Checkout the following code snippet. #typesystem
#29LT Bukra Wide part of Bukra #superfamily #typesystem . Condensed / Semi Condensed / Normal / Semi Wide / Wide. . #Latin #arabic #multilingual #biscriptualdesign #fonts #biscriptual #variablefonts #typefaces
Tomorrow is our internal workshop at @Knolspeak on @scala_lang #typesystem and I am the presenter. Bit nervous, excited and happy. Together we learn, Together we grow. #thescalageeks
@Knolspeak is proud to be Participant Partners at @fby_conf 2019 😀 Join us at #Scala Night on 25th January 2019 and listen what Module Software Consultant at Knoldus, @singh_harmeet13 has to say about the #TypeSystem and #Monads. #funcby #fsharp #Haskell
Is writing a "data.vector.unboxed" instance in Haskell the programmer's version of speed dating? 💻❤️ Source: devhubby.com/thread/how-do-… #TypeSystem #LearnHaskell #HaskellProgramming #FunctionalProgramming #write #haskell
Are Haskell type sizes classified info – 'byte'-size only? Source: devhubby.com/thread/how-can… #FP #TypeSystem #SoftwareEngineering #FunctionalProgramming #determine #haskell
The Metronic Pro type system. It consists in 4 styles with Metronic Pro and Metronic Condensed (31 fonts -> sans serif) + Metronic Slab & Metronic Slab Narrow (24 -> slab serif) # # #typesystem #slabserif #fontfamily #typography #typedesign #superfontfamily #fonts
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: l8r.it/oNMu
Dropbox's journey to type checking 4 million lines of Python #python #TypeSystem tinyurl.com/yx442r9f
Are you just getting into #Haskell? Have questions about how the #TypeSystem actually works? Join @vrom911 at our free "Novice Track" of #HaskellX for this beginner-friendly deep dive into the basics of #Types. bit.ly/3mkkZih
Something went wrong.
Something went wrong.
United States Trends
- 1. GTA 6 10.4K posts
- 2. GTA VI 17K posts
- 3. Rockstar 46.8K posts
- 4. GTA 5 7,442 posts
- 5. Nancy Pelosi 118K posts
- 6. Antonio Brown 4,139 posts
- 7. Rockies 3,779 posts
- 8. #LOUDERTHANEVER 1,495 posts
- 9. Paul DePodesta 1,867 posts
- 10. Ozempic 16.2K posts
- 11. Justin Dean 1,116 posts
- 12. Grand Theft Auto VI 38.6K posts
- 13. GTA 7 1,029 posts
- 14. Luke Fickell N/A
- 15. Elon Musk 217K posts
- 16. $TSLA 53.9K posts
- 17. Grisham 1,699 posts
- 18. RFK Jr 28.2K posts
- 19. Oval Office 40.8K posts
- 20. Michael Jackson 90.4K posts