6 ms·

A Haskell monad that produces Brainfuck programs

• lifthrasiir 12y ago
  A monadic generation of the grammar is interesting. It reminds me of the following submission to ICFP 2011; it was placed the 3rd place in the main contest. https://github.com/tanakh/ICFP2011 https://github.com/tanakh/ICFP2011
• lmm 12y ago
  Brainfuck may be a bit of a silly use case, but we use similar approaches to e.g. manage database transaction boundaries in a safe way, while making higher-level functionality available.
  • bsaul 12y ago
    that sounds interesting. Any blog explaining ?
    • lmm 12y ago
      Not that I'm aware of. I intend to write a post about it sooner or later.
• deleted 12y ago
  [deleted]
• joeyh 12y ago
  "+[>[-]+++++++++++++>[-]<[->+<]>[->[-]++++++++[-<<+>>]<]<.---.+++++++..+++.[-]++++++++++++++++++++++++++++++++++++++++++++.------------.[-]+++++++++++++>[-]<[->+<]>[->[-]++++++++[-<<+>>]<]<.-------.++.++++++++.------.+++++++++++++.[-]++++++++++++++++++++++++++++++++.[-]+++++++++++++>[-]<[->+<]>[->[-]++++++++[-<<+>>]<]<++++++.---------.[-]+++++++++++++>[-]<[->+<]>[->[-]++++++++[-<<+>>]<]<+++++++++++++++.----.[-]+++++++++++++++++++++++++++++++++.<]"
  • Mathnerd314 12y ago
    This is an infinite loop printing "hello, hacker news!", for the curious.
• al2o3cr 12y ago
  Capitalization is important here. Downcase that "B" and the article would need to enumerate all Haskell programs. ;)