zirman has quit [Remote host closed the connection]
dudelson has joined #ocaml
<dudelson>
I'm relativey new to ocaml and I'm trying to figure out how "open!" is different from "open". Is "open!" part of the ocaml core language?
unbalanced has quit [Ping timeout: 252 seconds]
<bitbckt>
dudelson: yes.
<bitbckt>
open! does not warn when the open shadows a value.
yomimono has joined #ocaml
Orion3k has quit [Ping timeout: 258 seconds]
zirman has joined #ocaml
zirman has quit [Remote host closed the connection]
zirman has joined #ocaml
silver_ has quit [Quit: rakede]
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
sh0t has quit [Remote host closed the connection]
wu_ng has joined #ocaml
Jnr has joined #ocaml
ncthom91 has joined #ocaml
<dudelson>
bitbckt: thanks for the clarification. If open! is part of the core language, do you know why it isn't described on this page: http://caml.inria.fr/pub/docs/manual-ocaml/modtypes.html ? I would expect it to be documented there.
esad has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
esad has joined #ocaml
maattdd has joined #ocaml
zpe has joined #ocaml
esad has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
esad has joined #ocaml
whisperedcigar has quit [Ping timeout: 245 seconds]
malina has quit [Quit: Throwing apples of Montserrat]
esad has quit [Client Quit]
esad has joined #ocaml
esad has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
beginner has joined #ocaml
<beginner>
to set a breakpoint in ocamldebug i just write: break @ string 160 ?
<Algebr>
ha, must have seen jordan's tweeting
shinnya has joined #ocaml
mpenet has left #ocaml ["ERC (IRC client for Emacs 26.0.50.2)"]
copy` has joined #ocaml
<sspi>
hi, I'm entering unknown territory by looking into SMT solvers (Z3 specifically) but also in general by looking at type systems. Would it be realistic to check a OCaml program with one? Also what are the thoughts in general on SMT solvers?
unbalanced has joined #ocaml
<zozozo>
SMT solvers are nice, you might also want to look at automated theorem provers in general (they solve basically the same problem)
<zozozo>
sspi: if you want to try some things, I have functors to create smt solvers available at : https://github.com/Gbury/mSAT
<companion_cube>
sspi: if you want a nice example of how to check (~)OCaml programs with SMT, take a look at why3 http://why3.lri.fr/
<companion_cube>
in particular http://toccata.lri.fr/gallery/why3.en.html ; it features a ML-like language that can be extracted to OCaml and is designed for formal proving
<flux>
zozozo, that's very nice!
dhil has quit [Ping timeout: 248 seconds]
<companion_cube>
if you want to write a SMT prototype in OCaml, yes, it is :)
scitesy has quit [Ping timeout: 264 seconds]
<zozozo>
flux: thanks, are you interested in using it ?
<sspi>
thanks, these links are really helpful
<flux>
zozozo, well, I've never used a sat-solver, but certainly if I find a problem then that would be at the top of my list ;-)
maattdd has quit [Ping timeout: 265 seconds]
<zozozo>
^^
<sspi>
I'll probably be lost in them for a while though
<flux>
I have one light problem that might be applicable to a sat solver, but I need to think about it ;-)
<zozozo>
flux: I'm available if you have any question about sat solving, :)
<sspi>
my "problem" or actually interest: seeing if it's possible to make OCaml types dependent types
<companion_cube>
tough
<flux>
it was related to a description structure for controlling home automation and ensuring some properties about it.. but it's been a few years I gave it some though, so I've forgotten the exact problem ;-).
esad has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
zirman has joined #ocaml
zirman has joined #ocaml
zirman has quit [Changing host]
mami_ has quit [Remote host closed the connection]
agarwal1975 has quit [Quit: agarwal1975]
<Drup>
sspi: references that should look into:
<Drup>
- 1ML unites again the module language (which is a form of dependent type system) and the core language
<Drup>
- F* is a ML like language with dependent types that integrates SMT solvers for typechecking
zirmann has joined #ocaml
maattdd has joined #ocaml
<sspi>
drup: I found out about SMT and Z3 via F*. Also read about 1ML but I don't think it fits my use case (I really want to use the OCaml AST).
zirman has quit [Ping timeout: 250 seconds]
<sspi>
drup: you also worked on some z3 bindings right?
<beginner>
why does the ocamldebugger not catch a raise exception_
<beginner>
?
<companion_cube>
wondering how F* actually compares to why3
maattdd has quit [Ping timeout: 248 seconds]
<beginner>
someone here ever used the ocaml debugger?
<Drup>
companion_cube: I would say it's the same difference between coq and agda/idris
zirman has quit [Remote host closed the connection]
zirman has joined #ocaml
dxtr has joined #ocaml
jlongster has joined #ocaml
ophe has quit [Quit: Page closed]
nojb has joined #ocaml
zirman has quit [Remote host closed the connection]
zirman has joined #ocaml
zirman has joined #ocaml
zirman has quit [Changing host]
jwatzman|work has joined #ocaml
zpe has quit [Remote host closed the connection]
zirman has quit [Remote host closed the connection]
zirman has joined #ocaml
zirman has joined #ocaml
zirman has quit [Changing host]
Mercuria1Alchemi has quit [Ping timeout: 258 seconds]
al-damiri has joined #ocaml
agarwal1975 has joined #ocaml
shinnya has quit [Ping timeout: 240 seconds]
noddy has joined #ocaml
AlexRussia has joined #ocaml
yomimono has quit [Ping timeout: 248 seconds]
Sorella has quit [Quit: Connection closed for inactivity]
zirman has quit [Remote host closed the connection]
rgrinberg has joined #ocaml
fraggle-boate_ has joined #ocaml
beginner has quit [Quit: Leaving]
ryanartecona has joined #ocaml
fraggle-boate has quit [Ping timeout: 264 seconds]
AlexRussia has quit [Ping timeout: 252 seconds]
zirman has joined #ocaml
zpe has joined #ocaml
dxtr has quit [Quit: quit]
dxtr has joined #ocaml
fraggle-boate__ has joined #ocaml
rgrinberg has quit [Remote host closed the connection]
rgrinberg has joined #ocaml
fraggle-boate_ has quit [Ping timeout: 260 seconds]
fraggle-boate__ has quit [Client Quit]
fraggle-boate has joined #ocaml
dhil has quit [Ping timeout: 256 seconds]
yomimono has joined #ocaml
AlexRussia has joined #ocaml
Flerex has joined #ocaml
Flerex_ has joined #ocaml
Flerex has quit [Client Quit]
Flerex has joined #ocaml
AltGr has left #ocaml [#ocaml]
Flerex has quit [Client Quit]
Algebr has quit [Ping timeout: 250 seconds]
ryanartecona has quit [Quit: ryanartecona]
marsam has joined #ocaml
argent_smith has quit [Quit: Leaving.]
infinity0 has joined #ocaml
Flerex_ has quit [Read error: Connection reset by peer]
ryanartecona has joined #ocaml
Flerex has joined #ocaml
<edwin>
some interesting thoughts on avoiding NP-completeness in a language package manager by restricting the kind of dependencies you can declare (see the 'Alternatives' section): https://research.swtch.com/version-sat. Those suggestions would likely not work for global opam switches, but might be interesting to consider for the per-project opam switches: if you only allow conflicts on major versions, you always choose the newest minor version, and you give up wh
<Flerex>
Hello! I'm working on an assignment for college and we're asked to work with an array of values that contain colors (R, G, B and W) that represents a Fibonacci clock. We are supposed to create a function that generates a random clock with the combinations of the colors for a given time. To do this I'll try to first generate all the possible combinations of clocks to then check on them as I think it's the best functional
<Flerex>
approach (correct me if I'm wrong). I'm not very confident on my functional programming. Is it okay if this function that generates all the possible combinations of the array has no parameters? Wouldn't it be just as if it was a normal data variable instead of a function? Our professor told us that functional programming is not about transforming data, but with results of functions.
<Flerex>
but working with*
yomimono has quit [Ping timeout: 252 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
fgsftwe has joined #ocaml
fgsftwe has quit [Client Quit]
<companion_cube>
a random function is not really functional programming anyway :-)
<edwin>
it would be better if the function generating the combinations takes a parameter that is related to the size of what you want to generate
<Flerex>
But as the array of the clock is always of 5 elements, it would not be needed.
<Flerex>
Maybe I should rethink the way I try to resolve this exercise
FreeBirdLjj has joined #ocaml
slash^ has joined #ocaml
yomimono has joined #ocaml
jlongste_ has joined #ocaml
larhat has quit [Quit: Leaving.]
Algebr has joined #ocaml
<Flerex>
I can't think an alternative. What would you guys do? If you have to come with the right combination for an array of 5 elements that can be either R, G, B or W? The only thing I came up with is to first generate all the possible combinations and then check which one fits my needs
jlongster has quit [Ping timeout: 245 seconds]
jlongster has joined #ocaml
jnavila has quit [Quit: It was time]
jwatzman|work has quit [Quit: jwatzman|work]
whisperedcigar has joined #ocaml
Algebr has quit [Ping timeout: 260 seconds]
jlongste_ has quit [Ping timeout: 260 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
<edwin>
do you know how to calculate the number of all possible combinations for your problem?
whisperedcigar has quit [Ping timeout: 245 seconds]
zpe has quit [Remote host closed the connection]
<Flerex>
I'm trying to do it atm but I'm generating more combinations than the ones that I want (I'm generating all sublists, and I want all sublists of length x)
zpe has joined #ocaml
octachron has joined #ocaml
<edwin>
you should probably check a good algorithms or combinatorics book on how to generate them, once you have your combinations you could look at List.filter and the Random module in OCaml
zpe has quit [Ping timeout: 265 seconds]
nojb has quit [Quit: Leaving]
<Flerex>
Thank you!
zirman has quit [Remote host closed the connection]
<octachron>
Flerex, you can also trade space for time: generate a random array, accept it if it check your condition, try another random array otherwise
marsam has quit [Read error: Connection reset by peer]
foetus has joined #ocaml
<foetus>
hey la populace
<foetus>
LeCaribou is there?
zpe has quit [Ping timeout: 245 seconds]
infinity0 has quit [Ping timeout: 252 seconds]
jnavila has joined #ocaml
infinity0 has joined #ocaml
foetus has quit [Quit: Page closed]
fre has joined #ocaml
octachron has quit [Quit: Page closed]
<Bluddy[m]>
question about Eliom/Ocsigen: I'm trying the simple demo website here (https://ocsigen.org/tuto/manual/basicwebsite#service) and when I make test.byte, I get 'Eliom: Duplicate registration of service "aaa/bbb"'. Anyone have any idea?
jnavila has quit [Ping timeout: 260 seconds]
zirman has joined #ocaml
zirman has quit [Remote host closed the connection]
zirman has joined #ocaml
zirman has joined #ocaml
zirman has quit [Changing host]
maattdd has joined #ocaml
kakadu has quit [Quit: Konversation terminated!]
sepp2k has joined #ocaml
ygrek_ has quit [Ping timeout: 260 seconds]
smondet has joined #ocaml
Algebr has joined #ocaml
_andre has quit [Quit: leaving]
Algebr has quit [Ping timeout: 246 seconds]
dhil has joined #ocaml
hugomg has joined #ocaml
douglascorrea has joined #ocaml
Simn has quit [Quit: Leaving]
zpe has joined #ocaml
maattdd has quit [Ping timeout: 248 seconds]
ygrek_ has joined #ocaml
mbrock` has joined #ocaml
ohama has quit [Ping timeout: 264 seconds]
ohama has joined #ocaml
ryanartecona has quit [Quit: ryanartecona]
kakadu has joined #ocaml
yomimono has quit [Quit: Leaving]
jnavila has joined #ocaml
SpiceGuid has joined #ocaml
SpiceGuid has quit [Client Quit]
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
infinity0 has quit [Changing host]
infinity0 has joined #ocaml
douglascorrea has quit [Remote host closed the connection]
douglascorrea has joined #ocaml
average has joined #ocaml
maattdd has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
douglascorrea has quit [Ping timeout: 248 seconds]
maattdd has quit [Ping timeout: 264 seconds]
mbrock` has quit [Remote host closed the connection]
jlongster has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
larhat has joined #ocaml
argent_smith has joined #ocaml
ryanartecona has joined #ocaml
jlongster has joined #ocaml
jlongster has quit [Read error: Connection reset by peer]
jlongster has joined #ocaml
larhat has quit [Quit: Leaving.]
larhat has joined #ocaml
diamaths[m] has quit [Quit: Client limit exceeded: 5000]
larhat has quit [Client Quit]
argent_smith has quit [Quit: Leaving.]
maattdd has joined #ocaml
jlongster has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
douglascorrea has joined #ocaml
jlongster has joined #ocaml
jlongster has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jlongster has joined #ocaml
jlongster has quit [Client Quit]
jlongster has joined #ocaml
jlongster has quit [Client Quit]
hugomg has quit [Quit: Ex-Chat]
douglascorrea has quit [Remote host closed the connection]
douglascorrea has joined #ocaml
fre has quit [Quit: WeeChat 1.4]
fre has joined #ocaml
jnavila has quit [Ping timeout: 256 seconds]
douglascorrea has quit [Ping timeout: 258 seconds]
maattdd has quit [Ping timeout: 258 seconds]
jlongster has joined #ocaml
jlongster has quit [Client Quit]
noddy has quit [Ping timeout: 246 seconds]
sh0t has quit [Quit: Leaving]
douglascorrea has joined #ocaml
zirmann has joined #ocaml
dhil has quit [Ping timeout: 252 seconds]
zirman has quit [Ping timeout: 252 seconds]
zirmann has quit [Ping timeout: 250 seconds]
zpe has quit [Remote host closed the connection]
fre has quit [Ping timeout: 252 seconds]
agarwal1975 has quit [Quit: agarwal1975]
rand__ has quit [Quit: leaving]
sepp2k has quit [Quit: Leaving.]
maattdd has joined #ocaml
<Bluddy[m]>
anyone?
maattdd has quit [Ping timeout: 252 seconds]
<Drup>
Bluddy[m]: you copied some code twice ? :/
<Drup>
I mean, the error message is quite clear
<smondet>
(AFAIR, ELiom can give that error when the build system -- or config file -- has tried to link a .cmo twice; that would execute the top-level `let` twice)
chris2 has quit [Ping timeout: 245 seconds]
Algebr has joined #ocaml
kakadu has quit [Remote host closed the connection]
ryanartecona has quit [Quit: ryanartecona]
marsam has joined #ocaml
noddy has joined #ocaml
vicfred has joined #ocaml
zirman has joined #ocaml
maattdd has joined #ocaml
breitenj has quit [Ping timeout: 258 seconds]
wolfcore has joined #ocaml
breitenj has joined #ocaml
marsam has quit [Read error: Connection reset by peer]
<_berke_>
does anyone know if there is a C (or C++) library for parsing s-expressions as produced by sexplib?