Vladimir Keleshev

`./program ship new ship` is correct. Note that `parse_argv` in python does not return commands. It returns only options and (positional) arguments. Later it is decided which positional arguments are...

The error message is unfortunate, but it works according to the current spec—every line that starts with `-` is interpreted as option description. However, in `master` branch this is (experimentally)...

By the way, @alainfrisch has written a blog post that talks about this optimization: https://www.lexifi.com/ocaml/about-unboxed-float-arrays/

Maybe relevant, I found a prototype I wrote a while ago implementing this optimization as a functor: https://gist.github.com/keleshev/47e10cf2ee1dba3828289ece6ac6b9c4 The code is unsafe, but the resulting abstraction (like the example `Int_string_sum`)...

@hannesm the advantage is dubious, honestly. Readability is subjective. I find the `Format` style more readable, but whatever the maintainers find most suited to their needs. The +100 -84 diff...

You mean just go with Ford's grammar? But come on, you will end up reinventing it anyway. Just like it was with `/` precedence.

:+1:

Hi @NickCrews, the last time I checked, docopt.py was basically perfect and didn't need to change. However, I haven't been working actively with Python for a long while, and I...

@cmurat I'm actively working on a new reference implementation (https://github.com/keleshev/docopt.ml), once it is done, I (or a volunteer) will update docopt.py to be up-to-date with that. I have been out...

I don't think anything on your list except type annotations is observable by users. The other things are are important for projects in active development, not for a project that...