bitmapper

6 ms·

1.
by bitmapper 4y ago
It would be, if the code wasn't so horrifically bitrotted at this point. GHC has changed a lot since Elm last got any meaningful update, and they decided to use unsafe GHC primitives everywhere that have no support guarantee. You have
2.
by bitmapper 4y ago
this got replaced with ghcup iirc
3.
by bitmapper 4y ago
What do you mean the function to create a directory? When would you be creating directories outside of derivation build phases?
4.
by bitmapper 4y ago
I find the options search to be generally suitable for that case https://search.nixos.org/options
5.
by bitmapper 4y ago
This is just a ChromeOS tablet except it's running a customized version of ChromiumOS?
6.
by bitmapper 4y ago
There's cadmium there, yeah. But cadmium is not addictive, and is not a reason for cigarettes being addictive. Removing the cadmium will not make cigarettes less addictive. Tobacco plants pull metals in from the soil, which includes ca
7.
by bitmapper 4y ago
For simple languages, it can be a bit of a pain to write and maintain a lexer and a parser. For example, if I'm gonna parse JSON and nothing more, I think it's a bit silly to use a two external DSLs when I could use a simple eDSL.
8.
by bitmapper 4y ago
https://hoogle.haskell.org/ can be helpful for this
9.
by bitmapper 4y ago
I'm really not a fan of IHP for that purpose due to how it redefines so much of the Haskell Prelude without making it clear it does that.
10.
by bitmapper 4y ago
I don't really think many people are calling it a panacea. From my experience in the community most people I know who write Haskell write it for productivity reasons (including me, I'd rather be using Idris 2 with algebraic effect
11.
by bitmapper 4y ago
I personally don't like Rust (I like to have a garbage collector for what I do), but I don't think it's a hard to read language. Readability is an incredibly subjective thing. For example, APL might look like an absolute mess
12.
by bitmapper 5y ago
Parametric polymorphism is even older than that! It's almost 60 years old, having originated in CPL.
13.
by bitmapper 5y ago
Honestly, my main issues are with the lack of generics and the "dynamically typed effect system". The idea of a minimalist runtime and language reminds me of Clean a little bit.
14.
by bitmapper 5y ago
Fair enough! Sorry, I didn't intend that to be rude, I just genuinely didn't understand as it seems to be two very conflicting ideologies merged.
15.
by bitmapper 5y ago
Since when are generics automatic casting?
16.
by bitmapper 5y ago
I cannot comprehend what would drive someone to make this.
17.
by bitmapper 5y ago
Yeah! I worked with Robert Smith on porting it to modern CL implementations. Not a fun codebase.
18.
by bitmapper 5y ago
I used to use CL quite a bit, but have since abandoned it for Haskell, so I'm a bit biased. There's a number of issues with that: - I'd be missing all the optimizations that can be performed due to purity. - There's mor
19.
by bitmapper 5y ago
And then when things like dependent types get involved, I'm betting that the amount of bugs greatly decreases, even more than that.
20.
by bitmapper 5y ago
eh, iirc fused-effects is used in production, along with haskell (obviously)
21.
by bitmapper 5y ago
I already brought this up with them, they knew about it but decided that it "doesn't have enough usage so we aren't worried about people getting our product confused with it".
22.
by bitmapper 5y ago
My favorite example of this is probably Clean, which solves this using uniqueness types. You can have unique values that are managed using compile time memory management, but also are free to use garbage collected values. It makes for a ver
23.
Getting Rid of Rust with Ada(blog.adacore.com)
4 points by bitmapper 7y ago|0 comments
24.
Beating C with 34 lines of Standard ML(gist.github.com)
3 points by bitmapper 7y ago|0 comments