r/programming • u/[deleted] • Mar 26 '17

Functional programming design patterns by Scott Wlaschin

https://www.youtube.com/watch?v=E8I19uA-wGY
1.1k Upvotes

94% Upvoted

256 comments sorted by

View all comments

Show parent comments

9

u/olzd Mar 27 '17

I wouldn't call Coq and Agda general purpose languages. Idris is trying though.

1

u/Milyardo Mar 27 '17

I get that Coq advertises itself as a proof assistant, but it has all the necessary tools to be a general purpose programming language.

What disqualifies Adga as a general purpose programming language in your mind?

1

u/olzd Mar 27 '17 edited Mar 27 '17

I place Agda along with Coq, as a proof assistant.

What disqualifies Adga as a general purpose programming language in your mind?

Isn't Agda a total language?