static-haskell-nix
gi-gtk-declarative
Our great sponsors
| static-haskell-nix | gi-gtk-declarative | |
|---|---|---|
| 7 | 5 | |
| 379 | 283 | |
| - | - | |
| 5.2 | 2.7 | |
| 4 months ago | 3 months ago | |
| Nix | Haskell | |
| - | Mozilla Public License 2.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
static-haskell-nix
-
Trying to build a statically linked binary against glibc (Linux)
Using Nix: https://github.com/nh2/static-haskell-nix
- Generating static binary + CI questions
-
GHC reports "Loading static libraries is not supported"
To debug this type of problem (I have to debug linker errors regularly as part of static-haskell-nix):
-
[ANN] Monomer, a GUI library for Haskell
In static-haskell-nix there is currently this PR to enable support for that: https://github.com/nh2/static-haskell-nix/pull/108
- What's all the hype with Nix?
-
Termite Is Obsoleted by Alacritty
I think there's a misunderstanding: Most people want to use the .a file from their Linux/package distro that provides static libraries, such as Alpine Linux or nixpkgs.
Such package distributions just use the build system default options to build static libs. For example, Alpine might use `-Ddefault_library=both`.
> if they could keep that libgtk_static around
Why make these special cases instead of just using the build system defaults? That's easier to maintain and more obvious.
> I'd be interested to hear if static linking GTK even has that many benefits
One benefit is almost-infinite backwards compatibility that the Linux and Xorg ABIs provide, being able to make GUI apps that work out of the box everywhere.
Another is that these generated executables are very small, e.g. 12 MB for a full static GTK GUI app [1], or 6 MB when xz-compressed.
This is much less than when using shared libraries. One reason is that dead-code elimination works much better for static linking: It links in only the functions you actually use. For dynamic linking, it's always the entire .so.
[1] https://github.com/nh2/static-haskell-nix/releases/tag/c-sta...
-
Clodl: Turn dynamically linked ELF binaries into self-contained closures
GTK can be statically linked.
Example executable:
https://github.com/nh2/static-haskell-nix/releases/tag/c-sta...
It lost this ability temporarily when switching to Meson, but I fixed it in GTK3 and GTK4. But I just checked and apparently it is broken again:
https://gitlab.gnome.org/GNOME/gtk/-/issues/3774#note_109746...
gi-gtk-declarative
-
Is Haskell capable of this?
Have a look at https://reflex-frp.org/, or https://owickstrom.github.io/gi-gtk-declarative/, they are an interesting and different way of working with UI in a non imperative way.
-
[ANN] Monomer, a GUI library for Haskell
What are the main differences to and advantages over gi-gtk-declarative?
-
Apply git patch to package listed in extra-deps in stack build
Yeah, if you are interested enough to check out my PR at gi-gtk-declarative (https://github.com/owickstrom/gi-gtk-declarative/pull/90), then you will see how much I bent over backwards to avoid laying the foundations for an ormolu/fourmolu-like situation. Although, given that the project appears to be the only maintained declarative gui library in Haskell, I think the single-point-of-failure needs to be addressed.
What are some alternatives?
monomer - An easy to use, cross platform, GUI library for writing Haskell applications.
haskell.nix - Alternative Haskell Infrastructure for Nixpkgs
nanovg - Antialiased 2D vector drawing library on top of OpenGL for UI and visualizations.
Cabal - Official upstream development repository for Cabal and cabal-install
reflex - Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying values to describe interactive systems as pure functions. Just like other pure functional code, functional reactive code is easier to get right on the first try, maintain, and reuse.
alacritty - A cross-platform, OpenGL terminal emulator.
Skia - Skia is a complete 2D graphic library for drawing Text, Geometries, and Images.
nixos-config - Personal collection of NixOS config files
egui - egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native
haskell-kafka
MetalNanoVG - The Metal port of NanoVG.