G-Research/TypeEquality
View on GitHub ↗ ★ 54 F#
Type equality for F#
3 mentions on Hacker News by 3 people: 0 stories, 3 comments · first 2025-08-13 · latest 2026-08-08
20082026
-
…using techniques from the article. https://robkuz.github.io/Higher-kinded-types-in-fsharp-Intro... https://github.com/G-Research/TypeEquality This gets you a bit closer to the power of Haskell. It's code golf - f# community consensus is to…
comment by psd1 · 2026-08-08 · in Guarded Methods in OCaml (2025) -
There are libraries that simulate a lot of these things (e.g. https://github.com/G-Research/TypeEquality for GADTs). You're absolutely right that it's not as first class as in OCaml, but the tools are there if you want them.
comment by Nelkins · 2025-11-07 · in Why I love OCaml (2023) -
…in F# - for example, https://github.com/Smaug123/WoofWare.Incremental/blob/9b8181... (which uses https://github.com/G-Research/TypeEquality ). (The other missing features I agree are missing.)
comment by Smaug123 · 2025-08-13 · in OCaml as my primary language