<d_bot>
<score> a side effect is a modification of state, and while I'm not too well-versed in the terminology (it's been some years since I took comp sci) it seems natural to me to consider appending to a file/pipe to be a modification of state, even if it is state that is ultimately outside of the program's control or often write-only from the perspective of the program
<d_bot>
<score> someone correct me if i'm off the mark here please 😛
<d_bot>
<TheBloodlessMan> Nah I’d say that on the mark, since reading and writing to some store/state (which includes the file system) is clearly an effect
<d_bot>
<TheBloodlessMan> And since stdout implements the file abstraction, then it follows that printing (writing) to stdout is an effect
<d_bot>
<TheBloodlessMan> Also printing doesn’t satisfy referential transparency, since the value of printing is typically (), but () is not semantically equivalent to print_string “Hello World”
Haudegen has quit [Ping timeout: 260 seconds]
curtosis[away] has joined #ocaml
curtosis[away] has quit [Quit: My Mac Mini has gone to sleep. ZZZzzz…]
waleee-cl has quit [Quit: Connection closed for inactivity]
mro_name has quit [Remote host closed the connection]
mro_name has joined #ocaml
mro_name has quit [Remote host closed the connection]
Boarders has quit [Quit: Connection closed for inactivity]
Shreya has quit [Ping timeout: 258 seconds]
ArthurStrong has joined #ocaml
Shreya has joined #ocaml
bartholin has quit [Ping timeout: 240 seconds]
<d_bot>
<EduardoRFS> Can I license my code as MIT and link it to a modified version of the OCaml compiler? The source is distributed with the code
mmohammadi9812 has joined #ocaml
bartholin has joined #ocaml
Ananya has joined #ocaml
zebrag has joined #ocaml
Shreya has quit [Ping timeout: 258 seconds]
Shreya has joined #ocaml
Ananya has quit [Ping timeout: 240 seconds]
mro_name has joined #ocaml
mxns has joined #ocaml
mro_name has quit [Ping timeout: 250 seconds]
mxns has quit [Ping timeout: 250 seconds]
olle_ has joined #ocaml
neiluj has joined #ocaml
neiluj has quit [Changing host]
neiluj has joined #ocaml
shawnw has quit [Ping timeout: 246 seconds]
IngeEmma has joined #ocaml
oriba has joined #ocaml
mxns has joined #ocaml
<d_bot>
<hcarty> I looked into this a while ago - not for the compiler, but another project - and you can license your own code however you want as long as it's not derived from something with a license that prevents that.
<d_bot>
<hcarty>
<d_bot>
<hcarty> From a user's perspective the whole body of code may as well be under the compiler's license because the compiler's LGPL w/linking exception is more restrictive than MIT. However, it also means that if someone wants to build on your code, independent of the compiler, they can do so under the terms of the MIT license. And if the compiler license ever changed your code would continue to be MIT licensed
mxns_ has joined #ocaml
mxns has quit [Ping timeout: 245 seconds]
bartholin has quit [Ping timeout: 240 seconds]
<d_bot>
<EduardoRFS> My concern is mostly if someone wants to change my code for their own use-case I don't want anyone to feel bothered to "contribute back", but of course I cannot offer the same for the compiler.
<d_bot>
<EduardoRFS>
<d_bot>
<EduardoRFS> So I think having MIT for my code + LGPL w linking exception will be a nice middle term
<d_bot>
<hcarty> Yeah that seems reasonable
mxns_ has quit [Ping timeout: 245 seconds]
mxns has joined #ocaml
bartholin has joined #ocaml
mxns has quit [Ping timeout: 246 seconds]
IngeEmma has quit [Ping timeout: 240 seconds]
mxns has joined #ocaml
mro_name has joined #ocaml
mxns has quit [Ping timeout: 265 seconds]
olle_ has quit [Ping timeout: 240 seconds]
<d_bot>
<Drup> MIT is officialy GPL-compatible, you are free to go :p
mxns has joined #ocaml
mxns has quit [Ping timeout: 260 seconds]
mmohammadi9812 has quit [Remote host closed the connection]
shawnw has joined #ocaml
mro_name has quit [Remote host closed the connection]
mxns has joined #ocaml
mxns has quit [Ping timeout: 258 seconds]
mxns has joined #ocaml
mxns has quit [Ping timeout: 240 seconds]
mxns has joined #ocaml
mxns has quit [Ping timeout: 246 seconds]
curtosis has joined #ocaml
mxns has joined #ocaml
mro_name has joined #ocaml
mxns has quit [Ping timeout: 240 seconds]
mxns has joined #ocaml
bartholin has quit [Ping timeout: 240 seconds]
curtosis has quit [Quit: My Mac Mini has gone to sleep. ZZZzzz…]
mxns has quit [Ping timeout: 252 seconds]
mxns has joined #ocaml
mro_name has quit [Remote host closed the connection]
<d_bot>
<Kakadu> What is the most recommended in 2021 tutorial to make x64 GNU/Linux OCaml host start generating "ELF 32-bit LSB executable, ARM, EABI5 version 1" (or similar) code?
curtosis is now known as curtosis[away]
curtosis[away] has quit [Quit: My Mac Mini has gone to sleep. ZZZzzz…]
<d_bot>
<froyo> I will cry
<d_bot>
<froyo> I will literally cry
<d_bot>
<Kakadu> I hope it is not because my message
bjorkint0sh has quit [Ping timeout: 258 seconds]
mxns has quit [Ping timeout: 246 seconds]
<d_bot>
<froyo> I've been onto this exact specific goal
<tmp123>
Hello. I have a tiny exercice for school where I have to make a function to count the number of time that n appears in list l. See my code https://paste.debian.net/1192233/ but my code does not compile and my function compt to count is horrible because let res = 0 is not here. What should I do to first make it compile and then improve the
<tmp123>
readability of my program please ?
dckc has quit [Quit: ZNC 1.6.6+deb1ubuntu0.2 - http://znc.in]
dckc has joined #ocaml
<hannes>
tmp123: the result of your "compte" function is another list (List.filter returns a list) --> use "print_int (List.length u)" in the last line
<tmp123>
hannes it works and returns 2: https://paste.debian.net/1192234/ but is there a way to return directly 2 from the function instead of use List?length after?
<hannes>
tmp123: sure, take a look at List.fold_left
<tmp123>
hannes I mean could I put two lines in the same function in ocaml?
mxns has quit [Ping timeout: 246 seconds]
mxns has joined #ocaml
mxns has quit [Ping timeout: 240 seconds]
mxns has joined #ocaml
ArthurStrong has quit [Quit: leaving]
mxns has quit [Ping timeout: 268 seconds]
mxns has joined #ocaml
mxns has quit [Ping timeout: 252 seconds]
mxns has joined #ocaml
<d_bot>
<dinosaure> what do you mean? the new line (instead of Python) does not have a signification for OCaml 🙂
<d_bot>
<dinosaure> so you can put many lines as you want
<olle_>
(unless you're using *that* syntax revision...)
mxns has quit [Ping timeout: 246 seconds]
mxns has joined #ocaml
<steenuil>
I've written a bit of F# and I have to say I kinda liked the lighter syntax
<steenuil>
on the other hand, it makes some things really awkward
<d_bot>
<dinosaure> then, in your _french_ example, many things come to my mind. First, `[ ... ]` is not a "tableau"/`array` but a list 🙂 then, take care about `==`. In your example, it's work but if you want to test the "equality" (as we usually want), you should use `=`
<steenuil>
but admittedly those mostly have to do with the weird mix of C# syntax and OCaml syntax
<d_bot>
<dinosaure> `==` is the _physical equality_ which means something else specially for more complex values
<tmp123>
dinosaure I mean yes what is the best syntax for ocaml
<d_bot>
<dinosaure> but it's about style and some people will not agree with such style. More commonly, when it's about style, we prefer to use a _linter_ such as `ocamlformat` which re-style your code