New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Haskell's kind system - a primer #3

Open
dcastro opened this Issue Oct 9, 2018 · 7 comments

Comments

Projects
None yet
5 participants
@dcastro
Copy link
Owner

dcastro commented Oct 9, 2018

Comments left here will be displayed on this blog post: https://diogocastro.com/blog/2018/10/17/haskells-kind-system-a-primer/

@giuliohome

This comment has been minimized.

Copy link

giuliohome commented Oct 18, 2018

Hi! thank you for this post. Quick question: assuming that Haskell types and kinds are awesome, don't you find a bit sad that there is no Haskell framework to effectively take advantage of them in a practical and modern i/o app for web or desktop or mobile development?
Is it only a purely intellectual exercise?

@dcastro

This comment has been minimized.

Copy link
Owner

dcastro commented Oct 18, 2018

Thank you for the comment @giuliohome!

The good news is, there are! Yesod and Servant are two frameworks for web development that rely heavily on advanced type-level programming features, which would not be possible without a kind system in the first place.

A great chunk of the Haskell ecosystem is built on this foundation in one way or another, so it's far from being a purely intellectual exercise.
For a casual Haskell user, this might not be obvious because the authors of these libraries/frameworks go to great lengths to make this as seamless as possible and to minimize the burden on their users.

@wiz

This comment has been minimized.

Copy link

wiz commented Oct 18, 2018

Please enable NoStarIsType for the post 😄

@pythonissam

This comment has been minimized.

Copy link

pythonissam commented Oct 19, 2018

Great post! We'd like to translate this into Japanese and publish it on our site so that we can share such valuable information. May I ask your permission?

@dcastro

This comment has been minimized.

Copy link
Owner

dcastro commented Oct 19, 2018

@wiz I admit I wasn't counting on GHC 8.6 being released while I was writing this 😄 bad timing I guess.

@pythonissam Yes, of course, I'd be honoured! Let me know when it's done and I'll add a link to it here.

@pythonissam

This comment has been minimized.

Copy link

pythonissam commented Oct 21, 2018

Thank you! I'm going to tell you when it's done:)

@juselius

This comment has been minimized.

Copy link

juselius commented Oct 26, 2018

Excellent post! This is a really nice summary of Haskell kind level programming. Clear and readable. This should go into a textbook. Well done!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment