Of Monads and Men

« first day (2 days earlier) ← previous day next day → last day (1961 days later) »

Laikoni

08:18

I wrote an explanation of why until=<<((==)=<<) is a fix point function, which might be of interest for new Haskell learners: codegolf.stackexchange.com/a/144402/56433

Also any idea if there is a shorter version without the import?

The shortest version without imports that I have found is 65 bytes: Try it online!

Anonymous

@Laikoni It's very clever

Laikoni

08:33

@Mego I can't take the full credit, because Ørjan Johansen suggested this trick a while ago, though I did derive it myself while writing this answer.

Anonymous

Well, I'm impressed, no matter who technically came up with the trick

Laikoni

One thing to keep in mind is that until=<<((==)=<<)$f is actually a byte longer than until(\x->x==f x)f. So it only saves some bytes if f can be expressed point free without auxiliary functions.

Martin Ender

You should totally change the room description from "For discussions about..." to "For little talks about..." ;)

Anonymous

08:49

@MartinEnder I'm relatively certain John Steinbeck predates a certain Finnish band :P

Martin Ender

Icelandic

Anonymous

Oh, I thought they were from Finland (given their song From Finner)

Martin Ender

and "Monsters" is phonetically closer to "Monads" than "Mice" is :P

(or going by Levenshtein distance...)

wait that might not be true

hm yeah, they're both 5 by Levenshtein... well.

Anonymous

My Head is a Tacit Function

flawr

11:20

@Laikoni I have the impression you use =<< more often than >>=, is there a reason?

I've actually been wondering a lot why there is fixed point built in!

I found myself using until(f>>=(==))f so many times.

(I actually asked this on SO a while back: stackoverflow.com/questions/38955348/… ) (Why don't you add the until=<<((==)=<<) solution there too? :)

3 hours later…

flawr

14:29

CMS (Chat Mini Survey): What editors or IDEs do you use for Haskell?

Laikoni

15:18

@flawr For this specific example I use this direction because f (g x) x = (f=<<g)x keeps the order of f and g. In general I can't think of a reason, maybe I do it unconsciously.

Though I have to admit that ((==)=<<)>>=until also looks kind of neat, though even more unclear.

flawr

@Laikoni Would be hilarious if you could operatorify a parenthesis

Laikoni

As long as someone else writes the parser, sure. :D

@flawr Sublime Text and TIO.

Even though there are some annoying syntax-highlighting bugs in sublime text.

flawr

@Laikoni do you use haskell regularly outside of golfing?

Zgarb

15:50

@flawr Emacs with haskell-mode, or TIO when golfing.

Laikoni

@flawr No, except sometimes as a calculator.

4 hours later…

Funky Computer Man

19:36

@flawr I use Vim and TIO. TIO for short programs and Vim for long ones.

flawr

So what should I use, sublime emacs or vim? :D

Funky Computer Man

I don't know about you. I'm don't like most of the things people like in their IDEs, I find colors and syntax completion annoying so I try to go as vanilla as possible

I also like Vim

4 hours later…

Laikoni

23:24

I have to admit, I'm rather proud about outgolfing Mathematica, JavaScript and Python by 85 to over 200 bytes on this challenge.