infernu
penrose
Our great sponsors
- Onboard AI - Learn any GitHub repo in 59 seconds
- InfluxDB - Collect and Analyze Billions of Data Points in Real Time
- SaaSHub - Software Alternatives and Reviews
infernu | penrose | |
---|---|---|
2 | 16 | |
334 | 2,586 | |
- | 0.2% | |
0.0 | 0.0 | |
almost 5 years ago | 11 months ago | |
Haskell | Haskell | |
GNU General Public License v2.0 only | MIT License |
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.
infernu
-
The TypeScript Experience
Or maybe a sound type system can only be achieved either by limiting JavaScript or with a different language that compiles to JavaScript?
-
Features of a dream programming language: 2nd draft.
Very constrained. Since "constraints liberate, liberties constrain", as Bjarnason said. Inspired by Golang's minimalism, and Elm's guardrails. For learnability and maintainability. Since discipline doesn't scale (obligatory xkcd: with too much power, and the wrong nudges, all it takes is a moment of laziness/crunch-time to corrupt a strong foundation), and a complex language affords nerd-sniping kinds of puzzles, and bikeshedding and idiomatic analysis-paralysis. Counter-inspired by Haskell. The virtue of functional programming is that it subtracts features that are too-powerful/footguns (compared to OOP), namely: mutation & side-effects. The language designers should take care of and standardize all the idiomacy (natural modes of expression in the language). "Inside every big ugly language there is a small beautiful language trying to come out." -- sinelaw. The language should assume the developer is an unexperienced, lazy, (immediately) forgetful, and habitual creature. As long as software development is done by mere humans. This assumption sets the bar (the worst case), and is a good principle for DX, as well as UX. The constrained nature of the language should allow for quick learning and proficiency. Complexity should lie in the system and domain, not the language. When the language restricts what can be done, it's easier to understand what was done (a smaller space of possibilities reduces ambiguity and increases predictability, which gives speed for everyone, at a small initial learning cost). The language should avoid Pit of Despair programming, and leave the programmer in the Pit of Success: where its rules encourage you to write correct code in the first place. Inspired by Eric Lippert, but also by Rust.
penrose
-
Secretly introduced rust in my company, now they love it!
There is a fork that compiles to js https://github.com/ghcjs/ghcjs compiler, and I believe the official glasgow compiler is working towards also supporting js/wasm (although I don't think they are supported as of yet).
-
Resurrection/modernization of an old Haskell+Haste project (boardgame Yinsh)
I don't know anything about Haste, but you can get GHCJS 8.6 (or 8.10 with a bloated executable) via nix fairly easily or alternatively wait until the JS target recently merged into mainline ghc gets production ready: https://engineering.iog.io/2023-01-26-ghc-update.
-
How does GHC built from source set header search path?
Ah GHCJS does have this header: https://github.com/ghcjs/ghcjs/blob/ghc-8.10/lib/boot/data/include/stg/DLL.h
- Haskell, JS, and WebDev?
-
GHCJS or Asterius
About the FFI: GHCJS extended the FFI to support inlined JS, named arguments, etc. See https://github.com/ghcjs/ghcjs/blob/master/doc/foreign-function-interface.md For now the JS backend only implements FFI calls similarly to native FFI. The rest will be open to discussion later (e.g. in a ghc-proposal) and should take into account the Wasm backend so that the same user code compiles with both backends as much as possible.
-
Memory from finished thread is not getting reclaimed
I know, but I'm using GHCJS so I'm pretty much stuck with it (and using different compiler versions for development builds (which are native executables) and production doesn't seem like a good idea). There is hope though https://github.com/ghcjs/ghcjs/commits/ghc-8.10
Other than that, I ran into a GHCJS and Miso bug, but they weren't too hard to solve.
-
GHC Pluggable Backend?
There are a bunch of open branches. And yes, there is ghcjs support in haskell.nix, see this comment.
-
Is GHCJS stuck on GHC 8.6.5?
Default branch on ghcjs github is 8.6. 8.10 is a wip with commit from around a month ago.
When I compile the ghc-8.8 branch locally, I get a number of test failures from the test suite. I'm not sure exactly how to fix them and they aren't currently my highest hobby priority.
What are some alternatives?
ascii-art-to-unicode - Small program to convert ASCII box art to Unicode box drawings.
ihp - 🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
ekg-carbon - An EKG backend to send statistics to Carbon (part of Graphite monitoring tools)
safe - Haskell library for safe (pattern match free) functions
aeson-serialize - Functions for serializing a type that is an instance of ToJSON
final - final monad helper for Haskell to instead of return
gotta-go-fast - A command line utility for practicing typing and measuring your WPM and accuracy.
argon2 - Haskell bindings to libargon2 - the reference implementation of the Argon2 password-hashing function
hascard - flashcard TUI with markdown cards
miso - :ramen: A tasty Haskell front-end framework
hackertyper - "Hack" like a programmer in movies and games! Inspired by hackertyper.net