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