companion_cube changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 4.14.0 released: https://ocaml.org/releases/4.14.0.html | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
spip has joined #ocaml
bobo_ has quit [Ping timeout: 268 seconds]
williewillus_ has joined #ocaml
rgrinberg has joined #ocaml
waleee has quit [Ping timeout: 240 seconds]
genpaku has quit [Read error: Connection reset by peer]
genpaku has joined #ocaml
John_Ivan has quit [Ping timeout: 252 seconds]
chrisz has quit [Ping timeout: 255 seconds]
chrisz has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Sankalp- has joined #ocaml
Sankalp has quit [Ping timeout: 268 seconds]
Sankalp- is now known as Sankalp
rgrinberg has joined #ocaml
<d_bot> <namra> John_Ivan quite a few libraries that define applicative functors (basically a set of common operations) introduce their own operators/syntax to make the code shorter/easier to read. Meaning that you can have multiple libraries that each have their own operator/syntax for exactly the same thing (i.e. bind, map, return). Which in my opinion can make ocaml a bit hard to read (sometimes) without knowledge of a particular library or an
trev has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
mbuf has joined #ocaml
Serpent7776 has quit [Quit: leaving]
williewillus_ has quit [Quit: Leaving]
lisq has quit [Remote host closed the connection]
olle has joined #ocaml
Serpent7776 has joined #ocaml
olle has quit [Ping timeout: 252 seconds]
lisq has joined #ocaml
Tuplanolla has joined #ocaml
Haudegen has joined #ocaml
zebrag has quit [Quit: Konversation terminated!]
quernd has quit [Quit: Ping timeout (120 seconds)]
asm_ has joined #ocaml
quernd0 has joined #ocaml
asm has quit [Ping timeout: 276 seconds]
olle has joined #ocaml
quernd0 is now known as quernd
adanwan has quit [Quit: _]
adanwan has joined #ocaml
orbifx2 has joined #ocaml
orbifx2 is now known as orbifx
adanwan_ has joined #ocaml
adanwan has quit [Ping timeout: 268 seconds]
mbuf has quit [Ping timeout: 268 seconds]
mbuf has joined #ocaml
wingsorc has quit [Quit: Leaving]
mbuf has quit [Remote host closed the connection]
mbuf has joined #ocaml
adanwan_ has quit [Ping timeout: 268 seconds]
jpds has quit [Ping timeout: 268 seconds]
azimut_ has quit [Ping timeout: 268 seconds]
Serpent7776 has quit [Read error: Connection reset by peer]
jpds has joined #ocaml
Serpent7776 has joined #ocaml
azimut has joined #ocaml
omegatron has joined #ocaml
bobo_ has joined #ocaml
spip has quit [Ping timeout: 268 seconds]
jpds has quit [Remote host closed the connection]
azimut has quit [Remote host closed the connection]
gdd1 has quit [Ping timeout: 276 seconds]
azimut has joined #ocaml
adanwan has joined #ocaml
Serpent7776 has quit [Ping timeout: 245 seconds]
jpds has joined #ocaml
jpds has quit [Remote host closed the connection]
jpds has joined #ocaml
gdd1 has joined #ocaml
jpds has quit [Remote host closed the connection]
jpds has joined #ocaml
Serpent7776 has joined #ocaml
jpds has quit [Remote host closed the connection]
jpds has joined #ocaml
waleee has joined #ocaml
orbifx has quit [Remote host closed the connection]
bartholin has joined #ocaml
spip has joined #ocaml
bobo_ has quit [Ping timeout: 268 seconds]
John_Ivan has joined #ocaml
adanwan has quit [Remote host closed the connection]
adanwan has joined #ocaml
gwizon has joined #ocaml
<d_bot> <Basil> what are the modern options nowadays for experimenting with minimalistic graphics rendering (put pixel on screen). My cursory searches got me to these as the options:
<d_bot> <Basil> but I would like to hear further opinions, esp if I want a 'canvas-like' rendering to a web browser envrionment
<d_bot> <Basil> it seems this is the recommended standard maybe? https://github.com/dbuenzli/tgls
dnh has joined #ocaml
orbifx has joined #ocaml
waleee has quit [Ping timeout: 240 seconds]
chrisz has quit [Ping timeout: 272 seconds]
chrisz has joined #ocaml
xgqt has quit [Ping timeout: 252 seconds]
xgqt has joined #ocaml
asm_ is now known as asm
asm has quit [Changing host]
asm has joined #ocaml
azimut has quit [Ping timeout: 268 seconds]
trev has quit [Remote host closed the connection]
jpds has quit [Ping timeout: 268 seconds]
rgrinberg has joined #ocaml
jpds has joined #ocaml
jpds has quit [Remote host closed the connection]
jpds has joined #ocaml
olle has quit [Quit: Lost terminal]
Serpent7776 has quit [Quit: WeeChat 1.9.1]
mbuf has quit [Quit: Leaving]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
zebrag has joined #ocaml
szkl has quit [Quit: Connection closed for inactivity]
rgrinberg has joined #ocaml
bartholin has quit [Quit: Leaving]
zebrag has quit [Ping timeout: 245 seconds]
zebrag has joined #ocaml
dnh has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
dnh has joined #ocaml
gwizon has quit [Ping timeout: 245 seconds]
gwizon has joined #ocaml
gwizon has quit [Ping timeout: 244 seconds]
dnh has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
dnh has joined #ocaml
gwizon has joined #ocaml
gwizon has quit [Ping timeout: 268 seconds]
gwizon has joined #ocaml
olle has joined #ocaml
gwizon has quit [Ping timeout: 268 seconds]
waleee has joined #ocaml
amk has quit [Remote host closed the connection]
amk has joined #ocaml
yilin has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
bacam has quit [*.net *.split]
bacam has joined #ocaml
yilin has quit [Ping timeout: 245 seconds]
_whitelogger has joined #ocaml
orbifx has quit [Quit: WeeChat 3.4]
dnh has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
dnh has joined #ocaml
<companion_cube> That's a good one, along with tsdl perhaps if you want SDL for inputs
<companion_cube> Not sure about web canvas though
<d_bot> <hockletock> I was looking for something similar and found raylib/raygui
<d_bot> <hockletock> I haven't tried them yet
<d_bot> <hockletock> and Plplot from Owl might be sufficient for your purpose? https://www.cl.cam.ac.uk/~lw525/owl/chapter/plot.html
yilin has joined #ocaml
rgrinberg has joined #ocaml
wingsorc__ has joined #ocaml
yilin has quit [Client Quit]
jpds has quit [Remote host closed the connection]
jpds has joined #ocaml
jpds has quit [Remote host closed the connection]
jpds has joined #ocaml
omegatron has quit [Quit: Power is a curious thing. It can be contained, hidden, locked away,and yet it always breaks free.]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
thymage32 has joined #ocaml
<thymage32> I have a derived interface, fields
<thymage32> And I have a .mli
<thymage32> The mli is blocking the derived interface from being usable
<thymage32> I need to include it in the mli
<thymage32> But I don't want to manually replicate it.
<thymage32> How do I do that?
<companion_cube> Generally it's either copying or using the _intf trick
<thymage32> copying?
<thymage32> What is the _intf trick?
<thymage32> companion_cube ^
<companion_cube> Sorry, I'm on a phone ^^'
<companion_cube> Look it up but basically you write a third file, Foo_intf.ml, to declare all the types, and use it from foo.ml and foo
<companion_cube> Foo.mli
<thymage32> Is there any way I can just include it from the ML file that it comes from
<thymage32> Like I have a.ml, and I am writing a.mli
<thymage32> I would like to do module X = A.X in my a.mli
<companion_cube> No, there is not
azimut has joined #ocaml
dnh has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Anarchos has joined #ocaml
azimut has quit [Remote host closed the connection]
azimut has joined #ocaml
rgrinberg has joined #ocaml
dnh has joined #ocaml
<John_Ivan> I don't mean to cause a war by saying this, but I'd like to express a question mark as an opinion to the ocaml language.
<John_Ivan> isn't the syntax and overall structure of the language **hard to read** and **recognize** ?
<John_Ivan> globals for example aren't all in caps. so it takes me a fraction of a second to distinguish what is just a sequential script variable or a global variable.
<John_Ivan> and functions looking very similar to an existing variable.....
<John_Ivan> what are ocaml coder's opinion of this?
dnh has quit [Client Quit]
<John_Ivan> \thought
<John_Ivan> s
<John_Ivan> also spaces for arguments in a function call... extremely hard to read.
<olle> John_Ivan: You get used to it, just a question of habit
<olle> Personally, I always write down the argument types explicitly for all funtions
<olle> It helps my reading
<d_bot> <struktured> Naturally speaking, first class functions shouldn't look different than any other binding, right?
<John_Ivan> alright, thanks
<d_bot> <NULL> Spaces for application is the biggest difference to wrap one's head around, but once you do it's fine
<d_bot> <NULL> Functions looking like variables is a bit intended since functions are just like any other variable
<d_bot> <NULL> What's your use of globals ? I don't really use them in OCaml and, if I do, they are defined in another file so a `Global` module makes it quite explicit
dnh has joined #ocaml
<olle> It's a tradition from lambda calc
<olle> \x.x x
<dh`> putting all your globals in a single file called "globals" is so 1982
<d_bot> <NULL> What's the modern way of doing ?
<olle> YAML?
<dh`> variables (whether or not they're mutable, whether or not they're global) should be grouped with the logic they belong to
adanwan has quit [Remote host closed the connection]
adanwan has joined #ocaml
<d_bot> <NULL> In my case, those globals were used everywhere
azimut has quit [Ping timeout: 268 seconds]
azimut has joined #ocaml
olle has quit [Ping timeout: 240 seconds]
adanwan has quit [Ping timeout: 268 seconds]
dextaa has quit [Read error: Connection reset by peer]
dnh has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
dextaa has joined #ocaml
adanwan has joined #ocaml
<Anarchos> what is a good xml library in ocaml ? i just discover that coq uses XML as a communication protocol between the IDE and the proof server.
Haudegen has quit [Ping timeout: 245 seconds]
azimut_ has joined #ocaml
azimut has quit [Ping timeout: 268 seconds]
Anarchos has quit [Quit: Vision[]: i've been blurred!]
Tuplanolla has quit [Quit: Leaving.]
adanwan has quit [Remote host closed the connection]
adanwan has joined #ocaml