u2zv1wx

4 ms·

1. 1.▲
   by u2zv1wx 6y ago

   What you need are the two functions `malloc` and `free` that have the following signatures: declare i8* @malloc(i64) declare void @free(i8*) So if you have implementations of them written in LLVM IR, I think that's enough. Di
2. 2.▲
   by u2zv1wx 6y ago

   I can't believe my good fortune to have a wonderful reader like you, by the way.
3. 3.▲
   by u2zv1wx 6y ago

   Thank you for your kind feedback. I'll try to come up with a concise way to mention it in the introduction.
4. 4.▲
   by u2zv1wx 6y ago

   Possibly, but not sure. Currently my life is in a peculiar state (?) so I think firstly I need to stabilize it somehow.
5. 5.▲
   by u2zv1wx 6y ago

   Thank you for your interest. I think this is not a possible-or-impossible problem, but a what-to-choose problem. Both Haskell and OCaml happen to choose GC today, but they could have chosen an alternative memory management system. Memory ma
6. 6.▲
   by u2zv1wx 6y ago

   Thank you for kind words! Yes, I think 3500 commits are enough to make things that might need further explanation too obvious to the author. A feedback from someone like you is really helpful. Please feel free to open an issue (or send me a
7. 7.▲
   Show HN: A dependently-typed programming language with static memory management(github.com)

   456 points by u2zv1wx 6y ago|78 comments