<Algebr>
more people came than I expected, we had like 20-25 and it overlapped with the type theory study group.
<Algebr>
the type theory people's had a reaction of "How does this typecheck??" to some ocaml code.
<def`>
like what? :D
<Algebr>
some code that took a callback, we also had an imprompto discussion on polymorphic variants.
<Algebr>
it was very fun, the next meetup is in Feb and will be just about building ocaml.
<Algebr>
code.
<def`>
interesting. have you had the occasion to test the ppx_jsoo and merlin branch I made when you complained about jsoo support?
<Algebr>
I used whatever branches you told me to use
<Algebr>
I don't remember having issues with merlin after that.
<def`>
ok. I don't remember the details. anyway there was a change in typechecking strategy
<def`>
that should allow full completion ("duck-typing" like) on objects received as callback arguments
shinnya has quit [Ping timeout: 272 seconds]
<Algebr>
excellent! merlin really is a star, people are very much impressed by it, consistently.
<def`>
patch on jsoo should eventually be merged upstream, as for the typechecking patch I will maintain it in all upcoming releases of merlin. including it in ocaml typechecker will need more review
<def`>
thx )
hnagamin has joined #ocaml
Denommus has joined #ocaml
hnagamin has quit [Quit: さようなら]
hnagamin has joined #ocaml
hnagamin has quit [Client Quit]
hnagamin has joined #ocaml
drmem has quit [Quit: WeeChat 1.2]
sillyotter has joined #ocaml
<Enjolras>
aantron: re: yesterday question. Yes, the threads are serialized by a big log. BUt that doesn't mean they can't be preempted
<Enjolras>
only one will run at a time that's all
pierpa has joined #ocaml
<aantron>
Enjolras: it was mentioned to me that they can be preempted, but only on I/O or allocations. i observed no interference between threads on some code updating integers, whereas the same code in C++ with std::thread had massive interference
<aantron>
same -> analogous*
<Enjolras>
hmm. Now you make me wonder if i might be wrong :)
<aantron>
it occurs to me though
<aantron>
that i wasnt really testing preemption in C++, since i have a multicore system hehe
<aantron>
however i still think i can expect some interference between two threads running a loop that does nothing besides a read-change-write
<Enjolras>
what do you call interference ?
<aantron>
going to have to write a better reference program though
<Enjolras>
you mean you have a non atomic code section and you try to preempt in the middle ?
<aantron>
yes
<aantron>
not try to preempt
<Enjolras>
yeah, that's much more likely to happen in C+, i think
<aantron>
but if another thread does something to the state that "should" be protected "concurrently", then this is interference
<Enjolras>
in anycase, if you find i was wrong, please HL me :)
<aantron>
what is HL?
hnagamin has quit [Quit: さようなら]
<Enjolras>
aantron: like this. hilight. mention the nickname :)
<aantron>
ah yes right :)
sillyotter has quit [Quit: leaving]
<aantron>
im interested in this, will let you know. however, you say there is a big lock for serializing threads. when does a thread that has this lock let it go? that might be enough to answer this logically
<aantron>
at least in the absence of some authoritative information :)
<Enjolras>
hah. That a pretty good question i had never thought about and is quite relevant. It needs some preemption point indeed
<aantron>
it just seems implausible to me that there would be preemption points like that between regular increments and reads/writes
<aantron>
right
Denommus has quit [Quit: going home]
<Enjolras>
what happens if you put Thread.yield in the middle of a critical section ?
<def`>
you might break all invariants you expect to be atomic which are not protected by a lock
<def`>
atomic wrt scheduling of ocaml threads
<Enjolras>
def`: of course, that is the goal :)
<Enjolras>
def`: the question is where are threads preempted
hnagamin has joined #ocaml
jeffmo has joined #ocaml
cody` has quit [Quit: Connection closed for inactivity]
hnagamin has quit [Ping timeout: 240 seconds]
<aantron>
yeah i think Thread.yield will do it, and i considered it, but ultimately my goal isnt to break my critical sections by modifying them to deliberately mess themselves up :)
FreeBirdLjj has joined #ocaml
nicholasf has joined #ocaml
FreeBirdLjj has quit [Client Quit]
<pierpa>
caml.inria.fr is down?
<aantron>
apparently for several hours
<pierpa>
hmmmm... ty
govg has joined #ocaml
jeffmo has quit [Ping timeout: 240 seconds]
jeffmo has joined #ocaml
jeffmo has quit [Ping timeout: 250 seconds]
jeffmo has joined #ocaml
jeffmo has quit [Ping timeout: 256 seconds]
ygrek has quit [Ping timeout: 276 seconds]
ousado_ has joined #ocaml
ousado has quit [Ping timeout: 276 seconds]
struk|desk|away is now known as struk|desk2
ousado_ is now known as ousado
ousado has quit [Changing host]
ousado has joined #ocaml
struk|desk2 has quit [Quit: Konversation terminated!]
mac10688 has quit [Ping timeout: 260 seconds]
struk|desk has joined #ocaml
struk|desk has quit [Quit: Konversation terminated!]
hnagamin has joined #ocaml
thesnowdog1 has quit [Read error: Connection reset by peer]
thesnowdog1 has joined #ocaml
struk|desk has joined #ocaml
MercurialAlchemi has joined #ocaml
nicholasf has quit [Ping timeout: 256 seconds]
hnagamin has quit [Ping timeout: 245 seconds]
hnagamin has joined #ocaml
wolfcore has quit [Ping timeout: 276 seconds]
wolfcore has joined #ocaml
tmtwd has joined #ocaml
nopf has quit [Ping timeout: 276 seconds]
pippijn has quit [Ping timeout: 276 seconds]
pippijn has joined #ocaml
nopf has joined #ocaml
struk|desk is now known as struk|desk|away
JacobEdelman has quit [Quit: Connection closed for inactivity]
tmtwd has quit [Ping timeout: 272 seconds]
darkf has joined #ocaml
struk|desk|away is now known as struk|desk
Sorella has quit [Quit: Connection closed for inactivity]
nicholasf has joined #ocaml
Simn has joined #ocaml
Mercuria1Alchemi has joined #ocaml
<jyc>
I've installed sqlite3 from OPAM, but whenever I try to compile/load it I get an error: 'Cannot load required shared library dllsqlite3_stubs'
<jyc>
Has anyone run into something like this before?
gustav___ has quit [Ping timeout: 260 seconds]
<jyc>
I'm on OS X and installed sqlite3 through homebrew.
gustav___ has joined #ocaml
<jyc>
Alright, I just tried `brew link --force sqlite3` then `opam reinstall sqlite3` and things seem to work now.
tmtwd has joined #ocaml
Haudegen has quit [Ping timeout: 260 seconds]
badon has quit [Disconnected by services]
badon has joined #ocaml
tmtwd has quit [Ping timeout: 260 seconds]
aantron has quit [Remote host closed the connection]
mort___ has joined #ocaml
nicholasf has quit [Remote host closed the connection]
nicholasf has joined #ocaml
Haudegen has joined #ocaml
hnagamin has quit [Ping timeout: 240 seconds]
hnagamin has joined #ocaml
govg has quit [Ping timeout: 265 seconds]
govg has joined #ocaml
cody` has joined #ocaml
MasseR has quit [Quit: WeeChat 1.3]
masse has joined #ocaml
masse is now known as MasseR
octachron has joined #ocaml
hunteriam has joined #ocaml
nicholasf has quit []
govg has quit [Ping timeout: 276 seconds]
govg has joined #ocaml
hnagamin has quit [Ping timeout: 240 seconds]
Anarchos has joined #ocaml
sepp2k has joined #ocaml
struk|desk is now known as struk|desk|away
ontologiae has joined #ocaml
badon has quit [Disconnected by services]
badon_ has joined #ocaml
badon_ is now known as badon
<ia0>
caml.inria.fr is still down? It's been a while isn't it?
<edwin>
or in fact: opam source <yourpackage>, as long as you don't want the compiler itself
sh0t has joined #ocaml
sepp2k has joined #ocaml
sh0t has quit [Ping timeout: 250 seconds]
AltGr has joined #ocaml
malc_ has joined #ocaml
zpe has joined #ocaml
mattrepl has quit [Ping timeout: 250 seconds]
mattrepl has joined #ocaml
zpe has quit [Remote host closed the connection]
sz0 has quit [Quit: Bye.]
sz0 has joined #ocaml
rand has joined #ocaml
rand is now known as Guest4264
Simn has quit [Ping timeout: 255 seconds]
Simn has joined #ocaml
hnagamin has quit [Ping timeout: 276 seconds]
Maelan has quit [Ping timeout: 272 seconds]
tobiasBora has quit [Ping timeout: 265 seconds]
sgnb has quit [Read error: Connection reset by peer]
sgnb has joined #ocaml
Maelan has joined #ocaml
d0nn1e has quit [Ping timeout: 255 seconds]
tobiasBora has joined #ocaml
d0nn1e has joined #ocaml
<Leonidas>
ocsigen shou've branded itself an isomorphic app framework
<Leonidas>
"Meteor has accomplished a lot since its original launch back in 2012. It was one of the first isomorphic app frameworks (meaning it spans across both server and client), and remains pretty much the only viable one to this day. "
Jane-PC has quit [Ping timeout: 265 seconds]
<MasseR>
"meaning", I don't think it means what you think it means :)
<MasseR>
We just had a long bashing of js-isomorphism at #haskell-blah yesterday
mac10688 has joined #ocaml
<Drup>
the name "isomorphism" always made me smile
<Drup>
(used in this context))
<Drup>
MasseR: do they bashed Haste too ? :)
<Drup>
did*
<MasseR>
Why would they?
<MasseR>
It's not like they claim to be isomorphic :)
<Drup>
They don't use the word, but it's the same concept
thesnowdog2 has joined #ocaml
badon has quit [Disconnected by services]
badon_ has joined #ocaml
ggole has joined #ocaml
badon_ is now known as badon
vodkaInf1rno has joined #ocaml
<Drup>
(and if they bashed only because of the jargon ... well, hospital, charity, all that²)
mehdi__ has joined #ocaml
_2can has quit [Ping timeout: 260 seconds]
OnkV has joined #ocaml
sgronblo_ has joined #ocaml
Mercuria2Alchemi has joined #ocaml
Snark_ has joined #ocaml
jerith_ has joined #ocaml
stomp_ has joined #ocaml
vbmithr_ has joined #ocaml
nopf_ has joined #ocaml
nzyuzin_ has joined #ocaml
__rlp_ has joined #ocaml
pierpa` has joined #ocaml
pdewacht_ has joined #ocaml
k1000_ has joined #ocaml
<MasseR>
Drup: you don't call cars icecreams do you?
<MasseR>
:)
flasheater has joined #ocaml
julienXX_ has joined #ocaml
adrien_znc has joined #ocaml
noplamodo has joined #ocaml
xerael has joined #ocaml
luz1e has joined #ocaml
ahf_ has joined #ocaml
asmanur_ has joined #ocaml
martintrojer_ has joined #ocaml
i0sys has joined #ocaml
d0nn1e_ has joined #ocaml
jave_ has joined #ocaml
kushal has quit [Quit: Leaving]
d0nn1e has quit [*.net *.split]
Mercuria1Alchemi has quit [*.net *.split]
thesnowdog1 has quit [*.net *.split]
luzie has quit [*.net *.split]
stomp has quit [*.net *.split]
tristero has quit [*.net *.split]
AlexRussia has quit [*.net *.split]
eikke has quit [*.net *.split]
lyxia has quit [*.net *.split]
StatelessCat has quit [*.net *.split]
bugabinga has quit [*.net *.split]
Johann has quit [*.net *.split]
noplamodo_ has quit [*.net *.split]
iosys has quit [*.net *.split]
so has quit [*.net *.split]
lukky513 has quit [*.net *.split]
adrien_z- has quit [*.net *.split]
vbmithr has quit [*.net *.split]
mehdi___ has quit [*.net *.split]
sgronblo has quit [*.net *.split]
git-commit has quit [*.net *.split]
bitemyapp has quit [*.net *.split]
tokenrove has quit [*.net *.split]
tobiasBora has quit [*.net *.split]
Haudegen has quit [*.net *.split]
nopf has quit [*.net *.split]
pierpa has quit [*.net *.split]
martintrojer has quit [*.net *.split]
Snark has quit [*.net *.split]
DanielRichman has quit [*.net *.split]
w1gz has quit [*.net *.split]
jerith has quit [*.net *.split]
jpdeplaix has quit [*.net *.split]
ahf has quit [*.net *.split]
tizoc has quit [*.net *.split]
hbar has quit [*.net *.split]
jave has quit [*.net *.split]
julienXX has quit [*.net *.split]
k1000 has quit [*.net *.split]
vodkaInferno has quit [*.net *.split]
TheAuGingembre has quit [*.net *.split]
nzyuzin has quit [*.net *.split]
pdewacht has quit [*.net *.split]
__rlp has quit [*.net *.split]
fold3 has quit [*.net *.split]
low-profile has quit [*.net *.split]
asmanur has quit [*.net *.split]
julienXX_ is now known as julienXX
ahf_ is now known as ahf
kushal has joined #ocaml
i0sys is now known as iosys
bitemyapp has joined #ocaml
lukky513 has joined #ocaml
tizoc has joined #ocaml
DanielRichman has joined #ocaml
zpe has joined #ocaml
tokenrove has joined #ocaml
<Drup>
MasseR: *shrug* programming is full of overloaded technical terms
jpdeplaix has joined #ocaml
lyxia has joined #ocaml
<Drup>
Sure, it's silly and shouldn't be used, but it is, so, what ?
TheAuGingembre has joined #ocaml
<Drup>
Haskellists are very much guilty of it too.
w1gz has joined #ocaml
tobiasBora has joined #ocaml
Johann has joined #ocaml
AlexRussia has joined #ocaml
tristero has joined #ocaml
low-profile has joined #ocaml
hbar has joined #ocaml
StatelessCat has joined #ocaml
fold3 has joined #ocaml
shinnya has joined #ocaml
aantron has joined #ocaml
mac10688 has quit [Quit: Leaving]
hnagamin has joined #ocaml
yomimono has joined #ocaml
zpe has quit [Remote host closed the connection]
huza has joined #ocaml
Fleurety has quit [Quit: Bah, stupid error messages.]
FreeBirdLjj has quit [Remote host closed the connection]
Fleurety has joined #ocaml
huza has quit [Quit: WeeChat 0.3.8]
_2can has joined #ocaml
cody` has quit [Quit: Connection closed for inactivity]
theblatte has quit [Ping timeout: 240 seconds]
theblatte has joined #ocaml
julienXX has quit [Changing host]
julienXX has joined #ocaml
eikke has joined #ocaml
zpe has joined #ocaml
Anarchos has quit [Quit: Page closed]
Mercuria2Alchemi has quit [Ping timeout: 265 seconds]
so has joined #ocaml
eikke has quit [*.net *.split]
mort___ has quit [Quit: Leaving.]
metadave has left #ocaml [#ocaml]
sepp2k has quit [Quit: Leaving.]
zpe has quit [Remote host closed the connection]
struk|desk|away is now known as struk|desk
sepp2k has joined #ocaml
slash^ has joined #ocaml
mort___ has joined #ocaml
sillyotter has joined #ocaml
sillyotter has quit [Client Quit]
mort___ has quit [Quit: Leaving.]
mort___ has joined #ocaml
OnkV has quit [Ping timeout: 240 seconds]
mort___ has left #ocaml [#ocaml]
cody` has joined #ocaml
Haudegen has joined #ocaml
mort___ has joined #ocaml
AltGr has left #ocaml [#ocaml]
nicholasf has joined #ocaml
<tautologico>
isomorphic means "same form", that's it
<tautologico>
mathematicians have a use for this term which interprets it in a context that makes sense to them... JS programmers use the term in another way
mort___ has quit [Quit: Leaving.]
jwatzman|work has quit [Quit: jwatzman|work]
struk|desk is now known as struk|desk|away
eikke has joined #ocaml
Haudegen has quit [Ping timeout: 255 seconds]
ontologiae has quit [Ping timeout: 240 seconds]
nicholasf has quit [Remote host closed the connection]
eikke has quit [*.net *.split]
yomimono has quit [Ping timeout: 255 seconds]
larhat1 has joined #ocaml
Haudegen has joined #ocaml
ggole has quit []
fraggle__ has quit [Read error: Connection reset by peer]
BitPuffin has quit [Ping timeout: 265 seconds]
pierpa`` has joined #ocaml
Sim_n has joined #ocaml
reynir1 has joined #ocaml
fraggle_ has joined #ocaml
johnelse has joined #ocaml
vbmithr has joined #ocaml
johnelse is now known as Guest21327
kandu_ has joined #ocaml
tizoc` has joined #ocaml
larhat2 has joined #ocaml
please_help0 has joined #ocaml
malc__ has joined #ocaml
tizoc` is now known as tizoc_
rom1504_ has joined #ocaml
Shozan has joined #ocaml
petercom1and has joined #ocaml
tizoc has quit [Disconnected by services]
tizoc_ is now known as tizoc
tizoc has quit [Changing host]
tizoc has joined #ocaml
Maelan_ has joined #ocaml
Khady_ has joined #ocaml
bitemyap1 has joined #ocaml
mal``` has joined #ocaml
fluter_ has joined #ocaml
boegel|quassel has joined #ocaml
sepp2k has quit [*.net *.split]
bitemyapp has quit [*.net *.split]
iosys has quit [*.net *.split]
pierpa` has quit [*.net *.split]
vbmithr_ has quit [*.net *.split]
Maelan has quit [*.net *.split]
Simn has quit [*.net *.split]
malc_ has quit [*.net *.split]
fluter has quit [*.net *.split]
Guest10452 has quit [*.net *.split]
chris2 has quit [*.net *.split]
larhat has quit [*.net *.split]
kandu has quit [*.net *.split]
exm has quit [*.net *.split]
petercommand has quit [*.net *.split]
please_help has quit [*.net *.split]
manizzle has quit [*.net *.split]
SHODAN has quit [*.net *.split]
mal`` has quit [*.net *.split]
rom1504 has quit [*.net *.split]
boegel has quit [*.net *.split]
reynir has quit [*.net *.split]
mietek has quit [*.net *.split]
Khady has quit [*.net *.split]
srax has quit [*.net *.split]
i0sys has joined #ocaml
exm has joined #ocaml
i0sys is now known as iosys
exm has left #ocaml [#ocaml]
fraggle_ has quit [Remote host closed the connection]
srax has joined #ocaml
manizzle has joined #ocaml
chris2 has joined #ocaml
sepp2k has joined #ocaml
lokien_ has joined #ocaml
ygrek has joined #ocaml
kushal has quit [Read error: Connection reset by peer]