companion_cube changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 5.2.0 released: https://ocaml.org/releases/5.2.0 | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 252 seconds]
Tuplanolla has quit [Quit: Leaving.]
wbooze has joined #ocaml
Inline has joined #ocaml
Inline has quit [Ping timeout: 252 seconds]
wbooze has quit [Ping timeout: 260 seconds]
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 248 seconds]
mange has joined #ocaml
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 252 seconds]
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 244 seconds]
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 252 seconds]
<discocaml> <luiznick0381> Discover the hidden secrets of the digital market that top traders don’t want you to know! I’m seeking five motivated individuals who are committed to earning over $50k weekly in the digital market. Once you start seeing profits, I’ll require just 15% of your earnings as my fee. Please note: I’m only interested in working with five serious and dedicated people should send me a direct message or ask me (HOW) via TELEGRAM
<discocaml> <luiznick0381>
<discocaml> <luiznick0381> https://t.me/luisNick
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 268 seconds]
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 276 seconds]
Inline has joined #ocaml
wbooze has joined #ocaml
wbooze has quit [Ping timeout: 245 seconds]
Inline has quit [Ping timeout: 252 seconds]
infohazards has joined #ocaml
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 260 seconds]
infohazards has quit [Remote host closed the connection]
user_ has joined #ocaml
user_ has quit [Remote host closed the connection]
infohazards has joined #ocaml
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 268 seconds]
bartholin has joined #ocaml
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 252 seconds]
bartholin has quit [Quit: Leaving]
bibi_ has joined #ocaml
alfiee has joined #ocaml
infohazards has quit [Remote host closed the connection]
infohazards has joined #ocaml
alfiee has quit [Ping timeout: 260 seconds]
infohazards has quit [Remote host closed the connection]
Serpent7776 has joined #ocaml
mange has quit [Quit: Quittin' time!]
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 252 seconds]
wickedshell has quit [Ping timeout: 248 seconds]
infohazards has joined #ocaml
infohazards has quit [Remote host closed the connection]
infohazards has joined #ocaml
dhil has joined #ocaml
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 272 seconds]
Inline has joined #ocaml
wbooze has joined #ocaml
Inline has quit [Ping timeout: 244 seconds]
wbooze has quit [Ping timeout: 268 seconds]
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 260 seconds]
<discocaml> <kinokasai> Oh dang, the typescript compiler is being rewritten in GO
<discocaml> <kinokasai> Oh dang, the typescript compiler is being rewritten in Go
<discocaml> <kinokasai> There's no mention of OCaml is the interview, I wonder if it was considered
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 272 seconds]
mange has joined #ocaml
Inline has joined #ocaml
wbooze has joined #ocaml
wickedshell has joined #ocaml
Inline has quit [Ping timeout: 268 seconds]
wbooze has quit [Ping timeout: 244 seconds]
mange has quit [Quit: Zzz...]
Inline has joined #ocaml
wbooze has joined #ocaml
boozec has joined #ocaml
boozec has quit [Client Quit]
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 260 seconds]
infohazards has quit [Remote host closed the connection]
infohazards has joined #ocaml
_whitelogger_ has joined #ocaml
_whitelogger has quit [Remote host closed the connection]
igemnace has joined #ocaml
Inline has quit [Ping timeout: 245 seconds]
Inline has joined #ocaml
wbooze_ has joined #ocaml
wbooze has quit [Ping timeout: 268 seconds]
alfiee has joined #ocaml
Inline has quit [Ping timeout: 265 seconds]
wbooze_ has quit [Ping timeout: 252 seconds]
alfiee has quit [Ping timeout: 260 seconds]
semarie has quit [Quit: quit]
semarie has joined #ocaml
wbooze has joined #ocaml
Inline has joined #ocaml
hsw has joined #ocaml
<discocaml> <uberpyro181> probably not seriously
<discocaml> <uberpyro181> they went right from one language without variants or pattern matching to another
<discocaml> <uberpyro181> and apparently they wanted a direct port and their only goal was to improve performance
<discocaml> <deepspacejohn> (also being discussed in #offtopic🎲, just FYI)
<discocaml> <uberpyro181> ah thanks
hsw has quit [Remote host closed the connection]
alfiee has joined #ocaml
infohazards has quit [Remote host closed the connection]
ygrek has joined #ocaml
infohazards has joined #ocaml
alfiee has quit [Ping timeout: 252 seconds]
hsw has joined #ocaml
Serpent7776 has quit [Quit: leaving]
infohazards has quit [Remote host closed the connection]
infohazards has joined #ocaml
wbooze has quit [Ping timeout: 244 seconds]
Inline has quit [Ping timeout: 260 seconds]
Inline has joined #ocaml
wbooze has joined #ocaml
wbooze has quit [Remote host closed the connection]
wbooze has joined #ocaml
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 245 seconds]
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 248 seconds]
wbooze has quit [Ping timeout: 260 seconds]
Inline has quit [Ping timeout: 260 seconds]
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 245 seconds]
Anarchos has joined #ocaml
Anarchos has quit [Ping timeout: 260 seconds]
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 244 seconds]
myrkraverk has quit [Read error: Connection reset by peer]
myrkraverk has joined #ocaml
dhil has quit [Ping timeout: 272 seconds]
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 248 seconds]
<discocaml> <shangshangxiaxia> 50$ gift https://steanmrcommunity.com/1052917516
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 268 seconds]
Inline has joined #ocaml
wbooze has joined #ocaml
Inline_ has joined #ocaml
wbooze_ has joined #ocaml
wbooze has quit [Ping timeout: 276 seconds]
Inline has quit [Ping timeout: 276 seconds]
eilvelia has quit [Ping timeout: 252 seconds]
eilvelia has joined #ocaml
Levent has joined #ocaml
inline__ has joined #ocaml
wbooze_ has quit [Ping timeout: 244 seconds]
Inline_ has quit [Ping timeout: 260 seconds]
wbooze has joined #ocaml
Inline has joined #ocaml
wbooze has quit [Remote host closed the connection]
Tuplanolla has joined #ocaml
inline__ has quit [Ping timeout: 244 seconds]
Levent has quit [Ping timeout: 245 seconds]
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 245 seconds]
Inline_ has joined #ocaml
wbooze has joined #ocaml
Inline has quit [Ping timeout: 252 seconds]
Inline_ has quit [Quit: Leaving]
Inline has joined #ocaml
ygrek has quit [Remote host closed the connection]
infohazards has quit [Remote host closed the connection]
ygrek has joined #ocaml
infohazards has joined #ocaml
bartholin has joined #ocaml
patrick_ is now known as patrick
alfiee has joined #ocaml
patrick has quit [Changing host]
patrick_ has joined #ocaml
alfiee has quit [Ping timeout: 244 seconds]
szkl has quit [Quit: Connection closed for inactivity]
<discocaml> <alyxshang> Somehow I can't imagine Microsoft devs ascending to the dizzy and elegant heights of functional programming.
<discocaml> <kinokasai> F# exists, right?
<discocaml> <alyxshang> Different question: How in the hell do I subscribe to OCaml mailing lists?
<discocaml> <alyxshang> Is it also functional? (Idk, genuinely.)
<discocaml> <kinokasai> it's been taxed of ocaml dotnet
<discocaml> <alyxshang> I don't follow, what do you mean
<discocaml> <kinokasai> it's been called ocaml dotnet
<discocaml> <kinokasai> sorry i'm bad with translating idioms
<discocaml> <alyxshang> Ohhhh
<discocaml> <alyxshang> I get it now
<discocaml> <alyxshang> Had a quick look, seems a bit convoluted, like literally every other Microsoft product.
<discocaml> <alyxshang> Microsoft exists only to make Windows in my view. And Windows only exists to play games.
<discocaml> <alyxshang> (I'm being semi-serious.)
euphores has quit [Quit: Leaving.]
<discocaml> <Kali> F#... F*...
<discocaml> <Kali> F# is like ocaml on dotnet
<discocaml> <Kali> F* is like dependently typed ocaml
infohazards has quit [Remote host closed the connection]
euphores has joined #ocaml
<discocaml> <alyxshang> Ok?
infohazards has joined #ocaml
<discocaml> <yawaramin> Microsoft Research also employs the main people who work on Haskell. or at least did for a long time
wbooze has quit [Ping timeout: 268 seconds]
Inline has quit [Ping timeout: 260 seconds]
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 268 seconds]
<discocaml> <Kali> i was providing quite substantial examples of microsoft's involvement in function programming
<discocaml> <Kali> it does not have to be imagined
<discocaml> <Kali> although i do now realize that someone already mentioned F
<discocaml> <Kali> oops, F#
<discocaml> <turbo291> F#, F*, Dafny, (previously) Lean
<discocaml> <turbo291> F#, F*, Dafny, (previously) Lean
Guest95 has joined #ocaml
Guest95 has quit [Write error: Broken pipe]
Inline has joined #ocaml
wbooze has joined #ocaml
Guest47 has joined #ocaml
Guest47 has quit [Write error: Connection reset by peer]
Inline has quit [Ping timeout: 252 seconds]
wbooze has quit [Ping timeout: 260 seconds]
Inline has joined #ocaml
wbooze has joined #ocaml
Haudegen has joined #ocaml
Anarchos has joined #ocaml
Inline has quit [Ping timeout: 248 seconds]
wbooze has quit [Ping timeout: 244 seconds]
wbooze has joined #ocaml
Inline has joined #ocaml
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 260 seconds]
<discocaml> <alyxshang> I just have an irrational dislike for them.
<discocaml> <alyxshang> And I do say _irrational_.
<discocaml> <alyxshang> Oh well, maybe I'm just sick and tired of how ass-backwards everything is with Microsoft. And with ass-backwards I mean bloated, needlessly complicated, and all this AI stuff is mildly annoying.
Inline has quit [Read error: Connection reset by peer]
wbooze has quit [Remote host closed the connection]
<discocaml> <alyxshang> Honestly asked Bing AI the other day some specifics on how to create a Neovim theme and that was more wrong than people who say the earth is a disk.
<discocaml> <alyxshang> (If you think the earth is flat, you do you, not critiquing anyone's world view.)
<discocaml> <alyxshang> (Pun intended.)
Inline has joined #ocaml
wbooze has joined #ocaml
bartholin has quit [Quit: Leaving]
alfiee has joined #ocaml
Anarchos has quit [Quit: Vision[]: i've been blurred!]
alfiee has quit [Ping timeout: 260 seconds]
ygrek has quit [Remote host closed the connection]
<discocaml> <barconstruction> I was pretty disappointed when I tried F# and found out that it doesn't have a proper module system. Its module system is weaker than Haskell's in the sense that it doesn't really support the basic concept of an abstract data type. Oleg kiselyov's website gives an example of module where one has a type of dirty strings whose implementation as a string is hidden from the client so you have to use SQL-sanitizing functions to extract cont
<discocaml> <barconstruction> I was unable to translate this to F#
alfiee has joined #ocaml
<dh`> haskell doesn't really have abstract data types either
<dh`> you can't keep instances from escaping
alfiee has quit [Ping timeout: 248 seconds]
mange has joined #ocaml
wbooze has quit [Ping timeout: 265 seconds]
Inline has quit [Ping timeout: 265 seconds]
<discocaml> <yawaramin> F# does have abstract data types though
<discocaml> <yawaramin> works almost exactly the same as OCaml with interface files
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 244 seconds]