Has anyone played with Idris (http://idris-lang.org/) at all? It looks interesting, and I'd love to play with it, but unfortunately I only have windows machines up and running at the moment and the documentation seems to imply it only builds on unixy systems. I'm curious how difficult it would be to get a win32 implementation up and running. -- ryan
Just by looking at the hackage dependencies, it doesn't look like it has
unix-only dependencies. Maybe the Boehm garbage collector?
http://www.hpl.hp.com/personal/Hans_Boehm/gc/
Also, Idris has a mailing list, Edwin would be more likely to respond
there: http://groups.google.com/group/idris-lang
HTH,
Ozgur
On 20 January 2012 19:15, Ryan Ingram
Has anyone played with Idris (http://idris-lang.org/) at all? It looks interesting, and I'd love to play with it, but unfortunately I only have windows machines up and running at the moment and the documentation seems to imply it only builds on unixy systems.
I'm curious how difficult it would be to get a win32 implementation up and running.
-- ryan
On 21/01/2012 5:45 AM, Ryan Ingram wrote:
Has anyone played with Idris (http://idris-lang.org/) at all? It looks interesting, and I'd love to play with it, but unfortunately I only have windows machines up and running at the moment and the documentation seems to imply it only builds on unixy systems.
I'm curious how difficult it would be to get a win32 implementation up and running.
-- ryan
Idris itself will compile straightforwardly (although there are some shell dependencies that needs to be bypassed), the os dependent stuff is contained in the library epic upon which idris depends, which wraps some c code which is os dependent (#defines and other cruft). The long and short of it is, I have "hacked" it (both epic & idris) to compile on windows. However, I have not debugged it, so that it works properly (I have taken some liberties/shortcuts to get it to compile). I have not had any time to progress this further and probably won't for the foreseeable future. I can make my "hacked" code available to you, together with my notes. I imagine it would require a couple of days effort to correct and ensure that it works properly, testing it etc (depending on how far you want to go). Contact me off the email list if interested. jvl
participants (3)
-
John Lask -
Ozgur Akgun -
Ryan Ingram