# Serokell’s Work on GHC: Dependent Types, Part 4
**URL:** https://discourse.haskell.org/t/serokell-s-work-on-ghc-dependent-types-part-4/10564
**Category:** Uncategorized
**Created:** [October 19, 2024, 2:57am UTC](https://discourse.haskell.org/t/serokell-s-work-on-ghc-dependent-types-part-4/10564 "2024-10-19T02:57:51Z")
**Posts on this page:** 6
**Page:** 1
### Author:  [@JeffreyBenjaminBrown](https://discourse.haskell.org/u/JeffreyBenjaminBrown)
#### Post date: [October 19, 2024, 2:57am UTC](https://discourse.haskell.org/t/serokell-s-work-on-ghc-dependent-types-part-4/10564/1 "2024-10-19T02:57:51Z")
> **[Dependent Types in Haskell, Part 4](https://serokell.io/blog/serokell-s-work-on-ghc-dependent-types-part-4)**
>
> The GHC team at Serokell continues its work towards dependent types in Haskell. Our ultimate goal is that Haskell becomes a language where the use of advanced type system features is not just possible but practical.
>
> In this report, Serokell's GHC...
Every time I see a post like this I get really excited, wonder how far along we are, realize I still don’t understand the roadmap to DT, try to read a paper about it (usually Eisenberg’s roadmap) and give up. But I like reading the reactions of people who get it.
---
### Author:  [@f-a](https://discourse.haskell.org/u/f-a)
#### Post date: [October 25, 2024, 8:50am UTC](https://discourse.haskell.org/t/serokell-s-work-on-ghc-dependent-types-part-4/10564/2 "2024-10-25T08:50:50Z")
3 posts were split to a new topic: [The future of Dependent Haskell](https://discourse.haskell.org/t/the-future-of-dependent-haskell/10614)
---
### Author:  [@AntC2](https://discourse.haskell.org/u/AntC2)
#### Post date: [October 22, 2024, 5:29am UTC](https://discourse.haskell.org/t/serokell-s-work-on-ghc-dependent-types-part-4/10564/3 "2024-10-22T05:29:13Z")
> [@JeffreyBenjaminBrown](#):
>
> wonder how far along we are
“We” seem to be very much still in the minutiae. All I perceive so far is a lot of work going in to supporting putting types in expressions, without taking advantage of the `type` herald to disambiguate. Then development could get on to what we can do with types in expressions.
On the topic of impenetrability: can I ask why atravers’ whimsical comment got flagged?
---
### Author:  [@sgraf](https://discourse.haskell.org/u/sgraf)
#### Post date: [October 22, 2024, 7:55am UTC](https://discourse.haskell.org/t/serokell-s-work-on-ghc-dependent-types-part-4/10564/5 "2024-10-22T07:55:51Z")
To add something to the topic: Dependent Haskell is an incredible engineering effort. You can tell by witnessing all these incremental changes to an industrial-strength compiler. I’m _very_ glad that Vlad is pushing GHC ever further towards ergonomic, first class use of types. I think his work will become more exciting once all the syntax has been fixed, at which point we can finally talk semantics and supersede type families. All the more reason to laud Vlad’s stamina! We should try to support him on this odyssey however we can.
---
### Author:  [@tomjaguarpaw](https://discourse.haskell.org/u/tomjaguarpaw)
#### Post date: [October 22, 2024, 9:00am UTC](https://discourse.haskell.org/t/serokell-s-work-on-ghc-dependent-types-part-4/10564/6 "2024-10-22T09:00:03Z")
Hear hear! I love everything that’s coming out of the Dependent Haskell efforts. Every release gives me some way of expressing something more clearly, that I could previously only encode awkwardly. I’d also like to celebrate the efforts of @sand-witch who is working on this too.
---
### Author:  [@ynishiza](https://discourse.haskell.org/u/ynishiza)
#### Post date: [October 27, 2024, 10:52pm UTC](https://discourse.haskell.org/t/serokell-s-work-on-ghc-dependent-types-part-4/10564/7 "2024-10-27T22:52:24Z")
Hello, this is my first time posting in this community, but I’ve been following this sequence of work on DH and just wanted to mention that I appreciate @sand-witch and @int-index for these blog posts too-- clearly written and a pleasure to read. Please keep it up!