Hey everyone, I’m just beginning my journey with OCaml and already blown away by its elegance. The way it makes complex concepts feel natural is seriously inspiring. #OCaml #Programming
134298
Posts with #typeInference
#typeInference
Public posts on X that use #typeInference.
Related hashtags
- @DeSnake_xyzOne of the first things that caught my eye was the seamless type inference. It lets me write code without drowning in type annotations, which feels like a breath of fresh air. #TypeInference #FunctionalProgramming10218
SchlenkR@SchlenkRThe age of programming languages is over. I built one anyway. Type inference. No annotations. Errors caught before they happen. The theory is from the 70s - compilers were doing "inference" long before #ai :) #typeinference #compilers #fsharp011134- SchlenkR@SchlenkRHow do you find my new TypeFighter logo? A tiny experimental language I just rebooted. Structural records, set-theoretic unions, almost no annotations. The goal: keep "could be this, or this" alive as long as possible. #typeinference #fsharp
003127 
Here is the preview of the VSCode extension for #Type4Py, a deep similarity learning-based type inference for Python. Joint work with @elatoskinas, @prksch, @gousiosg. Stay tuned for the public release! #machinelearning #typeinference #python #vscode #extension #ML4SE21733
Scala Slovenia@ScalaSlovenia"int x = 42; // #java, yes I see it's an int, because it's a bloody integer literal!" Have YOU heard of #typeinference? #scalahappy001
Amit #असतोमासद्गमय@techieMeIndianRust's type inference is smart! 🤯 It can infer a type from later usage, not just the initial value. let mut inferred_type = 12; // Looks like i32, right? inferred_type = 4294967296i64; // Surprise! It's i64. 🧠 #RustLang #Programming #TypeInference #LearnRust00238- SchlenkR@SchlenkRLet's build a Programming Language - together! My new video series is dedicated to one of the most fascinating aspects of software engineering: Language Design and Compiler Construction. 📺 #TypeInference #TypeScript #CSharp #FSharp #Rust #Haskell004209
Taizy C.@snrelghtwtDay 51 of #1000daysofcoding. -learnt more #Typescript: #TypeInference (Important) -#pairprogrammed with @artbyyumipatton @ChinguCollabs - our first #codingchallenge & we coded 2 working solutions for it together on @codewars #1000daysofcode #100daysofcode our code: 👇
026
Bennet Schulz@bennetelliWake up Java Community. Your opinion is requested! #java #typeinferenceJava @javaYour opinion is valued. Take this survey to help determine if Local Variable Type Inference should be added to #Java110
Szymon Kulec@ScooletzNest me baby one more time! a.k.a how to squeeze the last peformance bits :-) #dotnet #performance #typeinference #ofTVictor Baybekov @buybackoffUsing and abusing #dotnet type system :) Deep nested type specialization has its limits, but it still works! #csharp @DataSpreads014
Victor Baybekov@buybackoffUsing and abusing #dotnet type system :) Deep nested type specialization has its limits, but it still works! #csharp @DataSpreads
126- Here is how to use Type4Py's local ML model in VS @code to add type annotations to your Python code. The whole pipeline runs end-to-end locally on your machine. NO GPU required. Check this out! #ML #typeinference #vscode #type4py #python #DL #extension #ml4code #autocompletion036
Paramasivan (SivA) Samuthiram@S3ParamasivanFought hard with Type Inference and Swift Compiler and at last converted a project of 300K LOC into Swift 3, #Swift3 #TypeInference001
Apex Systems@ApexSystemsJoin @venkat_s tomorrow as he hosts a webinar on #TypeInference, what it provides, how #Java does it, and more. To register for this event, visit:
0310
Alvaro Garcia@alvarobizLive coding for presentation, by @venkat_s at the #Jbcn19. Type inference, friend or foe? #liveCoding #typeInference
025
markus staab | @[email protected]@markusstaab#typeinference and #staticanalysis of sql queries is a huge benefit. we see this already on mysql based apps in the current feature set. anyone willing to work on #pgsql support in #phpstan-dba? I will support you doing so...023
@mittieYes, one can do type-directed design (TDD) without one single type showing up in the solution! :-) #typeInference022
- Show more posts
