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
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
Type Inference: Bridging the Gap Between Safety and Simplicity
YouTube video by The Pure State
www.youtube.com
December 13, 2025 at 8:58 AM
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
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
#OCaml #FunctionalProgramming #TypeInference #HindleyMilner #StrongTyping #ProgrammingLanguages #FP
November 29, 2025 at 6:13 PM
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
#OCaml #FunctionalProgramming #TypeInference #HindleyMilner #StrongTyping #ProgrammingLanguages #FP
or, if you don't want typeinference to go too rampant, make it really small:
class Foo a where foo :: a -> String
instance Foo Person where foo p = name p
instance Foo (Maybe Person) where foo (Just p) = name p ; foo Nothing = ""
or, just create a different function.
class Foo a where foo :: a -> String
instance Foo Person where foo p = name p
instance Foo (Maybe Person) where foo (Just p) = name p ; foo Nothing = ""
or, just create a different function.
March 26, 2025 at 1:14 PM
or, if you don't want typeinference to go too rampant, make it really small:
class Foo a where foo :: a -> String
instance Foo Person where foo p = name p
instance Foo (Maybe Person) where foo (Just p) = name p ; foo Nothing = ""
or, just create a different function.
class Foo a where foo :: a -> String
instance Foo Person where foo p = name p
instance Foo (Maybe Person) where foo (Just p) = name p ; foo Nothing = ""
or, just create a different function.
How 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.
schlenkr.github.io/TypeFighter/
#typeinference #fsharp
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.
schlenkr.github.io/TypeFighter/
#typeinference #fsharp
April 17, 2026 at 12:36 PM
How 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.
schlenkr.github.io/TypeFighter/
#typeinference #fsharp
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.
schlenkr.github.io/TypeFighter/
#typeinference #fsharp
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. 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
Static Types Without the Hassle: Type Inference Demystified
YouTube video by The Pure State
youtu.be
March 5, 2026 at 5:56 PM
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. 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
🧠 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
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
Day 16 of Java Mastery: Type Inference
Hey there, coding superheroes! So far, we've been using the var keyword to create variables without worrying too much about specific data types. Today, we're going to take a closer look at type inference - the reason why we could use var so easily. Understanding this concept will prepare you to dive deeper into data types next, helping you appreciate why they matter and how they make coding even more powerful.
karthikhackerer.home.blog
July 4, 2025 at 10:47 AM
🧠 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
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
What Is Type Inference? What It Is and How It Works #Technology #SoftwareEngineering #Other hashtag 1: #TypeInference 2: #ProgrammingLanguages 3: #SoftwareDevelopment
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...
puretech.news
July 7, 2025 at 6:45 AM
What Is Type Inference? What It Is and How It Works #Technology #SoftwareEngineering #Other hashtag 1: #TypeInference 2: #ProgrammingLanguages 3: #SoftwareDevelopment
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
“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
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
danielchasehooper.com
October 15, 2024 at 11:59 AM
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
“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
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. https://getnews.me/assessing-true-type-inference-ability-of-llms-on-java-snippets/ #typeinference #leakagefree
October 6, 2025 at 1:11 PM
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. https://getnews.me/assessing-true-type-inference-ability-of-llms-on-java-snippets/ #typeinference #leakagefree
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. https://getnews.me/tf-bench-introduces-type-inference-benchmark-for-llm-program-reasoning/ #tfsbench #typeinference #llm
September 30, 2025 at 11:55 AM
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. https://getnews.me/tf-bench-introduces-type-inference-benchmark-for-llm-program-reasoning/ #tfsbench #typeinference #llm
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
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
Melange for React Developers | Melange for React DevsGitHubGitHub
A project-based, guided introduction to Melange and its ecosystem for React developers
react-book.melange.re
October 8, 2024 at 7:39 AM
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
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