psibi

This functionality is sort of now available in the package xmonad-contrib[0].

[0] http://xmonad.org/xmonad-docs/xmonad-contrib/XMonad-Actions-...

The post doesn't refer to Ubuntu's unity but the game engine Unity.

Yeah, but it's just easier to refactor in a functional language. :)

> is there any way to add Go (golang) support?

The details seems to be here: https://github.com/syl20bnr/spacemacs/tree/master/layers/%2B...

I'm not so sure about the quality of the recent Packt books. They seem to be concentrating more on quantity rather than quality. I was approached by them to write a book on a topic that I wasn't good at!

Also incidents[0] like this don't really make a good impression about them.

[0]: https://www.reddit.com/r/haskell/comments/1rj2jq/book_haskel...

For someone not following the project, what's the reason for deprecation and switch over to LLVM ?

Any announcement/mailing list link regarding that ?

Edit: Found that: https://lists.gnu.org/archive/html/emacs-devel/2015-11/msg00...

No, it's not required.

I used to fill using the government site and I find it's UI terrible. Unless I know what I'm doing, I can easily screw up there. ClearTax makes it easy for a layman person to understand and use it.

FTP (The Foldable/Traversable proposal in prelude) is a change done to the core library of GHC 7.10. It brings the Foldable and Traversable typeclass to Prelude and makes the existing function of Prelude more polymorphic. Like the type signature of the function "and" changes from [Bool] -> Bool to Foldable t => t Bool -> Bool. People in the Haskell community have divided opinions about this. You can see more details here[0].

[0] https://wiki.haskell.org/Foldable_Traversable_In_Prelude

> Equals is a lie: = ≠ =

This has occurred opposite to me while learning Mathematics. As a programmer, who has been learning fundamental mathematics from the past year, the whole assignment/equivalence thing screwed me up so many times.

A more detailed explanation here: https://queue.acm.org/detail.cfm?id=2538488 (from the same author of the post).

This answer[0] explains various parts of RWH which is outdated.

[0] http://stackoverflow.com/a/23733494/1651941

This is a fairly nice quasiquotation tutorial: https://www.fpcomplete.com/user/marcin/quasiquotation-101

Is step 4 really required ? nix-shell already gives you a sandbox environment.

Also their user manual[0] is really good now.

[0]https://hydra.nixos.org/job/nixpkgs/trunk/manual/latest/down...

I just came to know that the site is using flat files and surprised. Is that still the case ? Why was such a design selected ?

Doesn't happen anything after clicking the Start button in Firefox on Linux.

> List comprehensions and generator expressions have replaced all need for map, filter, and lambdas, and are far more readable.

I would say that is debatable. Coming from an FP background, I use map, filter and lambdas nearly all of the time because I find it more readable and can easily reason about the code. I have seen some two line list comprehensions and they are far harder for me to read and understand.

> Everything must be well thought out before you start to write a line

Not exactly. When you are initially learning the language, you have to think a little more. But once you are comfortable with it, the type signatures dictate you what to do. Also, it's quite easy to refactor to a different design because of the types.

Can you expand upon what you mean by complete Haskell stack ? What do you feel are currently missing from Yesod ?

I have the book print version and that certainly is outdated. But the online version isn't outdated (mostly). The current version of Yesod[0] is 1.4 and according to the book site it targets 1.4. That being said contributing to any of Michael Snoyman's (main yesod developer) project (including the book) is easy and fun. He is very responsive and friendly. :)

[0]https://hackage.haskell.org/package/yesod

Also the nice thing about Yesod, is the freely available online book[0].

[0] http://www.yesodweb.com/book

How much does algebra contribute to learning Type theory ? I'm currently working on the How to prove it book. I thought, I would jump to TAPL after finishing that.

The major change which I see is how the Python code becomes more pure. Using code which are side effect free gives me the ability to easily reason about them. I can jump in the code even after many months and easily understand them without trying hard. Using function composition to glue things makes complex system very simple.

Note that you can translate the skills you learn from Haskell to other languages. The way I write code in Python and Javascript for my day job has drastically changed after I have learned Haskell.

Also unusable on Linux + Firefox.

I did use Octave during my university time even though the course I was doing recommended and used Matlab. And I think for nearly the entire course, Matlab commands were an one-to-one translation to Octave. I personally feel science should be done using open tools.

I have seen many people recommending urxvt. What is the advantage of it compared to gnome-terminal ? The last time I tried it, it's default font size was too small and I didn't like the font. Does it take some fiddling (configuration etc) with urxvt to bring it a minimal usable state ?

Can I see the table of contents anywhere ?

Yes, they know about Elm. They have mentioned it in the article.