silver has quit [Read error: Connection reset by peer]
trapz has joined #ocaml
trapz has quit [Quit: trapz]
manizzle has quit [Ping timeout: 268 seconds]
manizzle has joined #ocaml
Algebr has joined #ocaml
eikke has quit [Remote host closed the connection]
mengu has quit [Remote host closed the connection]
trapz has joined #ocaml
copy` has quit [Quit: Connection closed for inactivity]
Ayey_ has joined #ocaml
<nicoo>
lucasem: For what it's worth, the idiomatic thing is to define the interface for your module in a .mli file, which can declare more specific types than the ones that were infered
average has quit [Ping timeout: 245 seconds]
Ayey_ has quit [Ping timeout: 260 seconds]
average has joined #ocaml
dviper has joined #ocaml
<dviper>
hello, has anyone here installed tsdl from opam on ubuntu xenial (16.04)?
Algebr has quit [Ping timeout: 260 seconds]
ousado has quit [Ping timeout: 240 seconds]
ousado has joined #ocaml
trapz has quit [Quit: trapz]
<dviper>
Does anyone hhvae experience with tsdl?
Ayey_ has joined #ocaml
nomicflux has joined #ocaml
nomicflux has quit [Client Quit]
Ayey_ has quit [Ping timeout: 268 seconds]
BitPuffin|osx has quit [Ping timeout: 246 seconds]
camelxcore has quit [Ping timeout: 240 seconds]
camelxcore has joined #ocaml
Algebr has joined #ocaml
hongbo_ has joined #ocaml
<hongbo_>
Test from phone
Ayey_ has joined #ocaml
Ayey_ has quit [Ping timeout: 240 seconds]
Ayey_ has joined #ocaml
Algebr has quit [Ping timeout: 240 seconds]
dviper has quit [Quit: Leaving]
Ayey_ has quit [Ping timeout: 240 seconds]
MercurialAlchemi has joined #ocaml
Jim7J1AJH is now known as jimt
camelxcore has quit [Ping timeout: 260 seconds]
fraggle_ has quit [Ping timeout: 240 seconds]
fraggle_ has joined #ocaml
Ayey_ has joined #ocaml
Ayey_ has quit [Ping timeout: 240 seconds]
MercurialAlchemi has quit [Ping timeout: 268 seconds]
camelxcore has joined #ocaml
ygrek has joined #ocaml
Algebr has joined #ocaml
orbitz_ has joined #ocaml
yminsky_ has joined #ocaml
tautologico_ has joined #ocaml
ggherdov_ has joined #ocaml
chindy_ has joined #ocaml
dlat has joined #ocaml
profan_ has joined #ocaml
sfri has quit [Read error: Connection reset by peer]
asmanur_ has joined #ocaml
iZsh_ has joined #ocaml
nightmared has quit [*.net *.split]
dlat_ has quit [*.net *.split]
M-Illandan has quit [*.net *.split]
M-jimt has quit [*.net *.split]
smondet[m] has quit [*.net *.split]
rseymour has quit [*.net *.split]
vishesh has quit [*.net *.split]
ggherdov has quit [*.net *.split]
asmanur has quit [*.net *.split]
clog has quit [*.net *.split]
tautologico has quit [*.net *.split]
gallais has quit [*.net *.split]
Johann has quit [*.net *.split]
Geekingfrog has quit [*.net *.split]
profan has quit [*.net *.split]
smondet`` has quit [*.net *.split]
iZsh has quit [*.net *.split]
awal has quit [*.net *.split]
chindy has quit [*.net *.split]
orbitz has quit [*.net *.split]
pigoz has quit [*.net *.split]
SaidinWoT has quit [*.net *.split]
yminsky has quit [*.net *.split]
emias has quit [*.net *.split]
tautologico_ is now known as tautologico
awal has joined #ocaml
yminsky_ is now known as yminsky
Geekingfrog has joined #ocaml
awal is now known as Guest51801
Ayey_ has joined #ocaml
ggherdov_ is now known as ggherdov
sfri has joined #ocaml
smondet[m] has joined #ocaml
emias has joined #ocaml
pigoz has joined #ocaml
rseymour has joined #ocaml
M-jimt has joined #ocaml
Johann has joined #ocaml
Ayey_ has quit [Ping timeout: 240 seconds]
vishesh has joined #ocaml
M-Illandan has joined #ocaml
nightmared has joined #ocaml
SaidinWoT has joined #ocaml
gtristan has quit [Ping timeout: 260 seconds]
Guest51801 is now known as awal
Ayey_ has joined #ocaml
MercurialAlchemi has joined #ocaml
Ayey_ has quit [Ping timeout: 240 seconds]
madgoat has joined #ocaml
madgoat has left #ocaml [#ocaml]
Algebr has quit [Ping timeout: 268 seconds]
gtristan has joined #ocaml
Ayey_ has joined #ocaml
Ayey_ has quit [Ping timeout: 260 seconds]
freusque has joined #ocaml
freusque has quit [Client Quit]
Simn has joined #ocaml
fre has joined #ocaml
hongbo_ has quit [Quit: Connection closed for inactivity]
apache2 has joined #ocaml
AlexDenisov has joined #ocaml
Ayey_ has joined #ocaml
Ayey_ has quit [Ping timeout: 260 seconds]
Ayey_ has joined #ocaml
AlexDeni_ has joined #ocaml
AlexDenisov has quit [Ping timeout: 240 seconds]
alfredo has joined #ocaml
cross has quit [Quit: Lost terminal]
camelxcore has quit [Ping timeout: 268 seconds]
spew has quit [Quit: foobar]
AlexDenisov has joined #ocaml
AlexDeni_ has quit [Ping timeout: 264 seconds]
SpaceSheep has joined #ocaml
fre has quit [Quit: WeeChat 1.7]
freusque has joined #ocaml
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
clog has joined #ocaml
Algebr has joined #ocaml
argent_smith has joined #ocaml
gtristan has quit [Ping timeout: 256 seconds]
simon3 has joined #ocaml
simon3 has left #ocaml [#ocaml]
freusque has quit [Ping timeout: 246 seconds]
pigoz has quit [Quit: WeeChat 1.3-dev]
simonzzzz has joined #ocaml
jack5638 has joined #ocaml
freusque has joined #ocaml
AlexDenisov has joined #ocaml
ygrek has quit [Ping timeout: 240 seconds]
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
AlexDenisov has joined #ocaml
nightmared has quit [Ping timeout: 260 seconds]
simonzzzz has left #ocaml ["ERC (IRC client for Emacs 26.0.50)"]
rawra has quit [Quit: Connection closed for inactivity]
gtristan has joined #ocaml
cdidd has quit [Remote host closed the connection]
alexelcu has joined #ocaml
zpe has joined #ocaml
johnelse has quit [Quit: leaving]
johnelse has joined #ocaml
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
AlexDenisov has joined #ocaml
fre has joined #ocaml
freusque has quit [Ping timeout: 260 seconds]
govg has quit [Ping timeout: 240 seconds]
taostein has joined #ocaml
cschneid has quit [Ping timeout: 246 seconds]
ahf has quit [Excess Flood]
fre has quit [Quit: WeeChat 1.7]
ahf has joined #ocaml
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
freusque has joined #ocaml
AlexDenisov has joined #ocaml
mfp has joined #ocaml
<sspi>
I'm executing code within a toplevel created with js_of_ocaml which is nice, but also rather slow - I was wondering if there were ways to make the execution faster
rightfold has left #ocaml [#ocaml]
<Drup>
sspi: compiling it ? ^^'
<sspi>
Drup: ah right, I mean evaluating it
<sspi>
and yes compiling is way faster... but not feasible in this case
<sspi>
in this case I want to execute the code in the browser
cschneid has joined #ocaml
<flux>
I guess ocamlnat doesn't work with js_of_ocaml..
<flux>
I guess bucklescript isn't any faster, if it supports toplevel at all..
jnavila has joined #ocaml
<Drup>
sspi: what's the use case ?
mengu has joined #ocaml
jnavila has quit [Ping timeout: 240 seconds]
<def`>
bucklescript must be very fast.
<def`>
You leverage the browser js compiler.
<def`>
The point is not ocamlnat, it is to remove as much interpretation layers as possible.
<flux>
but wouldn't need the equivalent of ocamlnat? to have the javascript-toplevel compile native javascript?
<Drup>
(for the record, jsoo's toplevel is basically the compiler, follow by feeding to the browser, it's not a real interpreter)
<sspi>
the use case is running OCaml examples within the browser for educational purposes
<def`>
Drup: that sounds good, I wonder why it is slow then.
<Drup>
def`: if you run each phrase once and doesn't cache, it might not trigger the JIT enough ?
<sspi>
oh wow, I just tried Firefox - and it was super fast :-/
<sspi>
(I tried Chrome initially)
<sspi>
hmm let me try a separate instance of Chrome
* def`
not surprised :P
jnavila has joined #ocaml
polimegalo has joined #ocaml
<sspi>
right, I guess I know my mistake within Chrome
<sspi>
which was keeping the inspector open
<def`>
cool
<reynir>
heh
mrgrieves has joined #ocaml
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Serpent7776 has joined #ocaml
octachron has joined #ocaml
_andre has joined #ocaml
Algebr has quit [Ping timeout: 240 seconds]
govg has joined #ocaml
wonderfulgirl has joined #ocaml
wonderfulgirl has left #ocaml [#ocaml]
lucybun has quit [Quit: lucybun]
lucybun has joined #ocaml
taostein has quit [Quit: taostein]
ciniglio has quit [Ping timeout: 246 seconds]
sepp2k has joined #ocaml
taostein has joined #ocaml
jnavila_ has joined #ocaml
jnavila has quit [Ping timeout: 240 seconds]
AlexDenisov has joined #ocaml
nomicflux has joined #ocaml
BitPuffin|osx has joined #ocaml
jnavila_ has quit [Read error: Connection reset by peer]
taostein has quit [Quit: taostein]
nomicflux has quit [Quit: nomicflux]
govg has quit [Ping timeout: 260 seconds]
hongbo_ has joined #ocaml
taostein has joined #ocaml
jnavila_ has joined #ocaml
frefity has quit [Ping timeout: 246 seconds]
taostein has quit [Quit: taostein]
spew has joined #ocaml
frefity has joined #ocaml
jlouis has joined #ocaml
tane has joined #ocaml
infinity0 has joined #ocaml
sh0t has joined #ocaml
spew has quit [Quit: foobar]
spew has joined #ocaml
richi235 has joined #ocaml
gallais has joined #ocaml
gallais has quit [Client Quit]
gallais has joined #ocaml
frefity has quit [Ping timeout: 246 seconds]
<lucasem>
nicoo: I know this is way late, but thanks! I definitely prefer using mli headers than putting types all over random places in my codebase.
camelxcore has joined #ocaml
shinnya has joined #ocaml
Ayey_ has quit [Ping timeout: 240 seconds]
taostein has joined #ocaml
unbalancedparen has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 240 seconds]
Ayey_ has joined #ocaml
al-damiri has joined #ocaml
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Ayey_ has quit [Ping timeout: 246 seconds]
frefity has joined #ocaml
AlexDenisov has joined #ocaml
taostein has quit [Quit: taostein]
sz0 has joined #ocaml
ygrek has joined #ocaml
jabroney has joined #ocaml
Ayey_ has joined #ocaml
marsam has joined #ocaml
hongbo_ has quit [Quit: Connection closed for inactivity]
Ayey_ has quit [Ping timeout: 260 seconds]
Ayey_ has joined #ocaml
Ayey_ has quit [Ping timeout: 268 seconds]
mrvn has quit [Quit: Lost terminal]
govg has joined #ocaml
MercurialAlchemi has joined #ocaml
govg has quit [Ping timeout: 246 seconds]
sveit has joined #ocaml
gtristan has quit [Ping timeout: 268 seconds]
taostein has joined #ocaml
jnavila_ has quit [Ping timeout: 240 seconds]
Ayey_ has joined #ocaml
Ayey_ has quit [Ping timeout: 256 seconds]
freusque has quit [Quit: WeeChat 1.7]
alexelcu has quit [Quit: Leaving.]
unbalancedparen has quit [Ping timeout: 240 seconds]
tane has quit [Quit: Leaving]
infinity0 has quit [Remote host closed the connection]
Ayey_ has joined #ocaml
infinity0 has joined #ocaml
Ayey_ has quit [Ping timeout: 240 seconds]
copy` has joined #ocaml
unbalancedparen has joined #ocaml
ygrek has quit [Ping timeout: 258 seconds]
zpe has quit [Remote host closed the connection]
Algebr has joined #ocaml
cross has joined #ocaml
frefity has quit [Ping timeout: 246 seconds]
unbalancedparen has quit [Quit: WeeChat 1.7]
marsam has quit [Read error: Connection reset by peer]
Ayey_ has joined #ocaml
mrgrieves has quit [Quit: Lost terminal]
marsam has joined #ocaml
jao has joined #ocaml
Ayey_ has quit [Ping timeout: 246 seconds]
BitPuffin has joined #ocaml
AlexDenisov has quit [Read error: Connection reset by peer]
AlexDenisov has joined #ocaml
Serpent7776 has quit [Quit: Leaving]
frefity has joined #ocaml
spew has quit [Ping timeout: 258 seconds]
camelxcore has quit [Ping timeout: 258 seconds]
Simn has quit [Ping timeout: 256 seconds]
Pepe__ is now known as Pepe_
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
AlexDenisov has joined #ocaml
AlexDenisov has quit [Client Quit]
spew has joined #ocaml
mengu has quit [Remote host closed the connection]
shinnya has quit [Ping timeout: 258 seconds]
spew has quit [Client Quit]
Ayey_ has joined #ocaml
camelxcore has joined #ocaml
Ayey_ has quit [Ping timeout: 268 seconds]
<nicoo>
lucasem: You are welcome
frefity has quit [Ping timeout: 260 seconds]
BitPuffin has quit [Read error: Connection reset by peer]
camelxcore has quit [Ping timeout: 260 seconds]
BitPuffin has joined #ocaml
Anarchos has joined #ocaml
mengu has joined #ocaml
jabroney has left #ocaml [#ocaml]
frefity has joined #ocaml
kassens has joined #ocaml
spew has joined #ocaml
Ayey_ has joined #ocaml
Ayey_ has quit [Ping timeout: 240 seconds]
Ayey_ has joined #ocaml
AlexDenisov has joined #ocaml
Ayey_ has quit [Ping timeout: 268 seconds]
spew has quit [Quit: foobar]
Ayey_ has joined #ocaml
Ayey_ has quit [Ping timeout: 240 seconds]
trapz has joined #ocaml
Ayey_ has joined #ocaml
Ayey_ has quit [Ping timeout: 256 seconds]
Simn has joined #ocaml
marsam has quit [Remote host closed the connection]
<lapinot>
\/!\ this is an absolutely serious question: now that i have quite some ocaml experience and that i discovered haskell, i wonder what the arguments in favour of ocaml are.. What stuff does ocaml get better?
<lapinot>
for now i can think of the module/functor system but for me functors and type-classes are just 2 different ways to do the same kind of thing
<Drup>
lapinot: I guess it depends on your sensibility
<Drup>
I find OCaml a lot more productive
<lapinot>
Drup: in what way? you mean that you get things done faster?
<Drup>
Yes, lazyness by default make thinking about the semantics/perf profile of your program much harder, and I dislike side-effects-by-monads quite intensely.
<companion_cube>
for pure algorithmic with decent performance, OCaml lies in a sweet spot for me: predictible performances, expressive enough for writing most algos concisely
<Drup>
(also, the more I work on various things, the more I like module systems that allow you to enforce and manipulate abstraction boundaries)
<lapinot>
indeed, i had forgotten about lazyness
<lapinot>
Drup: actually you can include (or not) what you want in a haskell module if i'm right
<Drup>
Abstraction boundaries allow you to enforce so many properties nicely, and separate subsystems, it's incredibly useful. I lack that in all non-ML languages
<Drup>
lapinot: abstraction in haskell is quite flawed
<Drup>
(typeclasses are inherently non modular)
<Drup>
(I'm talking about datatype abstraction here, not functional abstraction)
<lapinot>
indeed, indeed.. why are typeclasses not modular? in the rare cases where you have different instances for the same class on a type you can specify of which one you're talking i think
<Drup>
look up orphan instances :p
<Drup>
sure, you can annotate everything .. that doesn't mean it's nice
<lapinot>
oh indeed, i read up on that topic about rust
<Drup>
in general, the design implies a single gigantic namespace that contains all the typeclasses in the universe
<Drup>
which is fundamentally a non-modular thing
<Drup>
(modular implicits are much better in that regard)
<lapinot>
but isn't using modules (and that profusion of somewhat boilerplate Make(SomeThing)) just a big annotation of what instance we are using?
<Drup>
that's a different problem. You are talking about encoding type classes in functors
camelxcore has quit [Ping timeout: 246 seconds]
<Drup>
For some things, functors are better, for other it's worse. depends of the granularity of your problem
<companion_cube>
(see, e.g., ocamlgraph)
troydm has joined #ocaml
<Drup>
There are very few (real) OCaml programs that contains a significant amount of functors instanciation compared to the amount of non-functor code
<Drup>
(the same can certainly not be said about typeclass type annotations :p)
<lapinot>
the common use of functors is that right? I have myself mostly defined functors that contain some types and primitives specific to that types to abstract a bigger construction (for example a container), this is the typical usecase of a typeclass
<Drup>
(the type-class is useful too, that's why people want modular implicits :p)
<lapinot>
companion_cube: gonna take a look
<Drup>
typeclass style*
<lapinot>
wow, the paper on modular implicits is sexy
<lapinot>
what are we waiting for? :)
<Drup>
it's not easy to implement
<lapinot>
i guess the hard part is the "implicit search space"
camelxcore has joined #ocaml
nomicflux has joined #ocaml
marsam has quit [Remote host closed the connection]