Search Haskell Channel Logs

Saturday, March 4, 2017

#haskell channel featuring monochrom, glguy, Guest55569, sanjoyd, Squarism, ezyang,

Guest55569 2017-03-04 13:47:58
@monochrom dunno, looks like there's nothing there
lambdabot 2017-03-04 13:47:58
Unknown command, try @list
Guest55569 2017-03-04 13:48:51
monochrom dunno, looks like there's nothing there
monochrom 2017-03-04 13:49:46
Then I don't know.
geekosaur 2017-03-04 14:07:42
Guest55569, windows? text editors often hide byte order marks, which some editors (including some versions of notepad) stick on the front to differentiate utf8 from iso8859 or other single-byte code page content
geekosaur 2017-03-04 14:08:10
notepad++ is usable and a fairly big improvement if you've been using notepad.exe
Guest55569 2017-03-04 14:10:55
geekosaur, I am running stack from a linux VM on windows
Guest55569 2017-03-04 14:13:17
notepad++ doesn't see anything weird, just LFs
Guest55569 2017-03-04 14:15:27
geekosaur ended up just saving it another file and it works, must be some kind of encoding issue. thanks.
sanjoyd 2017-03-04 14:17:40
Is there a way I can introduce a "scoped" type alias in Haskell? I.e. "type Name = String" but only limited to a specific function?
sanjoyd 2017-03-04 14:17:45
s/function/lexical scope/
ezyang 2017-03-04 14:17:54
sanjoyd: No, sorry :(
sanjoyd 2017-03-04 14:18:14
ezyang: thanks!
Squarism 2017-03-04 14:26:11
The final part of the puzzle im onto. How to put one existential type into a existentially typed Map? http://lpaste.net/353224
Squarism 2017-03-04 14:27:02
...it would involve aligning 2 unknown types and i just dont feel i have a wild guess on how
glguy 2017-03-04 14:37:24
Squarism: You don't
Squarism 2017-03-04 14:37:58
Hm ok. So this approach wont work?