Static Types Without the Hassle: Type Inference Demystified YouTube video by The Pure State

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

Type Inference: Bridging the Gap Between Safety and Simplicity YouTube video by The Pure State

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 Metaprogramming is a powerful technique that allows programs to manipulate themselves or other programs. In TypeScript, metaprogramming refers to the ability to use types, ge...

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 This is the blog version of my talk on type inference at GopherCon 2023 in San Diego, slightly expanded and edited for clarity. What is type inference? Wikipedia defines type inference as follows: Type...

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

Why Swift's type checker is so slow How a 10 year old design choice for Swift’s type checker still haunts us to this day

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