adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.07.1 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.07/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml | Due to ongoing spam, you must register your nickname to talk on the channel
yawaramin has quit []
yawaramin has joined #ocaml
recj has quit [Ping timeout: 268 seconds]
yawaramin has quit [Client Quit]
recj has joined #ocaml
yawaramin has joined #ocaml
pierpal has quit [Ping timeout: 268 seconds]
kvda has joined #ocaml
yomimono has quit [Ping timeout: 246 seconds]
yawaramin has quit [Ping timeout: 256 seconds]
yomimono has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
pierpal has joined #ocaml
kvda has joined #ocaml
Spetznaz_ has quit [Ping timeout: 246 seconds]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
kvda has joined #ocaml
caente has quit [Quit: Konversation terminated!]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
kvda has joined #ocaml
tormen_ has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
_whitelogger has joined #ocaml
kvda has joined #ocaml
JimmyRcom has quit [Ping timeout: 244 seconds]
marvin2 has quit [Ping timeout: 268 seconds]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
nullifidian_ has joined #ocaml
nullifidian__ has quit [Read error: Connection reset by peer]
recj has quit [Read error: Connection reset by peer]
marvin2 has joined #ocaml
kvda has joined #ocaml
kvda has quit [Client Quit]
kvda has joined #ocaml
kvda has quit [Client Quit]
recj has joined #ocaml
gravicappa has joined #ocaml
ostera has joined #ocaml
ostera has quit [Ping timeout: 246 seconds]
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
iovec has quit [Quit: Connection closed for inactivity]
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
steenuil has quit [Remote host closed the connection]
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
nst^ has quit []
carlosdagos has quit [Quit: Connection closed for inactivity]
ski has quit [Remote host closed the connection]
pierpal has quit [Ping timeout: 268 seconds]
gravicappa has quit [Ping timeout: 244 seconds]
gravicappa has joined #ocaml
Haudegen has joined #ocaml
iovec has joined #ocaml
dxtr has quit [Ping timeout: 250 seconds]
dxtr has joined #ocaml
ollehar has joined #ocaml
mfp has joined #ocaml
notzmv has joined #ocaml
rks` has quit [Ping timeout: 245 seconds]
jaar has joined #ocaml
asymptotically has joined #ocaml
pierpal has joined #ocaml
gravicappa has quit [Ping timeout: 258 seconds]
<wilfredh> If I have several functions `'a -> unit` and I want to call them all, is there anything in the stdlib or Core to help me?
<octachron> "List.iter (fun f -> f x) [f1;...;fn]" ?
<wilfredh> no nifty operators or helpers then? Fair enough :)
<octachron> If you want more operators, the code before can be read as `List.iter ((|>) x) [f1;...;fn]`
Bronsa has quit [Remote host closed the connection]
<wilfredh> interesting, I'd not considered that
nst^ has joined #ocaml
<wilfredh> is `(fun x -> f x)` always equivalent to just `f` in Ocaml?
<wilfredh> I believed so, but this doesn't type check: https://gist.github.com/Wilfred/b4456bab5fb4ba8d90a08b50949ab4b5
nikivi has quit [Quit: ZNC is awesome]
nikivi has joined #ocaml
<def`> wilfredh: yes, it is not the case if you have labels (optionals or not)
<wilfredh> def: aha, OK. So I have to use `fun f ->` in that case, or is there separate syntax for partially applying functions with labels?
iovec has quit [Quit: Connection closed for inactivity]
silver has joined #ocaml
gravicappa has joined #ocaml
RalfJ has quit [Remote host closed the connection]
RalfJ has joined #ocaml
<def`> You have to use fun :)
eagleflo_ is now known as eagleflo
pierpal has quit [Ping timeout: 272 seconds]
pierpal has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
decentpenguin has joined #ocaml
picolino has quit [Remote host closed the connection]
ostera has joined #ocaml
decentpenguin has quit [Quit: WeeChat 2.3]
decentpenguin has joined #ocaml
madroach has quit [Ping timeout: 264 seconds]
madroach has joined #ocaml
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
kakadu has quit [Ping timeout: 246 seconds]
iZsh_ has quit [Quit: ZNC - http://znc.in]
kakadu has joined #ocaml
spew has joined #ocaml
iZsh has joined #ocaml
marsam has joined #ocaml
Nikita has joined #ocaml
nikivi has quit [Read error: Connection reset by peer]
webshinra_ has quit [Read error: Connection reset by peer]
webshinra_ has joined #ocaml
Nikita is now known as Guest38017
Guest38017 is now known as nikivi
FreeBirdLjj has joined #ocaml
ziyourenxiang has quit [Ping timeout: 268 seconds]
bartholin has joined #ocaml
marsam has quit [Ping timeout: 252 seconds]
KeyJoo has joined #ocaml
KeyJoo has quit [Max SendQ exceeded]
KeyJoo has joined #ocaml
KeyJoo has quit [Max SendQ exceeded]
KeyJoo has joined #ocaml
KeyJoo has quit [Max SendQ exceeded]
KeyJoo has joined #ocaml
KeyJoo has quit [Max SendQ exceeded]
KeyJoo has joined #ocaml
KeyJoo has quit [Max SendQ exceeded]
KeyJoo has joined #ocaml
KeyJoo has quit [Max SendQ exceeded]
KeyJoo has joined #ocaml
KeyJoo has quit [Max SendQ exceeded]
KeyJoo has joined #ocaml
KeyJoo has quit [Client Quit]
ollehar has quit [Ping timeout: 246 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 272 seconds]
iovec has joined #ocaml
Serpent7776 has joined #ocaml
nullifidian_ has quit [Read error: Connection reset by peer]
nullifidian__ has joined #ocaml
Niamkik has quit [Ping timeout: 244 seconds]
Ulrar has quit [Ping timeout: 244 seconds]
Ulrar has joined #ocaml
Niamkik has joined #ocaml
roygbiv has joined #ocaml
tane has joined #ocaml
dedgrant has joined #ocaml
waleee has joined #ocaml
yomimono has quit [Ping timeout: 268 seconds]
jaar has quit [Quit: Leaving]
roygbiv has quit [Quit: ™]
yomimono has joined #ocaml
themsay has joined #ocaml
waleee has quit [Quit: WeeChat 2.3]
jnavila has joined #ocaml
decentpenguin has quit [Quit: WeeChat 2.3]
gravicappa has quit [Ping timeout: 250 seconds]
<bartholin> ocaml 4.07 has empty types
<companion_cube> empty types have existed for a while
<companion_cube> type empty = {noway: 'a. 'a}
<octachron> companion_cube, "type (_,_) eq = Refl: ('a,'a) eq type noway = (int,float) eq" works a bit better with the typechecker
<companion_cube> ah, you mean as something that will cut branches? ok
<octachron> as a type that the typechecker knows is empty (aka "let f: 'a. noway -> 'a = function _ -> ." is accepted)
<companion_cube> fair enough
ostera2112 has joined #ocaml
ostera has quit [Ping timeout: 268 seconds]
kakadu_ has joined #ocaml
mildtaste has quit [Ping timeout: 252 seconds]
<bartholin> If I get this right, refutations only use type annotations for checking whether it is indeed a refutation
mildtaste has joined #ocaml
olle has joined #ocaml
<olle> hi ho
<olle> is there no easier way to do a key-value lookup than a hashtable?
<olle> I want to have key ')' and get value '(',
<companion_cube> Map or Hashtbl are the easiest, yeah
jnavila has quit [Ping timeout: 246 seconds]
<companion_cube> surely you want other keys and values?
Spetznaz_ has joined #ocaml
bartholin has quit [Remote host closed the connection]
Haudegen has quit [Read error: Connection reset by peer]
jnavila has joined #ocaml
GreyFaceNoSpace has joined #ocaml
yomimono has quit [Ping timeout: 250 seconds]
Haudegen has joined #ocaml
<olle> companion_cube: Only three ones.
<olle> companion_cube: Assoc list fit my use-case.
<olle> companion_cube: Thanks!
<olle> companion_cube: Out of curiosity, how would you solve a problem where a function should detect well-formed strings with regard to paranthesis, like '[]()' or '{blabla(qwe)}'
<olle> ?
<olle> I'm using a stack and pusing "left paranthesis" and popping "right paranthesis"
<olle> if they match
<olle> Made it and both PHP and OCaml, both look shit
<companion_cube> a stack is the usual way, yes
<olle> companion_cube: mm
roygbiv has joined #ocaml
Serpent7776 has quit [Quit: leaving]
zv has joined #ocaml
nst^ has quit []
jnavila has quit [Ping timeout: 252 seconds]
silver has quit [Ping timeout: 268 seconds]
silver has joined #ocaml
ostera2112 has quit [Ping timeout: 250 seconds]
mildtaste has quit [Ping timeout: 252 seconds]
spew has quit [Quit: going home]
mildtaste has joined #ocaml
orbifx has joined #ocaml
mildtaste has quit [Ping timeout: 252 seconds]
asymptotically has quit [Quit: Leaving]
mildtaste has joined #ocaml
roygbiv has quit [Quit: ™]
tane has quit [Quit: Leaving]
andrewalker has quit [Quit: ZNC 1.6.2 - http://znc.in]
JimmyRcom has joined #ocaml
SegFaultAX has joined #ocaml
kakadu_ has quit [Remote host closed the connection]
Haudegen has quit [Remote host closed the connection]
omarramo has joined #ocaml
<omarramo> hey guys, I am struggling to find the right syntax for assigning a module created by a functor to a local variable (forgive me if I am using the wrong terminology)
<omarramo> let test = (module struct let variable_count = a end : VariableCount) in (* I have this variable and this functor signature: functor (C : VariableCount) -> S
<omarramo> how do I call this now with test as an argument