ocamlbuild a tool for automatic compilation of ocaml
play

ocamlbuild , a tool for automatic compilation of OCaml projects - PowerPoint PPT Presentation

Aug 13, 2022 •467 likes •1.73k views

ocamlbuild , a tool for automatic compilation of OCaml projects ocamlbuild , a tool for automatic compilation of OCaml projects Berke Durak Nicolas Pouillard Berke.Durak@inria.fr Nicolas.Pouillard@inria.fr June 6, 2007 Berke Durak, Nicolas

  1. ocamlbuild , a tool for automatic compilation of OCaml projects Dealing with exceptions to standard rules Tags and dependencies One can define dependencies triggered by combinations of tags dep ["ocaml"; "link"; "byte"; "program"; "plugin:foo"] ["plugin/pluginlib.cma"; "plugin/plugin foo.cmo"] By tagging files we make things happen "test.byte": plugin:foo Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 16 / 28

  2. ocamlbuild , a tool for automatic compilation of OCaml projects Writing an ocamlbuild plugin Outline 1 Introduction 2 Regular OCaml projects 3 Dealing with exceptions to standard rules 4 Writing an ocamlbuild plugin 5 General features 6 Conclusion Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 17 / 28

  3. ocamlbuild , a tool for automatic compilation of OCaml projects Writing an ocamlbuild plugin Not a specific language, but plain OCaml code Plugins are compiled on the fly Dynamic configuration is feasible With a plugin one can: Extend rules (add new ones, override old ones) Add flags and dependencies based on tags Tag files Change options Define the directory structure precisely Help ocamldep Specify external libraries Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 18 / 28

  4. ocamlbuild , a tool for automatic compilation of OCaml projects Writing an ocamlbuild plugin A plugin example Let’s read it in live... Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 19 / 28

  5. ocamlbuild , a tool for automatic compilation of OCaml projects General features Outline 1 Introduction 2 Regular OCaml projects 3 Dealing with exceptions to standard rules 4 Writing an ocamlbuild plugin 5 General features 6 Conclusion Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 20 / 28

  6. ocamlbuild , a tool for automatic compilation of OCaml projects General features Parallel execution where applicable You select the maximum number of jobs ( -j N ) Rules know how to ask for parallel targets The system keeps things scheduled correctly Example: Separate compilation of byte code (Optimal scheduling would require a static graph) Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 21 / 28

  7. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:00 0 (0) STARTING -------- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  8. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:00 1 (0) back.ml.depends O------- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  9. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:00 8 (0) keyword.mli.depends O-b---i- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  10. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:00 16 (0) mark.cmi O-B---I- / Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  11. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:00 20 (0) stringSet.cmi O-B---I- / Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  12. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:00 24 (0) time.mli.depends O-b---i- / Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  13. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:00 32 (0) stdlib.ml.depends O-b---i- - Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  14. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:00 35 (0) stringSet.cmx ONb---i- - Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  15. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:00 37 (0) settings.cmx ONb---i- - Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  16. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:00 44 (0) lineCount.cmx ONb---i- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  17. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:00 45 (0) interface.ml.depends Onb---i- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  18. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:00 45 (0) interface.ml.depends Onb---i- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  19. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:01 52 (0) stringMap.ml.depends Onb---i- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  20. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:01 53 (0) printer.cmx ONb---i- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  21. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:01 53 (0) printer.cmx ONb---i- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  22. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:01 57 (0) time.cmx ONb---i- / Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  23. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:01 64 (0) partialGrammar.cmi OnB---I- / Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  24. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:01 67 (0) parameters.ml.depends Onb---i- / Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  25. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:01 72 (0) misc.ml.depends Onb---i- - Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  26. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:01 74 (0) keyword.ml.depends Onb---i- - Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  27. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:01 77 (0) error.cmi OnB---I- - Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  28. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:01 82 (0) parameters.cmx ONb---i- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  29. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:01 84 (0) action.cmx ONb---i- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  30. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:01 87 (0) parser.mli.depends Onb---i- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  31. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:02 96 (0) parserAux.cmx ONb---i- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  32. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:02 103 (0) tarjan.ml.depends Onb---i- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  33. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:02 106 (0) unionFind.cmx ONb---i- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  34. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:02 108 (0) lexer.mll Onb---i- / Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  35. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:02 108 (0) lexer.mll Onb---i- / Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  36. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:02 110 (0) lexer.cmo OnB---i- - Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  37. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:02 111 (0) parser.cmx ONb---i- - Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  38. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:02 112 (0) partialGrammar.cmx ONb---i- - Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  39. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:02 114 (0) lexer.cmx ONb---i- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  40. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:02 116 (0) codeBits.mli.depends Onb---i- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  41. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:03 118 (0) preFront.cmx ONb---i- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  42. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:03 120 (0) tokenType.cmx ONb---i- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  43. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:03 123 (0) inliner.cmi OnB---I- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  44. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:03 126 (0) traverse.cmx ONb---i- / Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  45. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:03 126 (0) traverse.cmx ONb---i- / Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  46. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:03 129 (0) code.cmi OnB---I- / Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  47. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:03 131 (0) lr1.mli.depends Onb---i- / Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  48. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:03 134 (0) lookahead.mli.depends Onb---i- - Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  49. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:03 137 (0) gMap.ml.depends Onb---i- - Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  50. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:03 144 (0) lr1.cmi OnB---I- - Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  51. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:03 146 (0) item.ml.depends Onb---i- - Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  52. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:03 149 (0) patricia.cmi OnB---I- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  53. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:03 151 (0) patricia.cmx ONb---i- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  54. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:03 151 (0) patricia.cmx ONb---i- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  55. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:04 154 (0) front.cmi OnB---I- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  56. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:04 164 (0) listMonad.ml.depends Onb---i- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  57. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:04 167 (0) listMonad.cmx ONb---i- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  58. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:04 170 (0) infer.cmi OnB---I- / Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  59. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:04 171 (0) lexmli.mll Onb---i- / Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  60. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:04 172 (0) lexmli.ml.depends Onb---i- / Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  61. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:04 174 (0) lexdep.mll Onb---i- - Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  62. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:04 177 (0) interface.cmx ONb---i- - Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  63. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:04 178 (0) IO.ml.depends Onb---i- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  64. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:04 181 (0) lexmli.cmx ONb---i- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  65. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:04 183 (0) IO.cmx ONb---i- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  66. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:05 187 (0) infer.cmx ONb---i- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  67. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:05 190 (0) dot.cmi OnB---I- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  68. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:05 193 (0) compressedBitSet.cmi OnB---I- / Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  69. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:05 195 (0) dot.cmx ONb---i- / Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  70. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:05 197 (0) grammar.cmx ONb---i- / Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  71. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:05 197 (0) grammar.cmx ONb---i- / Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  72. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:05 197 (0) grammar.cmx ONb---i- - Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  73. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:05 200 (0) infiniteArray.cmi OnB---I- - Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  74. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:05 201 (0) item.cmx ONb---i- - Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  75. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:05 204 (0) breadth.mli.depends Onb---i- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  76. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:05 208 (0) invariant.ml.depends Onb---i- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  77. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:06 212 (0) invariant.cmx ONb---i- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  78. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:06 213 (0) inliner.cmx ONb---i- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  79. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:06 214 (0) code.cmx ONb---i- / Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

Recommend

Dune The OCaml build system Jeremie Dimino, Jane Street @diml @dimenix The history of Dune At

Dune The OCaml build system Jeremie Dimino, Jane Street @diml @dimenix The history of Dune At

Dune The OCaml build system Jeremie Dimino, Jane Street @diml @dimenix The history of Dune At the beginning, there was omake, ocamlbuild, ... ... then Jane Street did Jenga and the Jenga rules... ... then a domain specic tool called

360 views • 14 slides
Rotor: First Steps Towards a Refactoring Tool for OCaml Reuben N. S. Rowe r.n.s.rowe @

Rotor: First Steps Towards a Refactoring Tool for OCaml Reuben N. S. Rowe r.n.s.rowe @

Rotor: First Steps Towards a Refactoring Tool for OCaml Reuben N. S. Rowe r.n.s.rowe @ kent.ac.uk Simon Thompson s.j.thompson @ kent.ac.uk University of Kent, Canterbury OCaml Users and Developers Workshop, Oxford, UK Friday 8 th September

780 views • 64 slides
State of Multicore OCaml KC Sivaramakrishnan University of OCaml Labs Cambridge Outline

State of Multicore OCaml KC Sivaramakrishnan University of OCaml Labs Cambridge Outline

State of Multicore OCaml KC Sivaramakrishnan University of OCaml Labs Cambridge Outline Overview of the multicore OCaml project Multicore OCaml runtime design Future directions Multicore OCaml Multicore OCaml Add native

932 views • 62 slides
Accessing and using weather data in OCaml Hez Carty - OCaml 2013 MDA Information Systems LLC

Accessing and using weather data in OCaml Hez Carty - OCaml 2013 MDA Information Systems LLC

Accessing and using weather data in OCaml Hez Carty - OCaml 2013 MDA Information Systems LLC Weather and OCaml OCaml - why and where? Library bindings Highs and lows Why OCaml The usual reasons Functional (when you want

503 views • 13 slides
Automatic Library Compilation and Proof Tree Visualisation for Coq Proof General Hendrik Tews

Automatic Library Compilation and Proof Tree Visualisation for Coq Proof General Hendrik Tews

Automatic Library Compilation Proof Tree Visualisation Conclusion Automatic Library Compilation and Proof Tree Visualisation for Coq Proof General Hendrik Tews Technische Universit at Dresden Third Coq Workshop, August 26, 2011 Hendrik

385 views • 16 slides
Compilation Techniques for Automatic Extraction of Parallelism and Locality in Heterogeneous

Compilation Techniques for Automatic Extraction of Parallelism and Locality in Heterogeneous

Compilation Techniques for Automatic Extraction of Parallelism and Locality in Heterogeneous Architectures Jos M. Andin P H D A DVISORS : Gabriel Rodrguez and Manuel Arenaz Outline 1. Introduction 2. A Novel Compiler Support for

1.55k views • 122 slides
OCaml Scope: a New OCaml API Search Jun Furuse - Standard Chartered Bank Who am I? OCaml

OCaml Scope: a New OCaml API Search Jun Furuse - Standard Chartered Bank Who am I? OCaml

OCaml Scope: a New OCaml API Search Jun Furuse - Standard Chartered Bank Who am I? OCaml hacker using Haskell at work What did helped me most in Haskell industry? Type class? Purity? Laziness? It's Hoogle. API Search Engine for Haskell

509 views • 21 slides
From OCaml to Javascript at Skydeck jake.donham@skydeck.com What is Skydeck? a tool for

From OCaml to Javascript at Skydeck jake.donham@skydeck.com What is Skydeck? a tool for

From OCaml to Javascript at Skydeck jake.donham@skydeck.com What is Skydeck? a tool for managing your mobile phone reads your mobile phone call log presents it back to you in a useful way attach people to phone numbers view calls by person

401 views • 17 slides
Retrofitting a Concurrent GC onto OCaml KC Sivaramakrishnan University of OCaml Labs Cambridge

Retrofitting a Concurrent GC onto OCaml KC Sivaramakrishnan University of OCaml Labs Cambridge

Retrofitting a Concurrent GC onto OCaml KC Sivaramakrishnan University of OCaml Labs Cambridge OCaml industrial-strength, pragmatic, functional programming language Functional core with imperative and Hindley-Milner Type Inference

721 views • 28 slides
High level OCaml optimisations Pierre Chambart, OCamlPro OCaml 2013, 23 September 2013 OCaml is

High level OCaml optimisations Pierre Chambart, OCamlPro OCaml 2013, 23 September 2013 OCaml is

High level OCaml optimisations Pierre Chambart, OCamlPro OCaml 2013, 23 September 2013 OCaml is fast Not an optimising compiler, but: Predictable performances Good generated code What can we do to get faster ? Small modification on high

285 views • 25 slides
Progress in automatic GPU compilation and why you want to run MPI on your GPU with Tobias Grosser

Progress in automatic GPU compilation and why you want to run MPI on your GPU with Tobias Grosser

spcl.inf.ethz.ch @spcl_eth T ORSTEN H OEFLER Progress in automatic GPU compilation and why you want to run MPI on your GPU with Tobias Grosser and Tobias Gysi @ SPCL presented at CCDSC, Lyon, France, 2016 spcl.inf.ethz.ch @spcl_eth #pragma

402 views • 23 slides
Calpa: A Tool for Automating Selective Dynamic Compilation Markus U. Mock, Craig Chambers, and

Calpa: A Tool for Automating Selective Dynamic Compilation Markus U. Mock, Craig Chambers, and

Calpa: A Tool for Automating Selective Dynamic Compilation Markus U. Mock, Craig Chambers, and Susan J. Eggers University of Washington Department of Computer Science and Engineering Selective Dynamic Compilation Dynamic exploits

670 views • 53 slides
Enabling Automatic Partitioning of Data-Parallel Kernels with Polyhedral Compilation Alexander

Enabling Automatic Partitioning of Data-Parallel Kernels with Polyhedral Compilation Alexander

Enabling Automatic Partitioning of Data-Parallel Kernels with Polyhedral Compilation Alexander Matz, Holger Frning Heidelberg University, Germany LLVM Performance Workshop @CGO 2018 Sat 24 Feb 2018, Vienna, Austria Multi GPU in the Real

430 views • 19 slides
Practical Algebraic Effect Handlers in Multicore OCaml KC Sivaramakrishnan University of

Practical Algebraic Effect Handlers in Multicore OCaml KC Sivaramakrishnan University of

Practical Algebraic Effect Handlers in Multicore OCaml KC Sivaramakrishnan University of OCaml Cambridge Labs Multicore OCaml Native support for concurrency and parallelism https://github.com/ocamllabs/ocaml-multicore Led from

526 views • 36 slides
Towards Deductive Compilation: Implementing a Partial Evaluator Via a Software Verification Tool

Towards Deductive Compilation: Implementing a Partial Evaluator Via a Software Verification Tool

Towards Deductive Compilation: Implementing a Partial Evaluator Via a Software Verification Tool Reiner H ahnle (joint work with Richard Bubel and Ran Ji) Chalmers University of Technology Department of Computer Science and Engineering 10

1.11k views • 82 slides
The state of OCaml, 2013 Xavier Leroy INRIA Paris-Rocquencourt OCaml Workshop, 2013-09-24 X.

The state of OCaml, 2013 Xavier Leroy INRIA Paris-Rocquencourt OCaml Workshop, 2013-09-24 X.

The state of OCaml, 2013 Xavier Leroy INRIA Paris-Rocquencourt OCaml Workshop, 2013-09-24 X. Leroy (INRIA) The state of OCaml, 2013 OCaml 2013 1 / 19 Outline OCaml development news 1 OCaml community news 2 Work in progress 3 X. Leroy

413 views • 20 slides
Melt: L A T EX with OCaml Romain Bardou GT ProVal June 11, 2010 L A T EX versus OCaml L A T

Melt: L A T EX with OCaml Romain Bardou GT ProVal June 11, 2010 L A T EX versus OCaml L A T

Melt: L A T EX with OCaml Romain Bardou GT ProVal June 11, 2010 L A T EX versus OCaml L A T EX: OCaml: Beautiful documents Great programming language Lots of macros Lots of packages Motivations for Document Programming

621 views • 34 slides
Multicore OCaml GC KC Sivaramakrishnan, Stephen Dolan University of OCaml Labs Cambridge

Multicore OCaml GC KC Sivaramakrishnan, Stephen Dolan University of OCaml Labs Cambridge

Multicore OCaml GC KC Sivaramakrishnan, Stephen Dolan University of OCaml Labs Cambridge Multicore OCaml Multicore OCaml Adds native support for concurrency and parallelism in OCaml Multicore OCaml Adds native support for concurrency

1.28k views • 115 slides
JIT Compilation Module Overview JIT Compilation Native vs. Managed Compilation Managed

JIT Compilation Module Overview JIT Compilation Native vs. Managed Compilation Managed

JIT Compilation Module Overview JIT Compilation Native vs. Managed Compilation Managed Execution Phases Assembly Loading & Initialization JIT Compilation JIT Optimizations Whats new in NGEN 4.0? When to use NGEN? 2 Running Code

484 views • 46 slides
Profiling the Memory Usage of OCaml Applications without Changing their Behavior OCaml 2013

Profiling the Memory Usage of OCaml Applications without Changing their Behavior OCaml 2013

Profiling the Memory Usage of OCaml Applications without Changing their Behavior OCaml 2013 agdas Bozman 1 , 2 , 3 C Thomas Gazagnaire 1 Fabrice Le Fessant 2 Michel Mauny 3 OCamlPro 1 | INRIA 2 | ENSTA-ParisTech 3 Sept. 24 2013 - Boston (MA)

713 views • 18 slides
(Semi-)Automatic Normalization of Historical Texts using Distance Measures and the Norma tool

(Semi-)Automatic Normalization of Historical Texts using Distance Measures and the Norma tool

Corpora Methods Norma Tool Evaluation (Semi-)Automatic Normalization of Historical Texts using Distance Measures and the Norma tool Marcel Bollmann Department of Linguistics Ruhr-University Bochum, Germany Second Workshop on Annotation of

626 views • 35 slides
Concurrent System Programming with Effect Handlers KC Sivaramakrishnan University of OCaml

Concurrent System Programming with Effect Handlers KC Sivaramakrishnan University of OCaml

Concurrent System Programming with Effect Handlers KC Sivaramakrishnan University of OCaml Cambridge Labs Multicore OCaml Native support for concurrency and parallelism in OCaml Lead from OCaml Labs, University of Cambridge

773 views • 23 slides
Advances in Programming Languages APL3: Row variables in OCaml Ian Stark School of Informatics

Advances in Programming Languages APL3: Row variables in OCaml Ian Stark School of Informatics

Advances in Programming Languages APL3: Row variables in OCaml Ian Stark School of Informatics The University of Edinburgh Thursday 17 January 2008 Semester 2 Week 2 Outline OCaml overview: types, expressions 1 OCaml example: region

676 views • 31 slides
Composable lock-free programming for Multicore OCaml KC Sivaramakrishnan University of OCaml

Composable lock-free programming for Multicore OCaml KC Sivaramakrishnan University of OCaml

Composable lock-free programming for Multicore OCaml KC Sivaramakrishnan University of OCaml Cambridge Labs JVM: java.util.concurrent .Net: System.Concurrent.Collections Synchronization Data structures Reentrant locks Queues Not

263 views • 23 slides

More recommend