Idris, a language that will change the way you think about programming (2015)
1–10 of 101 posts
Re: Idris, a language that will change the way you think about programming (2015)
#2Great article and really interesting language!
I wonder how Idris is going to be affected when Dependent types come to Haskell as well (announced at last ICFP)
Re: Idris, a language that will change the way you think about programming (2015)
#3Is Idris related to Idris Elba, the British actor, by any chance?
Re: Idris, a language that will change the way you think about programming (2015)
#4Is Idris related to Idris Elba, the British actor, by any chance?
Because an existing name (from all various of the world) wasn't around before some bloke on the telly?
Re: Idris, a language that will change the way you think about programming (2015)
#5Does anyone know whether Idris is a response to Haskell's 'Foldable' controversy?
It looks like it was released in 2012 on hackage but I don't know how far back 'Foldable' was envisioned.
Re: Idris, a language that will change the way you think about programming (2015)
#6Idris homepage: http://www.idris-lang.org/
Github: https://github.com/idris-hackers
Re: Idris, a language that will change the way you think about programming (2015)
#7Does anyone know whether Idris is a response to Haskell's 'Foldable' controversy? It looks like it was released in 2012 on hackage but I don't know how far back 'Foldable' was envisioned.
It is not.
Re: Idris, a language that will change the way you think about programming (2015)
#8Great article and really interesting language! I wonder how Idris is going to be affected when Dependent types come to Haskell as well (announced at last ICFP)
it's nice for the haskell folks that they'll be getting some sort of dependent types, but suffice it to say that they will be of a very different sort than the Idris ones.
Not to mention, there is hope of giving a semantics to Idris since it is based on a fairly routine variant of type theory, whereas I don't think there is any hope at all of understanding "which" type theory the Haskell folks shall have implemented.
Re: Idris, a language that will change the way you think about programming (2015)
#9"Indentation significant syntax"
:(
in my opinion, one of the worst ideas to plague many new languages
brackets are really, seriously, honestly a better visual cue for grouping
Re: Idris, a language that will change the way you think about programming (2015)
#10"Indentation significant syntax" :( in my opinion, one of the worst ideas to plague many new languages brackets are really, seriously, honestly a better visual cue for grouping
Parenthesis are pretty bomb-diggity as well.