ril has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
paddymahoney has joined #ocaml
ril has joined #ocaml
ncthom91 has joined #ocaml
TBads has quit [Quit: WeeChat 1.3]
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 244 seconds]
paddymahoney has quit [Ping timeout: 250 seconds]
systmkor has joined #ocaml
ollehar1 has joined #ocaml
ollehar has quit [Ping timeout: 240 seconds]
ollehar1 is now known as ollehar
python476 has joined #ocaml
obadz has quit [Ping timeout: 264 seconds]
emaphis has joined #ocaml
rgrinberg has joined #ocaml
obadz has joined #ocaml
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
ril has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
ceryo has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
f[x] has quit [Ping timeout: 260 seconds]
python476 has quit [Ping timeout: 246 seconds]
pierpa has quit [Ping timeout: 244 seconds]
nullcatxxx_ has joined #ocaml
tmtwd has quit [Quit: Leaving]
jeffmo has quit [Quit: jeffmo]
igoroliveira has quit [Quit: Connection closed for inactivity]
ousado has quit [Ping timeout: 252 seconds]
ousado has joined #ocaml
obadz has quit [Ping timeout: 260 seconds]
obadz has joined #ocaml
darkf has joined #ocaml
echo-area has quit [Remote host closed the connection]
echo-area has joined #ocaml
pyon has quit [Quit: Angels fall, all for you, heretic! Demon heart, bleed for us! (My soul is yours, Dark Master. I will fight for you.)]
mac10688 has quit [Ping timeout: 260 seconds]
pyon has joined #ocaml
moei has quit [Quit: Leaving...]
native_killer has joined #ocaml
native_killer has quit [Max SendQ exceeded]
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 250 seconds]
python476 has joined #ocaml
jimt has quit [Quit: leaving]
AltGr has joined #ocaml
FreeBirdLjj has quit [Read error: Connection timed out]
ril has joined #ocaml
shinnya has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
MercurialAlchemi has joined #ocaml
jimt_ has joined #ocaml
jimt_ is now known as jimt
AlexRussia has quit [Ping timeout: 272 seconds]
moei has joined #ocaml
jonludlam has joined #ocaml
freehck has joined #ocaml
jonludlam has quit [Ping timeout: 250 seconds]
ril has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
zpe has joined #ocaml
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
octachron has joined #ocaml
rgrinberg has quit [Ping timeout: 240 seconds]
Reventlov has quit [Remote host closed the connection]
Reventlov has joined #ocaml
Haudegen has quit [Ping timeout: 265 seconds]
ely-se has joined #ocaml
Haudegen has joined #ocaml
Kakadu has joined #ocaml
larhat1 has quit [Quit: Leaving.]
emaphis has quit [Ping timeout: 252 seconds]
rand has joined #ocaml
_andre has joined #ocaml
echo-area has quit [Read error: Connection reset by peer]
jwatzman|work has joined #ocaml
sepp2k has joined #ocaml
adrien_z- is now known as adrien_znc
charpi` has joined #ocaml
charpi has quit [Ping timeout: 260 seconds]
libertas has joined #ocaml
mort___ has joined #ocaml
FreeBird_ has joined #ocaml
libertas has quit [Ping timeout: 260 seconds]
FreeBirdLjj has quit [Ping timeout: 272 seconds]
mort___ has quit [Read error: Connection reset by peer]
libertas has joined #ocaml
FreeBird_ has quit [Ping timeout: 250 seconds]
mort___1 has joined #ocaml
mort___ has joined #ocaml
mort___1 has quit [Ping timeout: 272 seconds]
AltGr has left #ocaml [#ocaml]
mort___ has quit [Quit: Leaving.]
octachron has quit [Ping timeout: 260 seconds]
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 252 seconds]
mort___ has joined #ocaml
rand has quit [Quit: leaving]
Guest58 has joined #ocaml
jimt has quit [Quit: leaving]
RainBowww has joined #ocaml
jimt has joined #ocaml
ceryo has joined #ocaml
bjorkintosh has quit [Quit: Leaving]
bjorkintosh has joined #ocaml
jackweirdy has joined #ocaml
Haudegen has quit [Ping timeout: 252 seconds]
<jackweirdy>
Quick question - I'm moving from a Makefile to Oasis. I previously had to specify -use-menhir in the ocamlbuild cli, and I can't figure out how to do that with Oasis. The only way I've got it to work is by putting "true: use_menhir" in my _tags file, but that gets overwritten by a call to "oasis setup". Is Oasis menhir-aware in the same way ocamlbuild is?
JuggleTux has quit [Ping timeout: 246 seconds]
uggwar_ is now known as uggwar
uggwar has left #ocaml [#ocaml]
uggwar has joined #ocaml
<flux>
jackweirdy, didn't oasis have a way to preserve part of the _tags -file?
<jackweirdy>
Having a Google around for that now, I can't find anything in the docs about it
<flux>
jackweirdy, ie. did you try putting it after or before the OASIS_STOP/OASIS_START?
<jackweirdy>
Oh good shout, I'll try that
<flux>
I think the comment almost literally says that.. ;)
Haudegen has joined #ocaml
<jackweirdy>
I saw DO NOT EDIT and panicked :P
BitPuffin has joined #ocaml
BitPuffin has quit [Remote host closed the connection]
BitPuffin has joined #ocaml
<jackweirdy>
So I added specific stuff to _tags but managed to not commit the Oasis stuff by adding this to my filter.gitignore.clean: sed '/OASIS_START/,/OASIS_STOP/d'
<jackweirdy>
Hopefully that might be useful to someone else some time!
<MercurialAlchemi>
I have to admit that occasionally the JS community gets it right
<Drup>
Oh ?
<MercurialAlchemi>
npm install --save-dev $package installs $package AND saves to your local package.json as a build dependency
<MercurialAlchemi>
that's pretty nice
<flux>
yeah, when does opam get that!
<flux>
mercurialalchemi, masterful way to troll for new opam features ;-)
<MercurialAlchemi>
thanks, been working on one for a while :p
<MercurialAlchemi>
(way of trolling, not feature)
<flux>
it's also sort of nice how npm is able to install dependencies just locally (beneat the project root tree)
<flux>
but I guess that'd be a quite a bit more work to implement
<MercurialAlchemi>
well, I don't care much about that, opam switch for the people
<flux>
I wouldn't maybe care otherwise, but I have this one library that uses old 1.x version of toml because it hasn't bothered to update to the 2.x interface yet
<MercurialAlchemi>
I think the problem for the --save-dev feature for opam is that you'd need it to update your oasis file too
<MercurialAlchemi>
*cough*
* MercurialAlchemi
whistles
<flux>
and basically I need to globally reinstall the appropriate toml version when I change the project
<MercurialAlchemi>
well, as co-maintainer, I'd say the new interface is not really the new black :)
<Drup>
it certainly isn't :]
<MercurialAlchemi>
think I'll publish the version compatible with the latest toml version this weekend before working on a new interface
<MercurialAlchemi>
which will look a lot closer to toml v1
<MercurialAlchemi>
anyway
<MercurialAlchemi>
I don't understand why you need to install anything globally
<flux>
well, if it looked exactly like v1 I wouldn't need to update anything.. :-)
<flux>
mercurialalchemi, globally as in my 'local global' opam installation
<flux>
compareed to locally as in 'for this project'
<MercurialAlchemi>
hmm
<flux>
unless I would have separate opam switch for it or something
<MercurialAlchemi>
I have separate opam switches for all my projects
<MercurialAlchemi>
plus a "tools" switch for merlin/utop
<MercurialAlchemi>
the only thing annoying about it is that you need to use the same compiler, otherwise merlin/utop throw a fit
<Drup>
yeah, that's why I dont' have a tool switch, and instead I use user-setup, which figures out where to fine a merlin that works
<Drup>
(and I also have a "stable" switch with no pin and only stable versions, to answer questions
ceryo has quit [Ping timeout: 244 seconds]
ceryo has joined #ocaml
ceryo has quit [Client Quit]
<companion_cube>
wow, there's a sudden vortex of activity on batteries :)
<Drup>
"vortex" :D
<Kakadu>
Does anybody remember some camlp5 extension which converts expression to plain string?
* MercurialAlchemi
looks at user-setup
<MercurialAlchemi>
looks interesting
<Kakadu>
maybe coq has something like that........
<Drup>
Kakadu: I don't know, but you can do it with ppx_tools.metaquot
<Kakadu>
Drup: I can't use ppx
RainBowww has left #ocaml ["Leaving"]
emaphis has joined #ocaml
igoroliveira has joined #ocaml
jackweirdy has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
jackweirdy has joined #ocaml
mort___ has quit [Quit: Leaving.]
<Kakadu>
okay, I found workaround
octachron has joined #ocaml
contempt has quit [Ping timeout: 272 seconds]
contempt has joined #ocaml
rgrinberg has joined #ocaml
AlexRussia has joined #ocaml
toolslive has joined #ocaml
ceryo has joined #ocaml
BitPuffin has quit [Ping timeout: 246 seconds]
<toolslive>
I have a ppx deriving yojson problem: for 4.02.1 I need to write: type x_4_02_1 = | X [@name "X"] of string [@@deriving yojson] but for 4.02.3 I need to write: type x_4_02_3 = | X of string [@name "X"] [@@ deriving yojson] is there a way to phrase it that works with both compilers?
<octachron>
you could use another preprocessor like cppo
<Drup>
toolslive: just drop 4.02.1
native_killer has joined #ocaml
contempt has quit [Disconnected by services]
contempt has joined #ocaml
<toolslive>
what if dropping 4.02.1 isn't an option for now?
<Drup>
then cppo :/
<toolslive>
that kinda sucks.
<toolslive>
but thx for the suggestion.
<theblatte>
ocaml upgrades deployment kinda sucks
pyon has quit [Quit: dang!]
native_killer has quit [Quit: Leaving]
echo-area has joined #ocaml
Haudegen has quit [Read error: Connection reset by peer]
kushal has joined #ocaml
Haudegen has joined #ocaml
Haudegen has quit [Read error: Connection reset by peer]
Haudegen has joined #ocaml
Haudegen has quit [Write error: Connection reset by peer]
<toolslive>
how do I add cppo to my ocamlbuild toolchain? (any examples?)
<companion_cube>
I think there is an ocamlbuild plugin
<Drup>
companion_cube: there was always a better way, with >=4.01
Haudegen has joined #ocaml
<companion_cube>
yes
<companion_cube>
but I can't use it yet, before you grumble
contempt has quit [Ping timeout: 265 seconds]
sgnb` is now known as sgnb
contempt has joined #ocaml
<toolslive>
thx!
pyon has joined #ocaml
jeffmo has joined #ocaml
Haudegen has quit [Ping timeout: 264 seconds]
cody___ has joined #ocaml
jackweirdy has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
jackweirdy has joined #ocaml
jackweirdy has quit [Client Quit]
mort___ has joined #ocaml
psy_ has joined #ocaml
psy_ has quit [Max SendQ exceeded]
psy_ has joined #ocaml
Haudegen has joined #ocaml
Kakadu has quit [Quit: Page closed]
mort___ has quit [Ping timeout: 250 seconds]
ncthom91 has joined #ocaml
jackweirdy has joined #ocaml
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
NingaLeaf has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 240 seconds]
jackweirdy has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
jackweirdy has joined #ocaml
<python476>
guys, who read Harper's PFPL here ?
<ely-se>
python476: some chapters
<ely-se>
of the preview, not the final book
<python476>
that's what I have under my tab :)
<ely-se>
I read chapters 11, 12, 17, 18, and 28.
contempt has quit [Ping timeout: 264 seconds]
contempt has joined #ocaml
ollehar has quit [Ping timeout: 240 seconds]
arboris has joined #ocaml
jeffmo has quit [Quit: jeffmo]
jackweirdy has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
pacmann has joined #ocaml
Haudegen has quit [Ping timeout: 240 seconds]
arboris has quit [Ping timeout: 265 seconds]
<sgeisenh>
I've read the whole thing! The first edition preview is currently more up to date than the print version.
<python476>
hi back
<python476>
I'm starting reading pfpl
<python476>
I was discussing the possibility of using this kind of thinking early on programming classes
<python476>
on a scale from 0 to 10, how crazy would this be ?
<sgeisenh>
10
zpe has quit [Remote host closed the connection]
<sgeisenh>
you want to be somewhat ignorant while wading through the mud
ncthom91 has joined #ocaml
<GooseYArd>
"we'll begin with electrons..."
<python476>
denotations are so cute
<python476>
I missed them even before I knew them
zpe has joined #ocaml
<sgeisenh>
python476: I have no clue what your background is, but it might be helpful to read through https://www.andrew.cmu.edu/course/15-317/ or something similar before digging in to PFPL
<python476>
thanks sgeisenh , never found that course
MercurialAlchemi has joined #ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
ril has joined #ocaml
zpe has quit [Remote host closed the connection]
contempt has quit [Ping timeout: 255 seconds]
contempt has joined #ocaml
zpe has joined #ocaml
ely-se has quit [Quit: leaving]
Haudegen has joined #ocaml
uggwar has left #ocaml [#ocaml]
zpe has quit [Ping timeout: 272 seconds]
ollehar has joined #ocaml
slash^ has joined #ocaml
jeffmo has joined #ocaml
jackweirdy has joined #ocaml
igoroliveira has quit [Ping timeout: 264 seconds]
octachron has quit [Quit: Leaving]
igoroliveira has joined #ocaml
netrobyatmobile has quit [Quit: Connection closed for inactivity]
Mercuria1Alchemi has joined #ocaml
jackweirdy has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
nullcatxxx_ has joined #ocaml
jackweirdy has joined #ocaml
ril has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
mankyKitty has quit [Ping timeout: 264 seconds]
mankyKitty has joined #ocaml
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
MercurialAlchemi has quit [Ping timeout: 252 seconds]
nullcatxxx_ has joined #ocaml
MercurialAlchemi has joined #ocaml
<ollehar>
a quesiton: when I go from untyped ast to typed ast, somethings are not yet decided.
cody___ has quit [Ping timeout: 246 seconds]
<ollehar>
so I need some typed to be ref, so I can update them along the way.
<ollehar>
I this weird? or inevitable in global type-inference?
<Drup>
it's mostly inevitable for efficiency
<ollehar>
case in point: "struct"-like class in PHP:
<ollehar>
final class Point { public $x; public $y }
<ollehar>
must be used to determine types of x and y.
<ollehar>
Drup: ok
<ollehar>
yes, otherwise I would have to traverse more than once.
<ollehar>
but when I come to code gen, if not all types are defined, then abort.
<Drup>
if not all type are defined, your inference algorithm is wrong
ril has joined #ocaml
Haudegen has quit [Ping timeout: 272 seconds]
<ollehar>
Drup: or code might be missing?
<ollehar>
if the Point class is never used, the algorithm can't know.
<ollehar>
or partially used.
<ollehar>
but then the type doesn't matter either.
<Drup>
Ah, well, that's what weak polymorphism is for
<ollehar>
I will google that ^^
<Drup>
it's '_a type variables
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
nullcatxxx_ has joined #ocaml
zpe has joined #ocaml
<ollehar>
Drup: decided at runtime?
ril is now known as ril[away]
<def`>
ollehar: type don't exist at runtime
<def`>
decided at next use
<ollehar>
def`: ah
ril[away] is now known as ril
nullcatxxx_ has quit [Ping timeout: 240 seconds]
Haudegen has joined #ocaml
zpe has quit [Ping timeout: 260 seconds]
<def`>
if other uses are in different modules, you must check they are consistent (or simply reject weak variables escape, as OCaml does)
<def`>
(and if the variable is still weak after linking... your value is not used)
<ollehar>
don't you have to instantiate the type more then once in that case? once for each use.
tristero has joined #ocaml
<ollehar>
if 'a' is weakly typed, 'a' must have a new type for each use.
<ollehar>
hm
<def`>
no
<def`>
it's not "weakly typed", it's a weak type variable
<def`>
or maybe we are not talking about the same thing... what weakly typed even means?
<ollehar>
uh...
<ollehar>
hm
<ollehar>
can't a variable be weakly typed?
<ollehar>
(not type variable, regular variable)
<def`>
if you have a definition for weakly typed, maybe
<def`>
just define your terminology first :)
systmkor has quit [Ping timeout: 272 seconds]
Quintasan has left #ocaml [#ocaml]
Quintasan has joined #ocaml
Quintasan has left #ocaml [#ocaml]
<ollehar>
wait: a weak type variable is a type variable that gets defined at its first use-case?
<def`>
in hindley-milner, if a, a variable, has a polymorphic type, then it is specialized, this use site reveives a fresh instance of its type
<ollehar>
'_a ~~ "to be resolved"
<def`>
yes
<def`>
which is different from 'a
<ollehar>
yes
<ollehar>
because 'a ~~ "any type"
<def`>
'a implies there is a universal quantifier before
<def`>
which cen be instanciated to any type yes
<ollehar>
ok
obadz has left #ocaml ["WeeChat 1.3"]
<ollehar>
and weak polymorphism can easily be implemented by using a ref variable in the typed ast?
<def`>
it could be done this way yes
<ollehar>
then I'm good to go! thanks! :)
toolslive has quit [Ping timeout: 252 seconds]
pyon has quit [Quit: fix config]
^elyse^ has joined #ocaml
NingaLeaf has quit [Read error: Connection reset by peer]
ril has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
pierpa has joined #ocaml
jwatzman|work has quit [Quit: jwatzman|work]
Haudegen has quit [Ping timeout: 244 seconds]
pyon has joined #ocaml
cody___ has joined #ocaml
libertas has quit [Quit: Lost terminal]
shinnya has joined #ocaml
f[x] has joined #ocaml
Haudegen has joined #ocaml
emaphis has quit [Remote host closed the connection]
emaphis has joined #ocaml
toolslive has joined #ocaml
Anarchos has joined #ocaml
Anarchos has quit [Client Quit]
mv has joined #ocaml
Anarchos has joined #ocaml
ollehar has quit [Quit: ollehar]
Guest38 has joined #ocaml
ril has joined #ocaml
Anarchos has quit [Read error: No route to host]
Anarchos has joined #ocaml
Anarchos has quit [Read error: Connection reset by peer]
Kakadu has joined #ocaml
Anarchos1 has joined #ocaml
toolslive has quit [Ping timeout: 252 seconds]
Anarchos1 has quit [Ping timeout: 260 seconds]
coody has joined #ocaml
darkf has quit [Quit: Leaving]
Anarchos has joined #ocaml
cody___ has quit [Quit: Page closed]
_andre has quit [Quit: leaving]
^elyse^ has quit [Quit: Leaving]
shinnya has quit [Ping timeout: 260 seconds]
freehck has quit [Remote host closed the connection]
ril is now known as ril[away]
ril[away] is now known as ril
kushal has quit [Ping timeout: 250 seconds]
ewanas has joined #ocaml
ewanas has quit [Changing host]
ewanas has joined #ocaml
ewanas has quit [Quit: leaving]
ril is now known as ril[away]
ril[away] has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
slash^ has quit [Read error: Connection reset by peer]
kushal has joined #ocaml
kdas_ has joined #ocaml
kushal has quit [Ping timeout: 260 seconds]
kdas_ has quit [Read error: Connection reset by peer]
kushal has joined #ocaml
pierpa has quit [Read error: Connection reset by peer]
pierpa has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
rgrinberg has quit [Ping timeout: 240 seconds]
^elyse^ has joined #ocaml
rgrinberg has joined #ocaml
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rgrinberg has quit [Ping timeout: 250 seconds]
^elyse^ has quit [Quit: Leaving]
^elyse^ has joined #ocaml
kushal has quit [Ping timeout: 265 seconds]
Anarchos has joined #ocaml
ollehar has joined #ocaml
f[x] has quit [Ping timeout: 250 seconds]
mort___ has joined #ocaml
jgjl has joined #ocaml
jgjl has quit [Client Quit]
jgjl has joined #ocaml
Guest58 has quit [Ping timeout: 252 seconds]
swgillespie has joined #ocaml
<edwin>
would it make sense to try and translate this to OCaml? http://okmij.org/ftp/Computation/free-monad.html . Or with the upcoming algebraic effects writing/using monads won't be needed that often anymore?
mac10688 has joined #ocaml
mort___ has quit [Ping timeout: 244 seconds]
^elyse^ has quit [Quit: Leaving...]
f[x] has joined #ocaml
rgrinberg has joined #ocaml
ceryo has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
libertas has joined #ocaml
Anarchos has quit [Quit: da gousket]
jeffmo has quit [Quit: jeffmo]
pacmann has quit [Remote host closed the connection]
hath has joined #ocaml
shinnya has joined #ocaml
jgjl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
<hath>
Could anyone help me figure out how to correctly set up my _oasis file and directory structure? https://gist.github.com/hath995/3229d5bdae23cea8c76b I'm new to ocaml. I took a shot at it but it is throwing Error: Unbound module.