News for hackers. Stuff that matters.

A comment on Two Years of OCaml. Parent comment

Re:Two Years of OCaml by eviks on Tuesday May 02, 2023 @09:25AM (#35787075)
Would type "dehints" be the best of both worlds: you IDE could hide all the types (just like with type hints it adds them) and you could toggle them to eg hide when reading the code? But then also you could toggle them back when needed instead of having to open an interface file?
[ Parent | on HN ]
Re:Two Years of OCaml by rwmj on Tuesday May 02, 2023 @09:49AM (#35787361)
OCaml IDEs including emacs can do that already, and yes it's a good thing.
[ Parent | on HN ]
Re:Two Years of OCaml by deredede on Tuesday May 02, 2023 @03:51PM (#35793176)
In my opinion the best of both worlds would just be to have Rust-style inline annotations and an "interface mode" that hides implementations (most modern IDEs can already do that) and non-public function.

BTW I am not sure why you would want to hide the types, I find them always useful.

[ Parent | on HN ]