adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | Current MOOC: https://huit.re/ocamlmooc | OCaml 4.04.0 release notes: http://ocaml.org/releases/4.04.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
eh_eff has quit [Quit: WeeChat 1.3]
<taosx> I forgot about merlin, I installed in my editor.
tautologico has quit [Quit: Connection closed for inactivity]
nomicflux has joined #ocaml
taostein has quit [Quit: taostein]
demonimin has quit [Ping timeout: 264 seconds]
demonimin has joined #ocaml
demonimin has joined #ocaml
nomicflux has quit [Quit: nomicflux]
freechips has quit [Ping timeout: 264 seconds]
richi235 has quit [Ping timeout: 240 seconds]
<infinity0> does anyone want €15-30k (probably more towards the latter) for a side-project over 6 months. i know it's not a lot, it's govt/public funding, but if so you can pm me
ryanartecona has joined #ocaml
ryanartecona has quit [Remote host closed the connection]
ryanartecona has joined #ocaml
octachron has quit [Quit: Leaving]
jabroney has left #ocaml [#ocaml]
freechips has joined #ocaml
<taosx> @infinity0 what would be some basic requirements?
<taosx> infinity0: what would be some basic requirements?
<infinity0> the most basic one being that you're comfortable figuring out stuff by yourself
<infinity0> and can read code and properly understand it precisely, rather than in a very vague way which is not real understanding
<taosx> I think I check the first requirement, not so sure about the second.
tmtwd has joined #ocaml
nomicflux has joined #ocaml
mfp has quit [Ping timeout: 240 seconds]
silver has quit [Read error: Connection reset by peer]
tmtwd has quit [Remote host closed the connection]
infinity0 has quit [Ping timeout: 240 seconds]
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
alienbot has quit [Remote host closed the connection]
ryanartecona has quit [Quit: ryanartecona]
nomicflux has quit [Quit: nomicflux]
copy` has quit [Quit: Connection closed for inactivity]
infinity0 has joined #ocaml
groovy3shoes has quit [Ping timeout: 256 seconds]
groovy3shoes has joined #ocaml
jao has quit [Ping timeout: 256 seconds]
nicootje has quit [Ping timeout: 260 seconds]
nicootje has joined #ocaml
BitPuffin|osx has quit [Ping timeout: 260 seconds]
mengu has quit [Remote host closed the connection]
MercurialAlchemi has joined #ocaml
manizzle has quit [Ping timeout: 260 seconds]
manizzle has joined #ocaml
zv has quit [Read error: Connection reset by peer]
fluter has quit [Ping timeout: 240 seconds]
fluter has joined #ocaml
sfri has quit [Ping timeout: 240 seconds]
manizzle has quit [Ping timeout: 240 seconds]
Simn has joined #ocaml
sfri has joined #ocaml
kakadu has joined #ocaml
slash^ has joined #ocaml
slash^ has quit [Remote host closed the connection]
slash^ has joined #ocaml
orbifx has joined #ocaml
AlexDenisov has joined #ocaml
AlexDeni_ has joined #ocaml
AlexDenisov has quit [Ping timeout: 264 seconds]
argent_smith has joined #ocaml
AltGr has joined #ocaml
orbifx has quit [Ping timeout: 240 seconds]
fraggle_ has quit [Read error: Connection reset by peer]
fraggle_ has joined #ocaml
ygrek has joined #ocaml
richi235 has joined #ocaml
rand__ has joined #ocaml
kakadu has quit [Remote host closed the connection]
Algebr has quit [Ping timeout: 240 seconds]
mfp has joined #ocaml
slash^ has quit [Remote host closed the connection]
slash^ has joined #ocaml
silver has joined #ocaml
_whitelogger has joined #ocaml
<cranmax> Hi, I'm trying to install re2 in CentOS 7 via opam, my opam switch is 4.04.0 , but it promtps an error:
<cranmax> I do the opam depext correctly, but I can't install the package re2. So I may install ocaml via centos or there is a solution via opam like downgrading ocaml to a previous version?
richi235 has quit [Ping timeout: 256 seconds]
trapz has joined #ocaml
manizzle has joined #ocaml
trapz has quit [Quit: trapz]
cdidd has joined #ocaml
BitPuffin|osx has joined #ocaml
shinnya has quit [Ping timeout: 240 seconds]
ygrek has quit [Ping timeout: 260 seconds]
tautologico has joined #ocaml
AlexDeni_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
trapz has joined #ocaml
ansiwen has quit [Ping timeout: 240 seconds]
rand__ has quit [Quit: leaving]
ansiwen has joined #ocaml
Algebr has joined #ocaml
taostein has joined #ocaml
spew has joined #ocaml
nomicflux has joined #ocaml
freechips has quit [Ping timeout: 256 seconds]
trapz has quit [Quit: trapz]
richi235 has joined #ocaml
nomicflux has quit [Quit: nomicflux]
AlexDenisov has joined #ocaml
jabroney has joined #ocaml
freechips has joined #ocaml
copy` has joined #ocaml
nomicflux has joined #ocaml
richi235 has quit [Ping timeout: 260 seconds]
<Leonidas> cranmax: which package does it try to install?
richi235 has joined #ocaml
jabroney has quit [Quit: Leaving.]
<cranmax> Leonidas: I want to install in ocaml 4.04 via opam: async_graphics, core_bench, core_extended and re2 that is required by core_extended
<Leonidas> cranmax: no, I mean which dependencies does it want to install through yum/dnf?
oriba has joined #ocaml
robertc has joined #ocaml
<cranmax> Leonidas: I think it depends on m4 but I have installed it; maybe its gcc via yum that is not installed although actually it does'nt prompt any dependencies. So i will try to install gcc in centos later and post what happens
<Leonidas> cranmax: do you have g++?
taostein has quit [Quit: taostein]
sheijk_ has quit [Quit: leaving]
sheijk has joined #ocaml
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
gtrak has joined #ocaml
tane has joined #ocaml
gtrak has quit [Quit: This computer has gone to sleep]
nomicflux has quit [Quit: nomicflux]
BitPuffin|osx has quit [Ping timeout: 240 seconds]
freechips has quit [Ping timeout: 256 seconds]
Mercuria1Alchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 240 seconds]
<cranmax> Leonidas: I have installed g++ doing sudo yum install gcc-c++ and I have installed core_bench, core_extended and re2 but async_graphics 0.5.1 prompts an error saying that failed at "./install.sh"
<Leonidas> cranmax: re2 has nothing to do with async or async_graphics, why are you building that?
<cranmax> Leonidas: Because it was a dependencie of core_extended
<Leonidas> cranmax: re2 only needs core_kernel
<Leonidas> or does something else pull that in? :(
<cranmax> Leonidas: I don't know what you want to say me... Now I want to install async_graphics via opam
<Leonidas> cranmax: I though you tried to install re?
<Leonidas> 13:34 < cranmax> Hi, I'm trying to install re2 in CentOS 7 via opam
AlexDenisov has joined #ocaml
AlexDeni_ has joined #ocaml
AlexDenisov has quit [Read error: Connection reset by peer]
AltGr has left #ocaml [#ocaml]
trapz has joined #ocaml
ncthom91 has joined #ocaml
mrvn has quit [Remote host closed the connection]
argent_smith has quit [Ping timeout: 240 seconds]
argent_smith has joined #ocaml
trapz has quit [Quit: trapz]
freechips has joined #ocaml
MercurialAlchemi has joined #ocaml
<cranmax> Leonidas: yes I have installed it
<Leonidas> nice, glad we could solve your problem :)
freechips has quit [Ping timeout: 260 seconds]
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
mrvn has joined #ocaml
Mercuria1Alchemi has quit [Ping timeout: 240 seconds]
slash^ has quit [Read error: Connection reset by peer]
zv has joined #ocaml
spew has quit [Quit: foobar]
zv has quit [Quit: WeeChat 1.6]
Algebr has quit [Ping timeout: 268 seconds]
Xadnem has joined #ocaml
vbmithr has joined #ocaml
vbmithr has quit [Client Quit]
spew has joined #ocaml
Algebr has joined #ocaml
ncthom91 has joined #ocaml
whirm has joined #ocaml
kakadu has joined #ocaml
<whirm> Hi everyone, I'm attempting to write a small utility to learn Ocaml and I got stuck trying to add a new dependency to my project. I've created a new project with carcass and written some ocaml code that reads a file from disk and writes it back. Now I want to parse some json with jsonm. The package is installed via opam, but I can't figure out how to add the dependency so the compiler finds it when running "topkg build".
ygrek has joined #ocaml
<Drup> whirm: that's not covered in topkg's documentation ?
cranmax has quit [Quit: Connection closed for inactivity]
MercurialAlchemi has quit [Ping timeout: 240 seconds]
_whitelogger has joined #ocaml
<whirm> Drup: If it is I could not find it
<Drup> I'm not sure how topkg does things, but as far as *building* is concerned, it's ocamlbuild's job, so you just add `true: package(foo)` is your `_tags` file.
<whirm> This seems to have worked. Thanks!
asdf1234 has quit [Quit: Page closed]
govg has quit [Quit: leaving]
<whirm> Are there any plans towards having a more cohesive toolkit for Ocaml? a la "cargo" for rust or "go" for golang? I've tried to start some small project in Ocaml several times and I always end up frustrated or running out of time because of issues with the tooling around the language and so much non programming language related that one needs to learn/setup/figure out before being able to compile anything more complicated than a "hello
<whirm> world"
<tane> whirm, have a look at oasis
mengu has joined #ocaml
jbrown has quit [Ping timeout: 240 seconds]
<whirm> tane: I tried oasis before and I ran into other issues (can't remember exactly what as it was a few months ago already)
<tane> oasis + opam works fine, at least for me
<abeaumont> topkg + opam also works fine
<whirm> but things like having to figure out that you need to add the same dependency to _tags, opam and .merlin is suboptimal at best...
<whirm> hey abeaumont! :)
<reynir> o/ abeaumont
<abeaumont> hey whirm, ltns :)
<abeaumont> hey reynir !
jbrown has joined #ocaml
<abeaumont> whirm: yes, it's probably not as easy as using cargo/go but the gap is becoming smaller
ncthom91 has quit [Quit: Textual IRC Client: www.textualapp.com]
<whirm> Thanks again guys! I'm calling it a day. I'll continue tomorrow
whirm has quit [Ping timeout: 256 seconds]
argent_smith has quit [Quit: Leaving.]
jack5638 has joined #ocaml
Algebr has quit [Ping timeout: 240 seconds]
vmonteco has joined #ocaml
<vmonteco> Hello ! I don't get the error I'm getting while trying to make a recursive table type and init function >>> https://dpaste.de/KnxP <<< . Could someone help me to understand this please? :)
ncthom91 has joined #ocaml
oriba has quit [Quit: WeeChat 1.7]
kakadu has quit [Remote host closed the connection]
<vmonteco> Nevermind! I got it. :) I forgot the type name defined with injections.
<vmonteco> By the way, with type t = Foo of int | Bar of string, what are Foo and Bar?
<vmonteco> How should I call it?
<Drup> vmonteco: constructors
<vmonteco> Drup: Foo and Bar are constructors? Is it the same thing that a type?
struk|desk has joined #ocaml
Simn has quit [Quit: Leaving]
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Xadnem has quit [Ping timeout: 256 seconds]
richi235 has quit [Ping timeout: 240 seconds]
AlexDeni_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Algebr has joined #ocaml
nomicflux has joined #ocaml
trapz has joined #ocaml
ryanartecona has joined #ocaml
<lapinot> hi, suppose i have a classical HOAS representation using GADTs, i also have an 'a tp type encoding the types of terms (TInt : int tp, TFun : 'a tp * 'b tp -> ('a -> 'b) tp, ...). Is it possible to write a function get_type : 'a expr -> 'a tp? I tried that one hard but i can't see any way to tackle it
<lapinot> maybe using a fancy construct around type ('a, 'b) eq = Refl : ('a, 'a) eq but i can't see it
Algebr has quit [Ping timeout: 240 seconds]
<lapinot> vmonteco: constructors are used in "sum" (aka "union") types, you can think of it as the counterpart to tuples which are product types. constructor are used to distinguish in which case of the union we are in (t is either an int, we will call that Foo or a string which we will mark as Bar)
tane has quit [Quit: Leaving]
<lyxia> it seems tricky indeed because in the case of a Lambda of ('a expr -> 'b expr) you somehow need to pass a 'a expr
<lyxia> but this type isn't necessarily inhabited
<lapinot> yeah, the path of doing some kind of dummy evaluation seems blocked by the fact that i would need to generate a dummy expr for any type
<lapinot> also the weird part is that an expr can have a polymorphic type, something that i don't have now in `tp` .. i could add TAny : 'a tp but this solution is a bit weird because for example the identity has not type TFun (TAny, TAny) as this would encode (forall a. a -> forall b. b)
<Drup> lapinot: are your functions represented by OCaml functions ?
<lapinot> Drup: sadly yes, no destruction is possible
<Drup> that's the issue :)
<Drup> If you get rid of that, you should have no issues
trapz has quit [Quit: trapz]
copy` has quit [Quit: Connection closed for inactivity]
<lapinot> maybe sidestepping a bit that question, is there a classical way to represent polymorphism to my `tp` type?
<lapinot> s/to/in/
<Drup> depends what you want to do with your polymorphism
<lapinot> for example being able to express any type of the form `forall 'a. <some type using 'a and base types>`
<Drup> In the case of your implementation, as far as I can see, polymorphism is actually completely implemented by OCaml
<Drup> your language doesn't know about it
<Drup> so, in a way, polymorphism doesn't exist in the language
<Drup> if you start really wanting polymorphism implemented in the language *and* reflected by the type index, it's going to get a bit tricky (polymorphism is not first class in OCaml)
<lapinot> are you referring to the fact that we can't have some "forall" anywhere in a type?