Hacker News new | ask | show | jobs
by aerhardt 806 days ago
Don't you at least type function params and returns?

Also, what do you build in F#? I think if I moved out of Python that would be it. OCaml is one of my favorite languages ever, and F# looks rad.
2 comments
ryanjshaw 806 days ago
Not OP, but that's exactly what I do - type my public functions fully.

I built a basic static program analyzer for Solidity smart contracts over the past 7 months. I'm re-writing it to work off CozoDB now, as I want to be able to express more complex mutually-recursive concepts and I believe Datalog is much better suited for that.

link
CmdSheppard 805 days ago
Only public APIs - all of my internal logic I mainly let the compiler figure it out.
link