12:38 <flux__> hm.. fun idea for a language extension: way to 'optionify' a record, and an automatically generated 'deoptionifying' function

12:39 <flux__> so type t = { value : string } could be converted into t'option = { value : string option }

12:39 <dylan> that's possible with one ocaml variant, IIRC.

12:39 <flux__> and a function t_of_t'option : t'option -> t

12:40 <flux__> (or maybe t option)

12:40 <flux__> I just have this piece of code where I want to fill record in pieces (loading from a configuration), and finally return the configuration which has all the fields filled

12:41 <flux__> infact some kind of type function would be nice, so I could express convert : optionified(t) -> t option :-)

12:41 <flux__> (but that would be quite a big extension I'd say)

12:51 <flux__> dylan, what do you mean 'with one ocaml variant'?

12:58 <love-pingoo> flux__: do you know the where thing ?

12:58 <love-pingoo> { struct where field = new_value }

12:59 <zmdkrbou> s/where/with/ or are you talking of something else ?

12:59 <love-pingoo> you can start with your struct filled with default values, then "modify" it like that

12:59 <love-pingoo> zmdkrbou: with, sorry

12:59 <flux__> yes, I know

13:01 <flux__> but now I have type t = { a : int; b : string; c : float } type t' = { a' : int option; b' : string option; c' : float option } let load () = let rec parse_config cfg = ... in let config = parse_config { a' : None; b' : None; c' : None } in match config with { Some a' = a; .. } -> { a = a; .. } | _ -> failwith "Argh"

13:02 <flux__> the parse_config-function itself will use { config with a = Some 42 } -syntax

13:04 <flux__> with a neat extension it would be like type t = { a : int .. } with option let load () = .. let config = parse_config empty_t'option in t_of_t'option config

13:48 <dylan> flux__: I think gcaml or something can do it.

13:58 <pango> or tywith maybe

14:02 <flux__> tywith could be extended probably