rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
xd1le has joined #ocaml
Anarchos has joined #ocaml
xmachina has joined #ocaml
rgrinberg has joined #ocaml
yisef has quit [Remote host closed the connection]
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
rgrinberg has quit [Client Quit]
rgrinberg has joined #ocaml
gareppa has joined #ocaml
dnh has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
myrkraverk has joined #ocaml
Anarchos has quit [Ping timeout: 245 seconds]
dnh has joined #ocaml
azimut has quit [Remote host closed the connection]
azimut has joined #ocaml
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
Hammdist has quit [Ping timeout: 246 seconds]
<companion_cube>
A gui library :p
<companion_cube>
(or imgui bindings really)
rgrinberg has joined #ocaml
rgrinberg has quit [Client Quit]
Anarchos has joined #ocaml
rgrinberg has joined #ocaml
<discocaml>
<lroche> Bindings to raylib should probably cover more or less the same usecase?
Anarchos has quit [Quit: Vision[]: i've been blurred!]
Anarchos has joined #ocaml
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
Tuplanolla has joined #ocaml
Anarchos has quit [Quit: Vision[]: i've been blurred!]
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
Anarchos has joined #ocaml
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
waleee has joined #ocaml
rgrinberg has joined #ocaml
<companion_cube>
not really, it's not a gui library
<companion_cube>
imgui is designed to build _UIs_
<companion_cube>
not games
Hammdist has joined #ocaml
<discocaml>
<regularspatula> I’ve definitely seen a few threads about what people think is missing from the ecosystem on discuss…maybe see if any of those things sound fun
<companion_cube>
lack of mature {G,T}UI libraries is one that comes up often
<discocaml>
<regularspatula> Is labltk used at all?
<companion_cube>
idk, I looked at it a few times, and it lacks the extensions like tabs and trees that seem like basics
<companion_cube>
(the ones that python has)
<discocaml>
<regularspatula> I see
<companion_cube>
which is sad, I hear all the time about Tk being nice for quick UIs
<companion_cube>
in the C++ world that's where imgui shines
<Anarchos>
regularspatula it is used in coqtop
<Anarchos>
coqide.
<adrien>
a11y is the criteria that sets (G)UI toolkits apart: without a11y, whatever you create will have a limited reach
<companion_cube>
(I agree; but note that I am talking about quick UIs)
<adrien>
also, trees, gtk makes (made?) them very roll-your-own in practice and I think Qt too; I know gitk has trees so I guess they can be done but maybe it's not obvious
<companion_cube>
it's because Tk has an additional set of widgets that are not part of core Tk proper
<companion_cube>
and lbltk only binds core Tk
<discocaml>
<regularspatula> ccube: the guy from the Houston functional programmers meetup (can’t remember his name) mentioned using tcl/tk “front end” with ocaml “backend” if I recall
<discocaml>
<regularspatula> Sounded interesting
<companion_cube>
I mean sure but if you start having frontend and backend that's a lot of additional work
<companion_cube>
just like the web
<discocaml>
<regularspatula> Yeah that’s true
<companion_cube>
(or even the callback-hell kind of GUI that Tk and GTK are)
<discocaml>
<._null._> coqide uses lablgtk, not labltk
<companion_cube>
I'm just jealous of imgui where you can slap an UI together in a few lines
<Anarchos>
._null._ my bad.
<discocaml>
<regularspatula> Electron worked for me with jsoo once
<discocaml>
<regularspatula> I know many dislike it tho
<companion_cube>
:/
<discocaml>
<regularspatula> Swap in tauri for electron if you want lol
<companion_cube>
I mean it's still webtech
<discocaml>
<regularspatula> Sure
<companion_cube>
you're not running native code, integers are a weird size, the disk footprint is crazy…
<discocaml>
<regularspatula> Yeah in the ideal world you wouldn’t have to use it
<companion_cube>
it doesn't qualify for a native GUI imho
<companion_cube>
if you want a GUI in general, maybe; but a GUI for a naive program, by definition, no
<discocaml>
<regularspatula> Sure I agree
<companion_cube>
rust has egui, in the same vein as (dear) imgui
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
Anarchos has quit [Quit: Vision[]: i've been blurred!]
<discocaml>
<contextfreebeer> egui however is immediate-mode and also unfortunately not fully mature, you will run into issues and limitations if you try to actually use it to get stuff done
<discocaml>
<contextfreebeer> but definitely impressive despite that
<companion_cube>
immediate mode can be a feature
<companion_cube>
like sure, you're not necessarily going to build a flagship GUI product with it
hrberg has joined #ocaml
<companion_cube>
but you can slap together development tools, profilers, etc. in 1/10 of the time
<myrkraverk>
What is immediate mode in this context?