Calling Objective-C frameworks from #Idris: http://andyarvanitis.com/using-idris-with-objective-c/ … - contains some dodgy subtyping implicits!
@puffnfresh the NSString -> NSObject seems moderately sane, but using it for 'return' scares me!
-
-
@edwinbrady@puffnfresh There's definitely bad stuff in there. I'm very much a novice with many FP concepts and practices. Just playing with -
@andyarvanitis@edwinbrady the post is extremely useful, especially since I'm doing Objective-C and#Idris stuff at the moment. Thank you. - 1 more reply
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.