# \#idris

**URL:** https://discuss.ocaml.org/tag/idris/261.md

[Latest](https://discuss.ocaml.org/latest.md) · [Categories](https://discuss.ocaml.org/categories.md) · [Tags](https://discuss.ocaml.org/tags.md)

---

## [Which language to use for general programming with dependent types?](https://discuss.ocaml.org/t/which-language-to-use-for-general-programming-with-dependent-types/2494)

<div class="topic-metadata">

**Author:** [@UnixJunkie](https://discuss.ocaml.org/u/UnixJunkie)\
**Replies:** 22\
**Last updated:** [September 7, 2018, 1:28am UTC](https://discuss.ocaml.org/t/which-language-to-use-for-general-programming-with-dependent-types/2494 "2018-09-07T01:28:44Z")

</div>

Hello, Let’s say I want to do system/backend programming using a language with dependent types (just to give it a try). Which one of those would be the best considering agility of the programmer (I want to do softwar…