rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
lagash has left #ocaml [#ocaml]
kaph has quit [Ping timeout: 256 seconds]
kaph has joined #ocaml
Haudegen has quit [Ping timeout: 256 seconds]
kaph_ has joined #ocaml
kaph has quit [Ping timeout: 240 seconds]
dhil has quit [Ping timeout: 250 seconds]
hackinghorn has quit [Ping timeout: 256 seconds]
perrierjouet has quit [Quit: WeeChat 3.4]
rgrinberg has joined #ocaml
azimut has joined #ocaml
rgrinberg has quit [Remote host closed the connection]
rgrinberg has joined #ocaml
perrierjouet has joined #ocaml
perrierjouet has quit [Quit: WeeChat 3.4]
perrierjouet has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
perrierjouet has quit [Quit: WeeChat 3.4]
mbuf has joined #ocaml
perrierjouet has joined #ocaml
kurfen has quit [Ping timeout: 260 seconds]
kurfen_ has joined #ocaml
shawnw has quit [Ping timeout: 240 seconds]
waleee has quit [Ping timeout: 250 seconds]
perrierjouet has quit [Quit: WeeChat 3.4]
shawnw has joined #ocaml
shawnw has quit [Client Quit]
rgrinberg has quit [Read error: Connection reset by peer]
rgrinberg has joined #ocaml
wyrd has quit [Ping timeout: 276 seconds]
wyrd has joined #ocaml
hackinghorn has joined #ocaml
hackinghorn has quit [Changing host]
hackinghorn has joined #ocaml
wyrd has quit [Remote host closed the connection]
wyrd has joined #ocaml
gravicappa has joined #ocaml
jlrnick has joined #ocaml
jlrnick has quit [Ping timeout: 252 seconds]
azimut has quit [Remote host closed the connection]
azimut has joined #ocaml
hackhorn has joined #ocaml
hackinghorn has quit [Ping timeout: 256 seconds]
hornhack has joined #ocaml
hackhorn has quit [Ping timeout: 256 seconds]
shawnw has joined #ocaml
mro has joined #ocaml
Serpent7776 has joined #ocaml
spip has quit [Quit: Konversation terminated!]
wyrd has quit [Ping timeout: 276 seconds]
wyrd has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
dwt__ has joined #ocaml
dwt_ has quit [Ping timeout: 252 seconds]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Haudegen has joined #ocaml
rwmjones_ is now known as rwmjones
perrierjouet has joined #ocaml
hackhorn has joined #ocaml
hackinghorn has joined #ocaml
hackinghorn has quit [Changing host]
hackinghorn has joined #ocaml
<hackinghorn>
hi, can a recursive function be easier to understand than a List.fold?
<hackinghorn>
so I will write some recs
hornhack has quit [Ping timeout: 256 seconds]
hackhorn has quit [Ping timeout: 256 seconds]
perrierjouet has quit [Quit: WeeChat 3.4]
bartholin has joined #ocaml
hackhorn has joined #ocaml
hackinghorn has quit [Read error: Connection reset by peer]
hornhack has joined #ocaml
hackhorn has quit [Ping timeout: 256 seconds]
hackhorn has joined #ocaml
hornhack has quit [Ping timeout: 250 seconds]
bartholin has quit [Quit: Leaving]
bartholin has joined #ocaml
bartholin has quit [Client Quit]
bartholin has joined #ocaml
bartholin has quit [Client Quit]
bartholin has joined #ocaml
perrierjouet has joined #ocaml
<d_bot>
<orbitz> Anyone know if it's possible to specify attributes for structure items using ppxlib metaquot? I'm doing code gen, and also want to add `[@@deriving yojson]` to the types I'm generating
dhil has joined #ocaml
mro has joined #ocaml
<d_bot>
<darrenldl> hackinghorn: depends on how many thing you are carrying and plan to return, and if you want to do effectively early termination
jlrnick has joined #ocaml
mro has quit [Remote host closed the connection]
Techcable has quit [Ping timeout: 240 seconds]
mro has joined #ocaml
hackhorn has quit [Quit: Leaving]
mro has quit [Remote host closed the connection]
<rwmjones>
for unsigned integers, ocaml-stdint or ocaml-integers ?
kaph_ has quit [Read error: Connection reset by peer]
mro has quit [Remote host closed the connection]
xiongxin has joined #ocaml
kaph has joined #ocaml
Techcable has joined #ocaml
<d_bot>
<Aram> I have opam on FreeBSD installed by the package manager. I'm trying to upgrade OCaml to 4.13.1: http://ix.io/3M9p
<d_bot>
<Aram> What's going on here? Is there some verbose/debugging flag to see what it's trying to do? It worked just fine on macOS.
biog has joined #ocaml
hackinghorn has joined #ocaml
mro has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
perrierjouet has joined #ocaml
spip has joined #ocaml
perrierjouet has quit [Quit: WeeChat 3.4]
mro has quit [Quit: Leaving...]
jlrnick has quit [Ping timeout: 250 seconds]
perrierjouet has joined #ocaml
xiongxin has quit [Ping timeout: 256 seconds]
xiongxin has joined #ocaml
Haudegen has joined #ocaml
shawnw has quit [Ping timeout: 256 seconds]
<companion_cube>
hackinghorn: yes, sometimes :p
<companion_cube>
if you're doing more than just a fold.
gahr has quit [Quit: leaving]
emad has joined #ocaml
gahr has joined #ocaml
Techcable has quit [Remote host closed the connection]
Techcable has joined #ocaml
kaph has quit [Read error: Connection reset by peer]
jlrnick has joined #ocaml
adibsaad[m] has quit [Quit: You have been kicked for being idle]
kaph has joined #ocaml
Haudegen has quit [Ping timeout: 240 seconds]
mro has joined #ocaml
Haudegen has joined #ocaml
mro has quit [Remote host closed the connection]
waleee has joined #ocaml
jlrnick has quit [Ping timeout: 240 seconds]
Haudegen has quit [Quit: Bin weg.]
vicfred has joined #ocaml
kakadu has quit [Remote host closed the connection]
Anarchos has joined #ocaml
kaph has quit [Ping timeout: 250 seconds]
Anarchos has quit [Quit: Vision[]: i've been blurred!]
xiongxin has quit [Remote host closed the connection]
kaph has joined #ocaml
rgrinberg has joined #ocaml
noob9000 has joined #ocaml
rgrinberg has quit [Remote host closed the connection]
bartholin has quit [Quit: Leaving]
hackinghorn has quit [Ping timeout: 250 seconds]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
Haudegen has joined #ocaml
spoofer has joined #ocaml
noob9000 has quit [Ping timeout: 256 seconds]
mbuf has quit [Quit: Leaving]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
vicfred has quit [Quit: Leaving]
mro has joined #ocaml
dhil has joined #ocaml
noob9000 has joined #ocaml
<noob9000>
I wrote some code, and I basically brute-forced my way to the correct solution.
<noob9000>
let rec exists (bools: bool list) : bool =
<noob9000>
begin match bools with
<noob9000>
| [] -> false
<noob9000>
| h :: tl -> h = true || exists tl
<noob9000>
end
<noob9000>
I tried different permutations of the penultimate line until I got it...lol but in any case, what it's actually doing is it first checks the first element, h, and if h is true, it returns true. otherwise, it runs the program again, this time putting the remaining elements, tl, as the input?
<companion_cube>
weird way of thinking of it, it calls the function recursively, rather
<noob9000>
ah yes, but the recursion does that right? the h :: tl -> h = true statement, for example, checks if the first (or head) element is true, and if it isn't, it continues with the OR statement?
<companion_cube>
yes, a || b evaluates a first
<companion_cube>
then if a is false, it evaluates b (which here will call `exists` recursively with `tl`)
mro has quit [Quit: Leaving...]
gravicappa has quit [Ping timeout: 250 seconds]
zebrag has joined #ocaml
Serpent7776 has quit [Quit: leaving]
rgrinberg has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
zebrag has quit [Quit: Konversation terminated!]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]