@edwinbrady is yesterday's #idris run length encoding example available anywhere? I'd really like to show it to my colleagues
-
-
@edwinbrady I managed to implement rle: (xs: List Char) -> RLE xs. But the inverse type doesn't compile: unrle : RLE xs -> xs. Any hints? -
@erikrozendaal xs isn't a type, but a value, so RLE xs -> [type of xs] (A hint rather than an answer as requested. Happy to elaborate :)) - 3 more replies
New conversation -
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@edwinbrady@erikrozendaal Doesn't it do a lot of extra work by throwing away rs at line 27? -
@sjoerd_visscher@erikrozendaal Good point, that would be a silly way to do it. We could just traverse RLE.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.