11:19 <hanker> Is someone familiar with Markup.ml here? Is there a way to send raw (X|HT|whatever)ML through a Markup.ml stream?

11:28 <discocaml> <lukstafi> I guess `A type variable is unbound in this type declaration. In type 'a the variable 'a is unbound` means I took a wrong turn much earlier on.

11:46 <discocaml> <octachron> The error is local to a type definition. There is not much "earlier on" in this case.

11:55 <discocaml> <lukstafi> It was an LSP glitch, sorry for the noise.

14:46 <discocaml> <contificate> It's depressing to read HN threads about OCaml - as it always devolves into "but where's the jobs", as though there's no such thing as potentially learning something or programming recreationally.

14:48 <discocaml> <contificate> I get that employment prospects are important, but this idea that a seasoned programmer couldn't spend an evening or weekend toying around with something to get a feel for it is crazy. There's people who have spent more time asking "should I learn OCaml" than it'd actually take them to learn the basics.

14:48 <deavmi> Learning a language for fun is amazing

14:48 <deavmi> Only reason I care to learn one tbh :)

14:48 <deavmi> >There's people who have spent more time asking "should I learn OCaml" than it'd actually take them to learn the basics.

14:48 <deavmi> This sort of debilitating procrastination is common too XD

14:49 <discocaml> <contificate> Yeah, it's a sad state of affairs when you can't convince, say, a Java programmer that they might have their thinking changed by adopting a functional programming language in a minor way.

14:50 <deavmi> Indeed

14:51 <deavmi> I programmed a little in OCaml, intend to return to it properly again and actually write some software in it. It changed a lot about what I tyhink about in programming. The pattern matching and structural typing stuff is amazing. So it's worth learning.... moreso than Haskell in my view.

14:51 <discocaml> <contificate> Even if you dislike a programming language, you should at least "know your enemy". There's people out here making assertions about all of FP, yet I wouldn't dare say anything overtly negative about - for example - Go; as I know very little about it.

14:52 <deavmi> Yes, I was once one of those people ;)

14:52 <discocaml> <contificate> I actually think Haskell does a disservice to onboarding new functional programmers.

14:52 <deavmi> Then I just started learning OCaml

14:52 <deavmi> I did actually enjjoy some of Haskell but I decided i'd never spend enough time learning how to use a monad so I ditched it. Maybe I'll return one day. oCaml is a lot nicer, and the stdlib feels very Clib-like so I feel at home albeit with a more powerful type system

14:53 <discocaml> <contificate> Mostly because I've met people who think they are "too stupid" to learn OCaml because they've been deluded by misconceptions about Haskell. Anyone who mentions category theory in the same breath as monads (outside of an abstract algebra/CT course) needs to reevaluate things.

14:54 <deavmi> Yes indeed,

14:54 <deavmi> The introductory tutorial to OCaml doesn't even feel mathy (which is good)

14:54 <discocaml> <jalsol> I was able to convince my friends to try OCaml and FP and they liked it

14:54 <deavmi> It just feels like another language, complete with a package manager and build system. It's actually more "normie" than one would think (I mean normie not as a pejorative)

14:54 <discocaml> <jalsol> I'm sure if they can try it then many people can

14:55 <hanker> Is there a way to configure a program at build-time in OCaml? Like you would do -DSOMETHING=1 in C

14:56 <discocaml> <jalsol> -D something requires preprocessor directive capabilities

14:56 <discocaml> <jalsol> I don't think there's anything exactly the same, but there should be similar stuff ig?

14:57 <hanker> Well, not necessarily using `-DSOMETHING`, but basically configuring an OCaml program at compile-time.

14:57 <discocaml> <contificate> This was asked recently in this server. I suggested conditional compilation with dune rules, but there's a ppx rewriter I think

14:57 <discocaml> <contificate> https://ocaml.org/p/ppx_optcomp/latest

14:58 <discocaml> <contificate> https://github.com/janestreet/ppx_optcomp - shows using a config file to define things and then use

15:59 <hanker> I see, thank you

19:09 <discocaml> <empathy.monster> Where does FP's obsession with repls come from?

19:09 <discocaml> <contificate> Lisp, probably

19:13 <discocaml> <empathy.monster> I'm addicted to utop. Currently working through SICP, but all of the Scheme repls have horrible UI. Anyone know any dialects with a nice one by chance?

19:13 <discocaml> <contificate> I feel that REPLs in Scheme are largely subsumed by interactive plugins in editors

19:13 <discocaml> <empathy.monster> I've just decided to do it all in utop so far lol

19:13 <discocaml> <contificate> for example https://github.com/emacsmirror/geiser

19:13 <discocaml> <empathy.monster> Ah ha

19:14 <discocaml> <contificate> like forget a REPL when you can just evaluate parts of your editor buffer

19:14 <discocaml> <contificate> you ever seen baggers

19:14 <discocaml> <empathy.monster> No, what's that?

19:14 <discocaml> <contificate> https://youtu.be/9lOMia8FjTk?t=3329 this is what it's all about

19:14 <discocaml> <contificate> drawing falling pizza toppings to the screen in real time