T-R

7 ms·

31.
by T-R 6y ago
TemplateHaskell and QuasiQuotes are very closely related. They're where that square bracket syntax comes from: [whamlet|Hello World!|] I would say that they're closer to the situation you're concerned about - they&
32.
by T-R 6y ago
You say "of course... I'd have to learn one or more flavors/styles of it", and that seems like a reasonable assumption, but it's not accurate in practice - the extensions largely just add features, so you just turn
33.
by T-R 6y ago
Careful decisions can scale with abstractions, if they're made with some rigor. In Python, for example, whenever I'm doing operations on lists, I need to consider every function in isolation - will this break for an empty list (zi
34.
by T-R 7y ago
I'm hoping that maybe Flakes[1] will help ease the issue/pull request situation by letting some of the namespaces move out of the main repository. [1] https://github.com/NixOS/rfcs/pull/49
35.
by T-R 7y ago
SAT solvers are starting to be used as tooling for functional languages - Liquid Haskell uses one for refinement types[1], and Djinn uses one for suggesting functions given a type[2]. Similarly to Djinn, Edwin Brady gave a presentation on u
36.
by T-R 7y ago
This came up indirectly in the thread on color emulation earlier[1] - there was some discussion of the need to emulate phosphor glow[2] [1] https://news.ycombinator.com/item?id=20959831 [2] https://sites.google.c
37.
by T-R 7y ago
The omission of where clauses was explicitly a stylistic choice[1]. This is perfectly valid Haskell: #!/usr/bin/env stack {- stack script --resolver lts-12.19 -} data Test = Test {count :: Int} test = l
38.
by T-R 7y ago
I've worked in Elm a decent bit, and used PureScript a little. Elm is a very opinionated language - it's very deliberately missing some abstraction power (typeclasses), and some functions that are the bread-and-butter of every fun
39.
by T-R 7y ago
Well, that's pretty much equivalent to the the language preventing bugs, for the purpose of the conversation. You can imagine similar cases that would be harder for a linter to pick up. Things like type errors, or accessing the wrong s
40.
by T-R 7y ago
This is a really arrogant statement. In C, `if(a = b)` could cause incredibly subtle bugs. It was prominent enough that it got addressed in all the best practices books, like "Writing Solid Code", with a style that got later ter
41.
by T-R 7y ago
To be fair, they only elected the conservative party, the LDP; the party elected the prime minister. Granted, they've elected the LDP almost continuously since 1955. Of course, they tried electing the other party in 2009, but their lea
42.
by T-R 7y ago
Haskell has a few libraries that do this[1]. Not trying to one-up the article or anything, just thought you might be interested to see that there are other places where this is available, and that it's not even something that needs ful
43.
by T-R 7y ago
HoTT was a popular topic in the Haskell ecosystem a little while back, so worth digging around there for info: - https://softwareengineering.stackexchange.com/questions/2623... - https://www.reddit.com/
44.
by T-R 8y ago
The thesis of laziness by default isn't "everything should be lazy", just that there's some benefit to having strictness be something you add as necessary - maybe that it's easier to add strictness to something lazy
45.
by T-R 8y ago
Not just games - toys like Hatchimals and LOL dolls are just loot boxes targeting an even younger demographic, with similar unboxing videos to market them.
46.
by T-R 8y ago
Something to keep in mind - linear types are on their way[1], with exactly this usecase in mind. Simon Peyton Jones gave an excellent presentation on the topic[2], briefly discussing exceptions, as well as giving a mention to ResourceT and
47.
by T-R 8y ago
I don't think we disagree in spirit - I didn't mean to imply that it prevents you from, e.g., writing all of your code in the IO monad, just the points you made in your last paragraph. So, more that they're a useful tool to h
48.
by T-R 8y ago
This concept is a big part of what the "big deal" around monads is - using monads to model effectful code conveniently puts the information of "this should be shell code" into the type, in a way that ensures that code th
49.
by T-R 8y ago
It's not about it being hard to write them out; everything that needs to get written out is surface area for bugs. One missed edge case could just mean that a node of your input layer gets zeroed for some of your rows where it shouldn&
50.
by T-R 8y ago
I agree in principle, but this is exactly why we've moved our data pipeline from Python to Haskell. The Python ecosystem has this concept of what is "pythonic", which, while it results in more code around the internet looking
51.
by T-R 8y ago
I'm not familiar with public green spaces in Europe, but there are definitely traditional parks all over Japan. In one place I lived, there was a sizeable park with a nice walking path through the woods just off the train into the city
52.
by T-R 8y ago
To the extent this comment can be construed as anything but content-less partisan dog-whistling, it's pretty off the mark here. Obnoxious as this particular measure is, it was passed as part of the funding for a, relatively speaking, b
53.
by T-R 8y ago
Which is doubly disgusting, since the US is one of the only countries that double-taxes its expats.
54.
by T-R 8y ago
I think that's kind of his point - Optionals/tagged unions are "Null values", but only in the places where they semantically make sense . The problem with nulls isn't strictly null references, in the sense of &quot
55.
by T-R 9y ago
I think those single-letter names like "S combinator" are a holdover from Math notation, where it was a practical consideration, but in practice in functional programming, those names aren't used (I certainly haven't mem
56.
by T-R 9y ago
It's intentionally to get across the idea that you don't, and shouldn't, know anything about these arguments within this scope beyond "this is a function" and "this is an argument". These functions just de
57.
by T-R 9y ago
> They chose (perhaps felt forced to chose) to change their body to fit the stereotype. This is kind of presuming the conclusion, and ignoring the stated experiences of the people being discussed. The concept of gender identity (whether
58.
by T-R 9y ago
I can't speak to the complexity of this project, but for ROM hacking in general, it's not all too complicated, but it does take some persisence. First you need to find code relevant to what you want to do. You can take diffs of me
59.
by T-R 9y ago
Impurity is a lack of constraints. You can, with impure code, write an interpreter for a language that constrains code to being pure, and implemented correctly, you can then depend on code written in that langauge to be pure. His point is
60.
by T-R 9y ago
That's a fair point - seems related to the fact that people aren't writing as much anymore. Anecdotally, I feel like Japanese picks a better point in the tradeoff space than other languages - Chinese characters are used where the

More ›