# The future of Dependent Haskell

**URL:** <https://discourse.haskell.org/t/the-future-of-dependent-haskell/10614>\
**Category:** Uncategorized\
**Created:** [October 25, 2024, 7:16am UTC](https://discourse.haskell.org/t/the-future-of-dependent-haskell/10614 "2024-10-25T07:16:04Z")\
**Posts on this page:** 1\
**Showing post:** 65

<div class="post-metadata">

**Author:** ![Ei30metry](https://sea2.discourse-cdn.com/flex002/user_avatar/discourse.haskell.org/ei30metry/32/5343_2.png) [@Ei30metry](https://discourse.haskell.org/u/Ei30metry)\
**Post date:** [October 28, 2024, 10:37pm UTC](https://discourse.haskell.org/t/the-future-of-dependent-haskell/10614/65 "2024-10-28T22:37:16Z")

</div>

You can make α an implicit parameter by wrapping it inside curly-braces instead of parenthesis.

```haskell
def myLength {α : Type} (xs : List α) :=
  match xs with
    | [] => 0
    | _ :: ys => 1 + myLength ys

```

---

_[View the full topic](https://discourse.haskell.org/t/the-future-of-dependent-haskell/10614)._