Try Idris - Hackdot

Re:Try Idris by bjz_ on Monday April 14, 2014 @01:34AM (#7584691)

Indeed. I love the idea of ATS, but it seems like it would be a challenge to wrangle with. Whilst Rust isn't a flexible and powerful as ATS, it seems to be much easier to handle at the moment.

[ Parent | on HN ]

Re:Try Idris by doublec on Monday April 14, 2014 @04:17AM (#7585046)

I think any language you're not familiar can seem like that - especially if it uses unfamiliar sigils or syntax. I feel similar about Rust for example as I'm not as experienced with it. But with ATS I can put programs together pretty quickly - all because I've learnt it.

[ Parent | on HN ]

Re:Try Idris by bjz_ on Monday April 14, 2014 @06:47PM (#7589351)

Thanks! Yeah, it's hard when you haven't used a language all that much to judge. I wish the sold themselves better though. The website is atrocious for folks wanting to get started with some code. :(

[ Parent | on HN ]