#typesystem 검색 결과
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
Koka: Programming with Row-polymorphic Effect Types ... #functionalprogramming #programming #typesystem microsoft.com/en-us/research…
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
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…
Are Haskell type sizes classified info – 'byte'-size only? Source: devhubby.com/thread/how-can… #FP #TypeSystem #SoftwareEngineering #FunctionalProgramming #determine #haskell
#ElixirConf2019 #MyElixirStatus #TypeSystem #ContractSystem @ChrisKeathley See Chris at ElixirConf.com
#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
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
dev.to
Having a type system is more productive
Strict types increase a system truthiness
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
#29LT Bukra Wide part of Bukra #superfamily #typesystem . Condensed / Semi Condensed / Normal / Semi Wide / Wide. . #Latin #arabic #multilingual #biscriptualdesign #fonts #biscriptual #variablefonts #typefaces
@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
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
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
@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
Are Haskell type sizes classified info – 'byte'-size only? Source: devhubby.com/thread/how-can… #FP #TypeSystem #SoftwareEngineering #FunctionalProgramming #determine #haskell
Dropbox's journey to type checking 4 million lines of Python #python #TypeSystem tinyurl.com/yx442r9f
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
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
#Haskell has a powerful #TypeSystem, but many newcomers focus on learning to write functions at the expense of designing #types — which can compromise your project's "type-safeness". Join @vrom911 at #HaskellX for this free talk on the basics of Types. bit.ly/3jK7tTu
Something went wrong.
Something went wrong.
United States Trends
- 1. Dodgers 741K posts
- 2. World Series 391K posts
- 3. World Series 391K posts
- 4. Blue Jays 122K posts
- 5. Yamamoto 231K posts
- 6. Will Smith 52.3K posts
- 7. Miguel Rojas 45K posts
- 8. Yankees 16.3K posts
- 9. jungkook 347K posts
- 10. Kershaw 38.2K posts
- 11. Baseball 170K posts
- 12. Carlos Manzo 300K posts
- 13. Kendrick 18.5K posts
- 14. Vladdy 23K posts
- 15. #Worlds2025 31.1K posts
- 16. Dave Roberts 14.9K posts
- 17. Ohtani 91.8K posts
- 18. Mets 11.8K posts
- 19. Hoffman 12.8K posts
- 20. Cubs 7,832 posts