fedvasu

FAQ emphasizes a lot on OOP what about immutability and pattern matching?

my point still stands, it is advanced mathematics at this stage. you do have a CS doctorate but as I said it requires time and refinement to make it accessible even for CS researchers. It is un-scientific to criticize and snub which you can't make informed arguments about.

what a load of bullshit. you don't even have a phD in mathematics, let alone in similar subject of HoTT. News flash calculus was considered very advanced curriculum for even mathematicians in 17th century, only discussed in scholarly correspondence of elite mathematicians and physicists. your ignorance is not the reason HoTT will fail/pass. This is not a programming language where the uptake depends on the stupidity of programmers. It is mathematical theory if the premise and potential is interesting enough it will thrive or perish. you are not special you are not a unique snowflake (neither am I). Science(mathematics is described as queen of sciences) needs good education to understand and appreciate it, you can't criticize which you don't understand. I would love to read informed criticism, I for one even welcome a little ridicule if it is justified by sound arguments.

Honest Question : So now Chess will be more fashionable game?

Sorry Professor, there is only one person behind typed-racket Sam, AFAIK. typed racket isn't very well supported or documented or even advertised by racket folks.

sounds like ML+contracts, but wait is it statically typed? Maybe not Racket folks hate types (with great dredd)

yeah right. It is beta-quality unfit for pre-packaging in distro's. ABI incompatible with libstdcxx and deliberately OS X only. (It works sure (i mean kinda) no one is actually a linux port developer or maintainer not yet)

off-topic : please pardon me, does rust support multi-parameter typeclasses? a link with example would be nice. docs don't go into typeclasses much.

>> fold () x it should be fold () 1 x or foldr1 () x or foldl1 () x of course according to Guy Steele, fodl and foldr are considered harmful :)

Am I the only guy rooting for Snapdeal? I mean yeah, currently flipkart is better than snapdeal, but snapdeal has better pricing and variety in products,Snapdeal needs good engineering talent now,specially with their search and filtering of products.

llvm backend, seems very sleepy if not dead. I thought it was a cool project.

Try Fedora, they have guile 2.o working out of the box, guile binds C libraries quite easily, the documentation is decent (and ofcourse under GFDL). Fedora is pretty much the "GNU/Linux", RMS wanted (except some firmware, which RMS is touchy about.) Fedora has very good, tools for developers (all libre/opensource), they even have a feature slated for Fedora 20 called dev-assist, which helps setup several development environments and manage them pretty easily.

I totally agree,but aren't already gamers psyched about GTA franchise (I am!!)? Yes GTA deserves it.

Can anyone tell me how much did Batman Arkham Asylum, Injustice:Gods among us and Batman Arkham City made?(individually) I am asking this because I feel that DC puts their best creative writers behind games (Paul Dini for instance) instead of movies (forget TDK trilogy, that's Noolan empire). I wonder How much more Man Of Steel would have made if the plot was more cohesive and deeper.

please post enough evidence, which conclusively says we are not even scratching the surface of earth's resources and it is cool to increase population to 15 billion by mid 21st century and pollution is not due to humans and global warming is a sham created by Neo-hippies.