### Giorgio Mossa

Discussion -Does anyone known if there's any project aiming to add dependent types into Haskell standard?

1

3 comments

Thanks for this precious comments and the relative references. I'm gonna go to read them.

Add a comment...

Giorgio Mossa

614 followers|14,041 views

AboutPostsPhotosVideos

Does anyone known if there's any project aiming to add dependent types into Haskell standard?

1

3 comments

Thanks for this precious comments and the relative references. I'm gonna go to read them.

Add a comment...

Does anyone know a blog platform written in haskell (maybe in yesod project)?

1

4 comments

Dan Burton

+

2

3

2

3

2

While not a platform in and of itself, BlogLiterately has worked well for me. (I use it with wordpress.com)

http://byorgey.wordpress.com/blogliterately/

http://byorgey.wordpress.com/blogliterately/

Add a comment...

New foundations for mathematics

http://golem.ph.utexas.edu/category/2013/01/from_set_theory_to_type_theory.html

http://golem.ph.utexas.edu/category/2013/01/from_set_theory_to_type_theory.html

1

Add a comment...

Hello everyone,

I'm Giorgio. I'm a math student and I'm from Italy. I've lot of scientific interests, primarily in algebra, category theory, algebraic topology, computer science, physics......well let's keep it simple, I'm interested in science :D.

I hope I could learn lot of stuff from this community and maybe help others to learn something new too.

I'm Giorgio. I'm a math student and I'm from Italy. I've lot of scientific interests, primarily in algebra, category theory, algebraic topology, computer science, physics......well let's keep it simple, I'm interested in science :D.

I hope I could learn lot of stuff from this community and maybe help others to learn something new too.

3

Add a comment...

Now I get why in my first course of algebra the professor said "two is a pain in the neck"

http://en.wikipedia.org/wiki/Feit%E2%80%93Thompson_theorem

http://en.wikipedia.org/wiki/Feit%E2%80%93Thompson_theorem

1

2 comments

No, I didn't, but I have to admit it's a pretty cool fact.

Add a comment...

It seems to me that Elsevier is fearing the real power of mathematical community. They have understood that mathematicians have the power to do their jobs without them, thus I'm wondering "why should mathematicians stop now?"

Further concessions from Elsevier in a "letter to the mathematics community".

http://www.elsevier.com/wps/find/P11.cws_home/lettertothecommunity

These are welcome changes, but they don't exactly change the publishing landscape. Having said that, they also claim that this is just the beginning.

http://www.elsevier.com/wps/find/P11.cws_home/lettertothecommunity

These are welcome changes, but they don't exactly change the publishing landscape. Having said that, they also claim that this is just the beginning.

1

2

Add a comment...

"Category theory, you can understand it as the linguistics of pure mathematics" (Richard Garner)

Category Theory - Dr Richard Garner - Macquarie University

Category Theory - Dr Richard Garner - Macquarie University

14

6

Add a comment...

An amazing paper on infinite category theory, which helped me clarifying lots of things :)

http://arxiv.org/abs/1303.4669

Enjoy

http://arxiv.org/abs/1303.4669

Enjoy

4

Add a comment...

Maybe there's someone who can help me with this stuff?

http://math.stackexchange.com/q/263835/11888

http://math.stackexchange.com/q/263835/11888

1

Add a comment...

A really interesting post I hope you enjoy.

Thanks to Mr +Andy Adams-Moran for sharing this.

Thanks to Mr +Andy Adams-Moran for sharing this.

Bartosz Milewski on "The Downfall of Imperative Programming". I obviously agree with him, but then I am biased: http://fpcomplete.com/the-downfall-of-imperative-programming/

1

2 comments

+Giorgio Mossa, accidenti a te, ora mi sembra una buona idea imparare anche rudimenti di Haskell...

· Translate

Add a comment...

Story

Tagline

One can solve every problem if he studies it from the right point of view: a.k.a. with the right functor you can solve every problem!

Introduction

I'm a wanna be (higher) category theorist, whose interests ranges from algebra and logic to topology, but I don't mind science in general.

I'm a student in mathematics and (sometimes) a programmer too, in particular I enjoy writing haskell code, anyway I've studied also javascript, C, C++, bash and I'm learning python.

I'm a student in mathematics and (sometimes) a programmer too, in particular I enjoy writing haskell code, anyway I've studied also javascript, C, C++, bash and I'm learning python.

Basic Information

Gender

Male