companion_cube changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 4.12 released: https://ocaml.org/releases/4.12.0.html | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/
wagle has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
wagle has joined #ocaml
Guest9910 has joined #ocaml
<d_bot> <cdisselkoen> I'm still getting an error `The package "threads.posix" can't be found.` I made sure that `lib/ocaml/threads/threads.cma` was available, and `lib/threads/META` has a `posix` entry which points to it. Is there a dynamic dependency on the standard library even when compiling with `dune` in `native` mode? If so, how do I install the minimum required to run `native` executables?
<d_bot> <cdisselkoen> (note that this happens even when I have no explicit dependency on `threads` or `threads.posix` in my app)
mikess has left #ocaml [#ocaml]
berberman has quit [Quit: ZNC 1.8.2 - https://znc.in]
berberman has joined #ocaml
waleee has quit [Ping timeout: 250 seconds]
elf_fortrez has joined #ocaml
minwuekim has quit [Ping timeout: 245 seconds]
elf_fortrez has quit [Ping timeout: 246 seconds]
Guest43 has joined #ocaml
Guest43 has quit [Client Quit]
minwuekim has joined #ocaml
<d_bot> <thangngoc89> Thank you for building c-cube for building https://github.com/c-cube/spelll . I’m building a dictionary lookup service and planning on building a radix trie + longest common prefix search but fuzzy search is more preferable
<companion_cube> cool!
<companion_cube> haven't touched that in a while but hopefully you find it useful
minwuekim has quit [Ping timeout: 245 seconds]
minwuekim has joined #ocaml
minwuekim has quit [Ping timeout: 245 seconds]
minwuekim has joined #ocaml
minwuekim has quit [Ping timeout: 245 seconds]
minwuekim has joined #ocaml
minwuekim has quit [Ping timeout: 245 seconds]
mbuf has joined #ocaml
minwuekim has joined #ocaml
minwuekim has quit [Ping timeout: 245 seconds]
minwuekim has joined #ocaml
minwuekim has quit [Ping timeout: 245 seconds]
minwuekim has joined #ocaml
<d_bot> <thangngoc89> Thanks. I'm slowly hooking it up to dream. let's see if I can make the dream works
gravicappa has joined #ocaml
wilfred has joined #ocaml
gravicappa has quit [Ping timeout: 252 seconds]
gravicappa has joined #ocaml
<d_bot> <darrenldl> > let's see if I can make the dream works
<d_bot> <darrenldl> inspirational
vizard has joined #ocaml
mro has joined #ocaml
Haudegen has joined #ocaml
vizard has quit [Ping timeout: 252 seconds]
vizard has joined #ocaml
cedric has joined #ocaml
reynir has quit [Ping timeout: 244 seconds]
reynir has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
minwuekim has quit [Ping timeout: 245 seconds]
labor[m] has quit [Quit: Bridge terminating on SIGTERM]
krnkktz has quit [Quit: Bridge terminating on SIGTERM]
radiopotin[m] has quit [Quit: Bridge terminating on SIGTERM]
Sumera[m] has quit [Quit: Bridge terminating on SIGTERM]
smondet[m] has quit [Quit: Bridge terminating on SIGTERM]
fluxm has quit [Quit: Bridge terminating on SIGTERM]
inkbottle[m] has quit [Quit: Bridge terminating on SIGTERM]
schube[m] has quit [Quit: Bridge terminating on SIGTERM]
marinelli[m] has quit [Quit: Bridge terminating on SIGTERM]
wilfred has quit [Quit: Connection closed for inactivity]
olle has joined #ocaml
<olle> Looks like Hacklang got typed effects? https://docs.hhvm.com/hack/contexts-and-capabilities/introduction
adanwan has quit [Remote host closed the connection]
adanwan has joined #ocaml
minwuekim has joined #ocaml
gareppa has joined #ocaml
gareppa has quit [Remote host closed the connection]
dhil has joined #ocaml
bartholin has joined #ocaml
minwuekim has quit [Ping timeout: 245 seconds]
minwuekim has joined #ocaml
jinsun has quit [Ping timeout: 265 seconds]
glassofethanol has joined #ocaml
jinsun has joined #ocaml
favonia has quit [Ping timeout: 272 seconds]
mro has quit [Remote host closed the connection]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
jinsun__ has joined #ocaml
jinsun has quit [Ping timeout: 256 seconds]
<olle> No comment on that? :D
<zozozo> olle: haven't yet read everything, but concerning the idea about IO, algebraic effects could provide something similar
<olle> Sure
<olle> I'm just surprised
<d_bot> <RegularSpatula> I had maybe a similar problem to you. Compiling a native executable on a machine with a certain version of glibc (2.32) and trying to run the executable on a machine with a lower version of glibc (2.30 iirc). The pthreads was specifically having symbols from 2.32 glibc which of course wasn’t found on the target machine. That dependency on pthreads came from Jane streets Core. You can use `objdump -T` or a similar command
mro has joined #ocaml
mro has quit [Ping timeout: 240 seconds]
favonia has joined #ocaml
reynir has quit [Ping timeout: 272 seconds]
reynir has joined #ocaml
jinsun has joined #ocaml
jinsun__ has quit [Ping timeout: 256 seconds]
vizard has quit [Ping timeout: 272 seconds]
<companion_cube> olle: sounds like it'd be a good fit for your job, no? you use php?
vizard has joined #ocaml
<olle> companion_cube: yeah, but hack abandon php
<olle> it's just another facebook language now
<olle> And I doubt such a feature would make it into PHP land the next 5-10 years. Hack type checker is made in OCaml, PHP is in C.
minwuekim has quit [Read error: Connection reset by peer]
<olle> Possibly one of the static checkers. But those are written in PHP.
minwuekim has joined #ocaml
<olle> Psalm do have @pure annotation tho
<olle> One could build on that
<d_bot> <Deadrat> Scala also has an ongoing effort to add capabilites and typed effects
<d_bot> <Deadrat> Dotty repo/cc-experiment branch
<companion_cube> surely it still looks like php?
<olle> companion_cube: Hack? Yes, but it's an entire different ecosystem, one controlled by PHP. The commit is super-high if you want to change, as is the risk. You never know if FB will say, fuck it, we're doing something else now.
<olle> controlled by Facebook*
<olle> Even Flow by FB decided they will start to add non-JS syntax now.
<olle> They're unpredictable as f***
<olle> Basically internal project that incidentally are available as open-source, without any spirit of community.
<companion_cube> isn't Flow dead?
<companion_cube> ah well.
<olle> companion_cube: Not for FB, it's so much faster than typescript that it's still worth it for them. iirc
<olle> it's dead in the JS ecosystem tho, yes.
<companion_cube> ah, funny, ok.
minwuekim has quit [Read error: Connection reset by peer]
<olle> I tried both Flow and TS last year internally, they can both be used on vanilla JS still, with some annotations. Pretty nice.
minwuekim has joined #ocaml
<olle> And of course Flow uses OCaml too ^^
dhil has quit [Remote host closed the connection]
vizard has quit [Remote host closed the connection]
reynir has quit [Ping timeout: 246 seconds]
mbuf has quit [Remote host closed the connection]
<d_bot> <theangryepicbanana> Hack is pretty cool ngl
<d_bot> <theangryepicbanana> I would consider using it if it were to add some of PHP 8's new features
vizard has joined #ocaml
reynir has joined #ocaml
<olle> There's no way you can use it and be able to run it 2 years from now without maintenance.
<olle> Sorry, I'm just bitter ^^
minwuekim has quit [Remote host closed the connection]
taylskid has quit [Quit: taylskid]
<d_bot> <Deadrat> Using php non ironically?
favonia has quit [Ping timeout: 240 seconds]
<d_bot> <Deadrat> Why would anyone want to experience eternal torment and misery?
<olle> Legacy code and money
<olle> Runs everywhere
<d_bot> <Deadrat> Wydm by money?
<olle> My salary xD
<d_bot> <Deadrat> Ohh
<d_bot> <Deadrat> I though you can earn well with any language
<d_bot> <Deadrat> But aren't php devs one of the lowest paid?
<d_bot> <Deadrat> Among other languages
favonia has joined #ocaml
<d_bot> <Deadrat> On 3 billion devices
<olle> Dunno
<olle> My salary is not so high
<olle> I could bump it by switching jobs
<olle> But I'm having a pretty good time, so :)
<olle> It's higher than my 0 EUR OCaml salary ^^
<SquidDev> The dependently typed model for Hack's effects seems pretty cool - not seen something like that before. Though possibly more confusing than its worth.
<SquidDev> They don't seem to be extensible though, so no effect handlers or anything "interesting".
<d_bot> <Alistair> e.g. composing the reader and writer monads
<olle> SquidDev: You checked the source?
<SquidDev> olle: Oh, no. Just was going off the docs. Do they after all?
<olle> Ah
<olle> No idea
mro has joined #ocaml
zerotypic has joined #ocaml
<SquidDev> Yeah, I couldn't see anything in the source - very much looks like a hardcoded list.
vizard has quit [Ping timeout: 256 seconds]
vizard has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
mro has quit [Client Quit]
theblatte has quit [Ping timeout: 252 seconds]
vicfred has joined #ocaml
theblatte has joined #ocaml
<olle> Makes sense for their use-case
mro has joined #ocaml
favonia has quit [Ping timeout: 256 seconds]
favonia has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
olle has quit [Ping timeout: 252 seconds]
waleee has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
olle has joined #ocaml
glassofethanol has quit [Quit: leaving]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
<d_bot> <mimoo> is there a way to expand maccros in ocaml? To see what code they generate?
<d_bot> <thangngoc89> @mimoo maybe utop -dsource
olle has quit [Ping timeout: 272 seconds]
<d_bot> <octachron> For ppxs with dune, dune generates a ppx executable by directory. You can run this executable with the source as input and it should output the transformed code source.
<d_bot> <cdisselkoen> thanks!
bartholin has quit [Quit: Leaving]
favonia has quit [Ping timeout: 256 seconds]
favonia has joined #ocaml
vizard has quit [Ping timeout: 256 seconds]
vizard has joined #ocaml
reynir has quit [Ping timeout: 268 seconds]
reynir has joined #ocaml
mro has joined #ocaml
Tuplanolla has joined #ocaml
mro has quit [Remote host closed the connection]
reynir has quit [Ping timeout: 240 seconds]
reynir has joined #ocaml
vizard has quit [Ping timeout: 240 seconds]
reynir has quit [Ping timeout: 256 seconds]
reynir has joined #ocaml
<kvik> is there a reasoning behind ocaml being a slightly weird SML -- syntax wise? fun vs. fn, semicolon vs. comma list separator, etc. :)
<octachron> You mean beyond the fact that OCaml is not following the SML spec? And that if you put n people in a room, you generally end up with 2^n slightly different syntaxes?
mro has joined #ocaml
vizard has joined #ocaml
mro has quit [Remote host closed the connection]
<d_bot> <mimoo> any ways to do that with `dune utop` 😄 ?
<kvik> octachron: i mean that the syntax choices mentioned seem pointedly specific, in a language that otherwise very much resembles SML. it makes me think there's more to it than just somebody feeling like doing things a tad differently
<d_bot> <thangngoc89> @mimoo it's the same. `dune utop -dsource` ?
<octachron> ";" makes nesting tuples in list easier and avoid some punctuation overdose `[1,2;3,4]` vs `[(1,2),(3,4)]`. `fun` is slightly more readable and 50% lengthier .
<kvik> mhm, makes sense
<octachron> It doesn't seem like strange differences for two language that diverged in the eighties.
<kvik> right. i just feel better about the difference now that i have some rational explanation for it :)
mro has joined #ocaml
romildo has joined #ocaml
<companion_cube> I still wish we had a shorter syntax for functions
<d_bot> <mimoo> dune: unknown option `-d'.
<companion_cube> @kvik also apparently the authors of OCaml loved the keyword "let"
<companion_cube> maybe even too much
<d_bot> <thangngoc89> @mimoo then I'm not sure.
<d_bot> <octachron> `dune utop ./path_to_lib -- -dsource`
mro has quit [Remote host closed the connection]
motherfsck has quit [Remote host closed the connection]
Haudegen has quit [Quit: Bin weg.]
Stumpfenstiel has joined #ocaml
wingsorc has joined #ocaml
romildo has quit [Quit: Leaving]
<d_bot> <mimoo> that works! thx!
mro has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
gravicappa has quit [Ping timeout: 265 seconds]
mro has quit [Remote host closed the connection]
mro has joined #ocaml
favonia has quit [Ping timeout: 256 seconds]
favonia has joined #ocaml
shawn has joined #ocaml
waleee has quit [Ping timeout: 246 seconds]
mro has quit [Ping timeout: 272 seconds]
favonia has quit [Ping timeout: 246 seconds]
pieguy128 has quit [Quit: ZNC 1.8.2 - https://znc.in]
pieguy128 has joined #ocaml
favonia has joined #ocaml
wingsorc has quit [Ping timeout: 256 seconds]
wingsorc has joined #ocaml
favonia has quit [Ping timeout: 256 seconds]
favonia has joined #ocaml
labor[m] has joined #ocaml
krnkktz has joined #ocaml
fluxm has joined #ocaml
inkbottle[m] has joined #ocaml
radiopotin[m] has joined #ocaml
smondet[m] has joined #ocaml
schube[m] has joined #ocaml
Sumera[m] has joined #ocaml
marinelli[m] has joined #ocaml
<d_bot> <Deadrat> what will be the future of flambda? will it be integrated into main compiler or will continue to require another switch?
labor[m] has quit [Quit: node-irc says goodbye]
krnkktz has quit [Quit: node-irc says goodbye]
inkbottle[m] has quit [Quit: node-irc says goodbye]
fluxm has quit [Quit: node-irc says goodbye]
schube[m] has quit [Quit: node-irc says goodbye]
smondet[m] has quit [Quit: node-irc says goodbye]
radiopotin[m] has quit [Quit: node-irc says goodbye]
Sumera[m] has quit [Quit: node-irc says goodbye]
marinelli[m] has quit [Quit: node-irc says goodbye]
favonia has quit [Ping timeout: 256 seconds]
reynir has quit [Ping timeout: 272 seconds]
reynir has joined #ocaml
vizard has quit [Ping timeout: 256 seconds]
favonia has joined #ocaml
labor[m] has joined #ocaml
krnkktz has joined #ocaml
fluxm has joined #ocaml
inkbottle[m] has joined #ocaml
radiopotin[m] has joined #ocaml
Sumera[m] has joined #ocaml
smondet[m] has joined #ocaml
schube[m] has joined #ocaml
marinelli[m] has joined #ocaml
<d_bot> <Deadrat> What is the relation of stack allocation prototype and flambda 2?
<d_bot> <Deadrat> As I understand stack allocation prototype is for clambda backend
<d_bot> <Deadrat> So the changes will be ported to flambda after?
<d_bot> <Deadrat> And flambda will become the default backend in next few years?
favonia has quit [Ping timeout: 256 seconds]
favonia has joined #ocaml
Stumpfenstiel has quit [Ping timeout: 246 seconds]
reynir has quit [Ping timeout: 256 seconds]
reynir has joined #ocaml
cedric has quit [Quit: Konversation terminated!]
favonia has quit [Ping timeout: 240 seconds]
favonia has joined #ocaml
favonia has quit [Ping timeout: 240 seconds]
favonia has joined #ocaml
Tuplanolla has quit [Quit: Leaving.]
<companion_cube> hopefully
favonia has quit [Ping timeout: 240 seconds]
favonia has joined #ocaml
favonia has quit [Ping timeout: 240 seconds]
favonia has joined #ocaml