[HN Gopher] A simple program reducer for any language
       ___________________________________________________________________
        
       A simple program reducer for any language
        
       Author : ingve
       Score  : 66 points
       Date   : 2021-03-27 07:59 UTC (1 days ago)
        
 (HTM) web link (comby.dev)
 (TXT) w3m dump (comby.dev)
        
       | jedisct1 wrote:
       | Very cool stuff!
       | 
       | And exactly what I was looking for when hitting compiler errors
       | in Zig.
       | 
       | Thank you!
        
       | egonschiele wrote:
       | I hadn't heard the concept of a reducer. Very cool!
        
         | macintux wrote:
         | Erlang QuickCheck, and I would guess Haskell as well, offers a
         | reducer. It's really quite impressive.
         | 
         | Any John Hughes talk is worth watching; here's one where he
         | demonstrates the functionality.
         | 
         | https://youtu.be/gPFSZ8oKjco
        
           | TacticalCoder wrote:
           | So does Clojure's test.check. Even though Clojure ain't typed
           | you can define "specs" of your data and then have generators
           | generating random data (it's not the only use of specs: they
           | can also be used as a way to verify inputs to functions). The
           | generators data can be used to, say, quickly create fake
           | database with lots of data or fed into test.check which then
           | does fuzzy testing and then tries hard to reduce failing test
           | cases to minimal cases.
        
           | FeepingCreature wrote:
           | There's also DustMite for D.
           | https://dlang.org/blog/2020/04/13/dustmite-the-general-
           | purpo... It's fairly D specific though.
           | 
           | I've submitted dozens of bugs with it. It's pretty great.
        
       | eatonphil wrote:
       | Comby looks great. I've been wondering recently why there isn't a
       | mature tool for both language agnostic lining and transforms. I
       | started using semgrep for linting various languages but I just as
       | soon want to run transformations.
       | 
       | Maybe Comby is what I'm looking for for both cases.
        
       | anitil wrote:
       | Is anyone else having difficulty viewing this on firefox? I'm
       | getting a HSTS error.
        
         | brutal_chaos_ wrote:
         | Not an issue on Nightly for Android 11.
        
       | hinkley wrote:
       | Is this the same basic principle as the back half of property
       | based testing? Winnowing the example down to the critical
       | components?
        
       ___________________________________________________________________
       (page generated 2021-03-28 23:00 UTC)