01:31 <williewillus> what zones use second granularity?

01:31 <williewillus> just curious

02:59 <hackinghorn> williewillus, what does that mean

02:59 <williewillus> that was in reference to darrenldl's message earlier

03:00 <williewillus> about some timezones having second-level granularity

03:46 <d_bot> <darrenldl> williewillus: had to add a function to expose the recorded offsets of a time zone

03:46 <d_bot> <darrenldl> let me try to copy the list...

03:48 <d_bot> <darrenldl> https://termbin.com/ayoq

04:54 <ns12> Hello, does anyone know any strongly-typed genetic programming (https://en.wikipedia.org/wiki/Genetic_programming) frameworks/libraries written in OCaml?

10:00 <ns12> It seems that this is very difficult in OCaml but trivial in Lisp.

10:06 <d_bot> <darrenldl> oh how so?

10:22 <ns12> OCaml's type system gets in the way.

10:23 <ns12> It's easy to implement regular genetic programming in OCaml. For example, http://www.genetic-programming.org/gplittlelisp.html is relatively simple to port to OCaml.

10:23 <ns12> However, I find it difficult to write a strongly-typed genetic programming (SGTP) framework in OCaml.

10:24 <d_bot> <orbitz> Do you have any specific questions? I don't know enough about the domain space but perhaps there are specific ocaml issues people here can help you with

10:25 <ns12> Not much at the moment. I am still experimenting to find ways to express SGTP in OCaml. Just wondering if anyone has done this kind of thing before.

10:49 <d_bot> <Et7f3> Can you show in lisp

10:49 <d_bot> <Butanium (@me on answer)> You just want a module that use a custom reproduction and fitness function right ?

10:50 <d_bot> <Et7f3> If you show us a specific code we can help you translate to idiomatic OCaml

12:13 <d_bot> <Butanium (@me on answer)> Wouldn't something like that suit to you ? https://github.com/Sakarah/GeneTipe

12:19 <d_bot> <darrenldl> ns12: so there's a strongly typed genetic programming library in lisp?

12:26 <ns12> Yes. Examples: https://github.com/melisgl/mgl-gpr and https://github.com/jorgetavares/core-gp

12:29 <ns12> See https://github.com/melisgl/mgl-gpr/blob/a30c8311826bd756f84760b27ecf51eaafcd4af8/README.md#52-tutorial: "GPR works with typed expressions. Mutation and crossover never produce expressions that fail with a type error. [...]"

12:33 <d_bot> <darrenldl> can't tell immediately what the difficulties are

12:51 <ns12> How would you express the list of operators in OCaml? https://github.com/melisgl/mgl-gpr/blob/a30c8311826bd756f84760b27ecf51eaafcd4af8/README.md#52-tutorial

12:53 <ns12> I mean, in OCaml, types are not first class. For example, we can't do "let my_type = int"

12:58 <d_bot> <darrenldl> is the use of the defined operators statically checked? or checked during lisp run time by the relevant operator constructor?

12:59 <d_bot> <darrenldl> if it's latter, then you can just define a custom type for the relevant types, similar to ctypes(?)

12:59 <d_bot> <darrenldl> custom values of some type*

13:02 <ns12> I am thinking of leveraging OCaml's first-class modules. Each type will be its own module.

13:09 <octachron> First-class modules seem to be overkill for a simple DSL? You can define a variant type for binary operators, unary operators and literals.

13:12 <octachron> or use a GADT if you want to have one type for the whole DSL. (or alternatively a tagless-final encoding)

13:23 <ns12> octachron: "First-class modules seem to be overkill for a simple DSL" - Yes, you are right. I found out the hard way. :-)

19:12 <lyxia> On Windows (cygwin if that matters) how do I launch a process from an executable file, while getting a handle on stdout/stderr? For example I tried Unix.open_process_full "a.native" which fails with "The system cannot execute the specified program."

19:24 <lyxia> the problem seems to be that a.native is a symbolic link...

20:17 <lyxia> Now i'm looking for a way of following symlinks

21:30 <d_bot> <Et7f3> which kind of symlink ? a real one or a shortcut

23:03 <lyxia> A real symlink

23:05 <d_bot> <Et7f3> What is full error ? Try the open_process_full_args also

23:50 <lyxia> "The system cannot execute the specified program." on stderr of the process

23:51 <lyxia> open_process_full_args gives me an exception Unix_error(_, "create_process", "path/to/a.native")