News for hackers. Stuff that matters.

steshaw

steshaw on Hacker News

Re:Ask HN: Any logic based software dev tool which helps building code... on Sunday July 28, 2019 @06:35PM (#20550191)
Well done! I am inspired. Dependent types are the future, and so are you :-).
Re:Ask HN: Any logic based software dev tool which helps building code... on Sunday July 28, 2019 @06:33PM (#20550185)
You might also enjoy https://functionalprogramming.slack.com/
Re:OCaml 4.02: Everything else on Monday May 19, 2014 @02:16AM (#7765960)
Are you just using OCaml as an altjs then? And/or on the backend?

Any reason to try OCaml for Android development? Looked at Ocaml-Java?