5 comments

  • balakk 15 minutes ago
    Finally, an article about humans programming some computers. Thank you!
  • gbacon 13 minutes ago
    That’s beautiful work. Check out other examples in the interactive web app:

    https://ieviev.github.io/resharp-webapp/

    Back in the Usenet days, questions came up all the time about matching substrings that do not contain whatever. It’s technically possible without an explicit NOT operator because regular languages are closed under complement — along with union, intersection, Kleene star, etc. — but a bear to get right by hand for even simple cases.

    Unbounded lookarounds without performance penalty at search time are an exciting feature too.

  • sourcegrift 1 hour ago
    I've had nothing but great experience with F#. If it wasn't associated with Microsoft, it'd be more popular than haskell
    • raincole 1 hour ago
      I think if it weren't a 'first class' member of .NET ecosystem[0], no one would know F#. After all Haskell and Ocaml already exist.

      [0]: my very charitable take, as MS obviously cares C# much much more than F#.

      • pjmlp 6 minutes ago
        Management has always behaved as if they repent having added F# to VS 2010, at least it hasn't yet suffered the same stagnation as VB, even C++/CLI was updated to C++20 (minus modules).

        In any case, those of us that don't have issues with .NET, or Java (also cool to hate these days), get to play with F# and Scala, and feel no need to be amazed with Rust's type system inherited from ML languages.

        It is yet another "Rust but with GC" that every couple of months pops up in some forums.

    • dude250711 1 hour ago
      • sourcegrift 37 minutes ago
        > But they all just skip the press releases and go straight to the not using it part

        Lol

    • lynx97 1 hour ago
      You realize that Microsoft Research employed Simon for many many years?
  • anentropic 43 minutes ago
    Fantastic stuff!

    FYI some code snippets are unreadable in 'light mode' ("what substrings does the regex (a|ab)+ match in the following input?")

    • ieviev 8 minutes ago
      ah thank you for letting me know, fixed it now!
  • sourcegrift 18 minutes ago
    Obligatory: Hitler reacts to functional programming

    https://m.youtube.com/watch?v=ADqLBc1vFwI