TE
TechEcho
Home24h TopNewestBestAskShowJobs
GitHubTwitter
Home

TechEcho

A tech news platform built with Next.js, providing global tech news and discussions.

GitHubTwitter

Home

HomeNewestBestAskShowJobs

Resources

HackerNews APIOriginal HackerNewsNext.js

© 2025 TechEcho. All rights reserved.

Z3 : An LLVM backed runtime for OCaml

61 pointsby Raphael_Amiardover 12 years ago

4 comments

ulberover 12 years ago
Bad name: Z3 is an SMT solver from Microsoft and a very good one at that. I'm assuming this LLVM OCaml thing is newer.
评论 #4798122 未加载
评论 #4798584 未加载
pjmlpover 12 years ago
C++ instead of OCaml?!<p>Specially taking into consideration how much better OCaml is suited for compiler development and the existence of LLVM bindings for OCaml.
评论 #4798276 未加载
pascal_cuoqover 12 years ago
Just checking that you are aware of OCamlCC. If you aren't, good news! You will have plenty of notes you can exchange with Benoît.<p><a href="http://oud.ocaml.org/2012/abstracts/oud2012-final10.pdf" rel="nofollow">http://oud.ocaml.org/2012/abstracts/oud2012-final10.pdf</a>
andrewcookeover 12 years ago
how close to ocamlopt do you think you can get? (ie do you have any handle on what the returns would be for further work on this? what are the main limiting factors?)
评论 #4798320 未加载