1. Spot Your White Caml

2. Make Yourself Happy in OCaml Projects

3. BTW J. Furuse aka CamlSpotter 15 years of OCaml programming 3 years of Functional Quants

4. Scenario You have jumped into an OCaml Project.

6. Enough Stable

7. Reasonably fast

9. Scalable

10. Strong abstraction

11. Multi-paradigm

13. New Cool Office

14. Good Machine

15. Even A Welcome Party!

16. Typical Day 2 : Real Job Starts

17. Typical Day 2 : Real Job Starts Overwhelmed type 'a desc = { position : Postion.t; value : 'a } let rec typecheck env = function Exp_int n -> open Utils open Sourceloc open Spot module Kind = struct include Kind let to_string = function Value -> &quot;Value&quot; let escaped pred s = let b = Buffer.create (String.length s) in String.iter (fun c -> if pred c then Buffer.add_char b ''; module Make (M : Basic) : S with type 'a monad = 'a M.t = struct let bind = M.bind type error = E2BIG | EACCES | EAGAIN | EBADF let cflag_of_int = function | 0x0001 -> `CASELESS | 0x0002 -> `MULTILINE | 0x0004 -> `DOTALL | 0x0008 -> `EXTENDED class ['a] gobject_signals obj = object val obj : 'a obj = obj val after = false method after = {< after = true >} method private connect : 'b. ('a,'b) GtkSignal.t -> callback:'b -> _ =

18. Typical Day 100

19. Typical Day 100 Still being Overwhelmed... type 'a desc = { position : Postion.t; value : 'a } let rec typecheck env = function Exp_int n -> open Utils open Sourceloc open Spot module Kind = struct include Kind let to_string = function Value -> &quot;Value&quot; let escaped pred s = let b = Buffer.create (String.length s) in String.iter (fun c -> if pred c then Buffer.add_char b ''; module Make (M : Basic) : S with type 'a monad = 'a M.t = struct let bind = M.bind type error = E2BIG | EACCES | EAGAIN | EBADF let cflag_of_int = function | 0x0001 -> `CASELESS | 0x0002 -> `MULTILINE | 0x0004 -> `DOTALL | 0x0008 -> `EXTENDED class ['a] gobject_signals obj = object val obj : 'a obj = obj val after = false method after = {< after = true >} method private connect : 'b. ('a,'b) GtkSignal.t -> callback:'b -> _ =

21. Seniors look Smarter than you ? You Senior

22. Answer : Curves Learning vs Code Growth Time LoC Seniors

23. Answer : Curves Learning vs Code Growth Time LoC Eternal Rookies Seniors

25. Write Good Code

26. Ask Questions

27. Minimize Reading Effort

29. Skip implementations (=.ml) if possible

31. Show the things the users should care

32. With GOOD and SHORT comments

33. Let TYPES tell details of functions

34. ocamlc -i gives a good start point

36. Ask the Authors write them Write them, or I get Home. Not something automatically created.

39. Then Ask WHY, which the Code does NOT tell you Why this data type is designed like this? Some combinations never appear in the algorithm. It could be simpler. Oh, this new guy is Strong...

41. But NOT the most Critical!

42. Where is Your White ?

43. 80% of Your Energy is for Searching Where is the definition of this and that ? What the type of this ?

45. tuareg-mode.el (1.45.6-2 / 1.46.2 / (2.0.1))

46. {syntax,ftplugin,indent}/ocaml.vim (2010 Aug 07)

48. in Pervasives

49. in file system (include path)

50. in opened modules

51. , or in aliased modules

52. Grep OCaml syntax Verbosity helps, but not always... grep iter *.ml grep 'let iter' *.ml grep -n 'letlet recand iter' *.ml find .. -type f -name '*.ml' | xargs grep -n 'letlet recand iter'

54. Others (OCamlOTags, ocamlglobaltags, ...)

56. Manual Search is pain but also Educational

57. Don't worry. You will be soon Used to the code Your situation is Worse than them. You need something Different.

58. Use the Compiler Directed Tools Compiler knows HOW things are coded. Source Obj Useful Info

60. caml-types.el (caml-mode)

61. ocaml.vim .annot

65. OK for Reading .cmi

66. Search by Position I want to know about .... THIS! It was impossible; OCaml compiler threw positions away. This This

68. Use locations

69. Module abstractions

70. Types

71. Compilation flags .spot, .spit

73. .spit for .mli .spot, .spit

74. ocamlspot CLI % ocamlspot <file path>:<position> Type: <type> XType: <xtype> Use: <kind>, <xpath> Tree: <start pos>:<end pos> In_module: <module name> Spot: <file path>:<start pos>:<end pos>

76. ocamlspot.vim for Vim (just done. Plz extend it.)

78. Compiler version dependent

79. No information gathering overhead

80. Just add -annot

83. ocamlspot can be used for .spot creation tool

84. Use OCamlSpotter. Be Creative. ½ Searching = x3 Creative Before After

87. hg clone http://hg.ocamlcore.org/cgi-bin/hgwebdir.cgi/ocamlspotter/ocamlspotter/

91. Module alias as let

92. Functor as function

93. Recursion for Recursive modules

94. Laziness for efficiency

95. Spot is a program ocamlspot --dump-top

96. Late Binding

97. Late Binding New dependency between .spots, which is not known to the build system.

99. Code refactoring

100. Jump to Document instead of Definition

101. Auto-recompilation independent from build sys

102. Co-op with other tools (.spot knows -I flags)

104. OCamlDoc depgraphs (in OCaml)

105. Oug

106. Some Eclipse plug-ins (Useful???)

108. When is it integrated into the official OCaml ?

109. I cannot live without it!!

110. And Now... I jumped into a Haskell Project. Same story begins.

111. Make Yourself Happy in OCaml Projects