Gabriel Radanne

"Blog mode" ?

5

Is a "Blog mode" planned ? It seems to me not much is missing. As far as I can tell, it needs : - A way to do (verified) cross...

Library documentation doesn't build

2

Can't manage to build the ocamldoc for the library.

A type puzzle with permissions.

5

Here is a nice puzzle for type apprentices: Figure out a signature of `M` so that this works ```ocaml module rec M : sig type +'a cap type r =...

Redesign the API

2

New WIP API: ```ocaml type 'a ty val string : string ty val int : int ty val list : 'a ty -> 'a list ty val option : 'a...

We encode the decision tree in a regexp at the moment. This is not great for multiple reason (it doesn't work except for urls ...). It's also a blocker for...

Implement a format-like syntax extension.

2

Using ppx, it should be rather easy to do. Something of the form: ``` ocaml {furl|foo.org/bar/%i*?babar=%f?|furl} ``` This would allow to keep a readable syntax while avoiding the value restriction,...

Include the http verb

1

It makes sens to bundle the http verb with a formatted url. It allows to expose endpoint to users with their verb, preventing some mistakes. I'm not sure it should...

[The world bank](http://data.worldbank.org/node/11) sounds like a good candidate.

According to @chambart, [Presburger Arithmetic](https://en.wikipedia.org/wiki/Presburger_arithmetic) is encodable in regexps and would allow to express numerical guards for url components. Such wonderful expressive powers would come at the cost of double...

The regexp for float and ints accept arbitrary big numbers and then parses them. If it's too big, it will fail (and not gracefully, at the moment) I'm not sure...