08:45 <discocaml> <diligentclerk> I asked the other day "is OCaml good for scripting tasks?"

08:45 <discocaml> <diligentclerk> but i'd also be interested in like, any statically typed language which can be used conveniently for scripting

08:45 <discocaml> <diligentclerk> like scala?

08:46 <discocaml> <diligentclerk> It doesn't even need to be functional, i'm just wondering if there is anything that is reasonably convenient for scripting which has good static typing

09:24 <discocaml> <cod1r> python with mypy

09:55 <discocaml> <diligentclerk> I tried this and until the broader Python ecosystem begins to take this seriously, it's not worth the effort. A typical Python script that I write is mostly a bunch of calls to external Python libraries, so if those are all untyped, then i'm just calling a series functions that take Any and return Any

10:00 <discocaml> <diligentclerk> One time I tried using mypy's stub generation tool to automatically generate a typing "framework" for a network/graph analysis library, but their architecture was incompatible with a basic assumption that Mypy makes, namely that if B inherits from A, B's functions have the same type signature as A's functions. I opened an issue on their Github and they just got annoyed at me for "telling them how I would have done it" and saying that the

10:12 <discocaml> <cod1r> what about https://github.com/astral-sh/ty

10:12 <discocaml> <cod1r> tbh, it's probably the same but aye

10:12 <discocaml> <cod1r> it's written in RustTM

13:24 <discocaml> <shawnfrostx> I don’t think you are going to get anything better than Python for now. You’ll encounter issues when some library doesn’t have type stubs or something is hard to express — in those cases you can write your own stubs or some wrapper around Any->Any. But in exchange you get an ecosystem of stuff that mostly works and is easy to write.

13:25 <discocaml> <shawnfrostx> Which imho is fine for scripts and stuff less than 1k lines.

13:31 <discocaml> <yawaramin> check out https://scala-cli.virtuslab.org/

14:39 <discocaml> <aiono.00> The start time of JVM makes it a non-starter for scripting IMO

14:39 <discocaml> <aiono.00> The runtime introspection capabilities are great for scripting though

14:41 <discocaml> <yawaramin> you'd be surprised. start time depends on how many classes you load. can definitely be optimized. check out the Mill build tool

18:12 <discocaml> <shon_18152> Nice that the demo gif has a realistic representation of the startup times XD

20:45 <discocaml> <sim642> Ugh, all CI jobs are failing because camlcity.org (where findlib is hosted) is broken

21:07 <discocaml> <yawaramin> by 'all CI jobs' you mean...?

21:08 <discocaml> <yawaramin> in your work CI?

21:41 <discocaml> <sim642> GitHub CI for public projects, etc. ocamlfind has a lot of revdeps. Its host being broken makes it basically impossible to create opam switches a meaningful selection of packages

21:51 <discocaml> <yawaramin> oh...that seems bad

23:30 <discocaml> <bjonah> I flipped to the backup http://download2.camlcity.org in the DkML repository https://github.com/diskuv/diskuv-opam-repository/commit/cba95f9d9ca02df2a3fbba21c0c416d573883b48 . Maybe you can pin the package you need?