Latest posts tagged with #typeinference on Bluesky
The 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 :)
youtu.be/fSRTVrjvo70
#typeinference #compilers #fsharp #csharp #ocaml #rust
Let's build a Programming Language - together!
The goal? Combine the developer experience of Python with the safety of TypeScript.
In Episode 0: Syntax + Type Inference
📺 www.youtube.com/watch?v=fSRT...
#TypeInference #TypeScript #CSharp #FSharp #Rust #Haskell
OCaml’s type inference is wild: the compiler figures out precise, static types for everything, even when you never write a single explicit annotation.
#OCaml #FunctionalProgramming #TypeInference #HindleyMilner #StrongTyping #ProgrammingLanguages #FP
Assessing True Type Inference Ability of LLMs on Java Snippets
On the leakage‑free ThaliaType benchmark, LLMs saw precision drop up to 59% and recall drop up to 72% compared to StatType‑SO results. StatType‑SO has been public on GitHub since 2017. getnews.me/assessing-true-type-infe... #typeinference #leakagefree
TF-Bench Introduces Type Inference Benchmark for LLM Program Reasoning
TF‑Bench, a new benchmark for type inference in System F, shows Claude‑3.7‑sonnet reaching 55.85% accuracy on the pure variant, showing gaps in LLM reasoning. getnews.me/tf-bench-introduces-type... #tfsbench #typeinference #llm
TypeScript Metaprogramming Techniques Explained #Typescript #Metaprogramming #Generics #Decorators #Typescriptapi #Conditionaltypes #Mappedtypes #Templateliterals #Recursivetypes #Typeinference
What Is Type Inference? What It Is and How It Works #Technology #SoftwareEngineering #Other hashtag 1: #TypeInference 2: #ProgrammingLanguages 3: #SoftwareDevelopment
🧠 Day 16 of Java Mastery: Type Inference in Java
Did you know Java can guess the type of a variable — so you don't always have to write it?
📘 Read blog: https://wp.me/paNbWh-8S
#Java #JavaMastery #Day16 #TypeInference #Java10 #LearnJava #100DaysOfCode #CleanCode #CodeNewbie
More on the #HindleyMilner #TypeInference slow-down in the #Swift #compiler due to #overloading:
“Why Swift’s Type Checker Is So Slow”, Daniel Hooper (danielchasehooper.com/posts/why-sw...).
On HN: news.ycombinator.com/item?id=4066...
On Lobsters: lobste.rs/s/p30juy/why...
#PLDI #Programming
react-book.melange.re/intro/
I love #ocalm.
it has many superpowers
- #soundcomplete and #strong #typesystem with #typeinference
- #algebraiceffects
- #algebraicdatatypes
- #GADT
- #patternmatching
- pragmatic by default #immutanbility
- pragmatic and optional laziness
