[Caml-list] Writing Awk in OCaml

[Michael <michipili@gmail.com>]

Hi list!

I am trying to write a Awk in OCaml and would like to write it as a  
variadic function.  I have seen several examples of variadic functions  
in OCaml, but I am still unsure if it is possible. Maybe can someone  
help me to solve this?


DEFINITION OF (MINI)-AWK

(Mini)-Awk is a module with the following (probably wrong) signature:

sig
   type 'a field
   type row = string array
   val make : int -> (string -> 'a) -> 'a field
   val get : 'a field -> row -> 'a
   val bind : (row -> 'a -> 'b) -> 'a field -> row -> 'b
end

With this signature [make 1 int_of_string] if a field [f] such that  
[get f row = int_of_string (row.(1))].

Now assume you have two fields f1 : int field and f2 : string field  
and two functions u : int -> state -> state and v : int -> string ->  
state -> state (where state is a random type).

With the above signature, we can write (1)

bind u f1: row -> state -> stat
bind (bind v f1) f2 : row -> state -> stat

But it would be quite nice to be able to write the following  
expressions so that they are defined and correctly type (2):

bind u f1 : row -> state -> state
bind v f1 f2 : row -> state -> state

Is there any way to rewrite things so that the cumbersome (1) can be  
replaced by the slick (2) ?

Thank you for your insight!
Michael