mikeplus48

3 ms·

1. 1.▲
   by mikeplus48 14y ago

   Start with the spelling. :) data GADT a where Constructor0 :: Field a -> Field b -> GADT (a, b) Constructor1 :: ... ...
2. 2.▲
   by mikeplus48 14y ago

   There's luakit, uzbl, surf and jumanji from the top of my head, but I don't think any of these have "full interoperability with the CLI". luakit is definitely my favourite as it has been much more reliable than uzbl and easier to configure/
3. 3.▲
   by mikeplus48 14y ago

   No, ghc produces statically linked binaries by default (-dynamic if you don't like that).
4. 4.▲
   by mikeplus48 14y ago

   You don't have to syntactically consume all of arguments of a function to write its body. f :: a -> Int -> Int -> Int f x = (+) There really isn't anything meaningful to do with a function before it has consumed all
5. 5.▲
   by mikeplus48 14y ago

   I don't understand this point. If you have arguments x and y that you want to apply to this function, I don't see the problem in "using them directly". Function application in Haskell is first class. If you have f :: x -> y ->
6. 6.▲
   by mikeplus48 14y ago

   This gives me an idea for a scanf-like QuasiQuoter...
7. 7.▲
   by mikeplus48 14y ago

   I'm the author of this post, it was a joke. I said "For those who have no idea what they're doing 90% of the time when they are in bash" very sarcastically, but obviously this wasn't conveyed very well, sorry. edit: I know the defense "it