🚀 Latest Python Concepts (2024) 🌟.#Python #PythonProgramming #PythonDev #PythonTips #PythonCommunity #Pydantic #FastAPI #PyScript #WebAssembly #PatternMatching #DataFrame #Polars #Asyncio #Concurrency #TypeChecking #Pyright #Mypy #PyO3 #Rust #EdgeAI #MachineLearning

Every programmer I’ve talked to who’s into types and programming language development has the shared trauma of being recommended to read “Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism” only to discover it not being complete nor easy at all

the best typechecking is no typechecking

switching to Vitest made running Zod's test suite 3x faster than the old Jest + ts-jest setup. and yes it's still doing typechecking 💯

After a bit of cleanup and moving to tanstack start our builds went from about 3m15s in nextjs 14 to sub 30 seconds in vite-rolldown (including typechecking).

If you are at all interested in type checking, you should definitely check out Stephen Diehl’s Typechecking Zoo! It has in-depth walkthroughs of implementing progressively more advanced type systems. Link below 👇

In TypeScript, types like `{title: string}` actually mean different things when used as w/ `type` vs `interface`. This is by design, not a bug. Minimal repro where typechecking fails for one but not the other: Want to know why and how to fix? 🧵👇

New blog post:. Bidirectional Typechecking is Bidirectional, by @_julesh_.

quick tip on making writing safe python code somewhat bearable found deep within Microsoft's repos issues. step 0: use typed method arguments.step 1: enable "Typechecking" in Pylance to make typings actually do something and display errors . WHY is this not a default???

chat, rate my code it should be optimised because it uses typechecking. #RobloxDev

ok getting obsessed with having opencode do PR checks - basically typechecking but way more flexible. added OPENCODE_PERMISSION to limit the bash tool to avoid prompt injection. but check this out - i just told it to make sure PRs follow our style guide and it does a review

Nyxian is a app that lets you code, compiler, sign and install iOS apps directly on-device. Guys I’ve polished the typechecking 😊🔥🔥. This gets more and more to Xcode for iOS!!. I’m so excited!!

Typechecking in Python (using Pylance here) is very useful, but sometimes. grrr. (using tcod-ecs, and in the first case, and the second showing the error detail, the syntax recommended by the library):

Coming soon to @ng-rsbuild/plugin-angular and @ng-rspack/build. Full typechecking!

Typechecking. Now need to add native language support like

Feels nice to add some rudimentary typechecking to a code base and the typechecker immediately shows you all the little defensive what-if-unexpected-values-heres you can now safely delete

I've long said that one of the biggest problems in Haskell is the modularity issues of typeclasses. A puzzle:. In this code, there's not a monad constraint in sight. Why then does typechecking say there's a missing Monad constraint?

there's no bundler, just plain tsc — so you get typechecking *and* gold standard transpilation . the usual "bundler-ey" stuff (extension rewriting, asset copying, import.meta shims, etc) are implemented with the (super underutilized) TypeScript Compiler API

Tried NextJS 15.3’s Turbopack—over 40% faster! . Curious how comparable Remix/Tanstack projects will build once RSC’s arrive. With TS typechecking moving to Golang and ESLint possibly replaced with biome, Next builds could get even faster. Actually optimistic about all of this.