Hacker News Board Hacker News, browsed like a classic message board
Live data from Hacker News

Show HN: IHP v1.0 – Batteries-included web framework built on Haskell and Nix

ihp.digitallyinduced.com

Post reply on HN
Print view View original

31–40 of 40 posts

Re: Show HN: IHP v1.0 – Batteries-included web framework built on Haskell and Nix

#31

Post by njrc9 »

dllthomas wrote: post #27
njrc9 wrote: post #26

Earlier quoted context omitted.

Thanks for the feedback. I am definitely a beginner in Haskell, which would explain why I came to this conclusion. Could you recommend some good sources on testing in Haskell?

While of course Haskell has more normal testing infrastructure available (eg. https://hspec.github.io/ ), my favorite bit of Haskell testing is QuickCheck, which IIUC started life in Haskell and has been reimplemented in other languages with various degrees of effectiveness and various degrees of connection to the original project. John Hughes (not the filmmaker) gives a great talk about it: https://youtu.be/zi0rHwfi…

Thank you very much! I just finished watching the video and am now reading more on QuickCheck. This approach makes a lot of sense.

Re: Show HN: IHP v1.0 – Batteries-included web framework built on Haskell and Nix

#33

Post by _query »

ilrwbwrkhv wrote: post #32

Why is the editor integration and autocomplete still so poor? Shouldn't strong types help with that?

Check out the docs on editor integrations: https://ihp.digitallyinduced.com/Guide/editors.html

With VSCode the editor integration and autocompletion should work really well. You can see a demo in this video: https://www.youtube.com/watch?v=_8_8XYO6rgY

Re: Show HN: IHP v1.0 – Batteries-included web framework built on Haskell and Nix

#35

Post by ilrwbwrkhv »

_query wrote: post #33
ilrwbwrkhv wrote: post #32

Why is the editor integration and autocomplete still so poor? Shouldn't strong types help with that?

Check out the docs on editor integrations: https://ihp.digitallyinduced.com/Guide/editors.html With VSCode the editor integration and autocompletion should work really well. You can see a demo in this video: https://www.youtube.com/watch?v=_8_8XYO6rgY

The jsx seem not to have highlighting or completions?

Re: Show HN: IHP v1.0 – Batteries-included web framework built on Haskell and Nix

#36

Post by desireco42 »

_query wrote: post #20
desireco42 wrote: post #15

Wow, just started watching video, this is really nice. The integrated environment, db and everything makes it super easy to get started. I guess you made it so you just have no excuses to try this out. Big thank you for developers.

Thanks! :) I appreciate your feedback

Here is more feedback. Installation of everything is a little bit hairy... It didn't work in my fish shell but I had to switch to zsh to make it work...

When you edit database, instead of waiting for you to click update, maybe you can prompt user after update... "Do you want to run migrations?"

Small things like that.

Overall I love functional aspects of it and will be playing more in days to come.

Re: Show HN: IHP v1.0 – Batteries-included web framework built on Haskell and Nix

#37

Post by belmont_sup »

mgomez wrote: post #17

I've been meaning to pick up either Haskell or OCaml for my next language. On the OCaml side, I see Cornell's free CS 3110 textbook recommended around here. Is there something similar on the Haskell side?

I’m going through Effective Haskell. https://pragprog.com/titles/rshaskell/effective-haskell/ Pretty great resource, but still WIP.

Re: Show HN: IHP v1.0 – Batteries-included web framework built on Haskell and Nix

#38

Post by switchbak »

mananaysiempre wrote: post #23
switchbak wrote: post #12

Earlier quoted context omitted.

Don't need to write _type_ tests (like you would in a dynamic language). Having strong typing doesn't magically do formal validation on your logic. Leaning heavily on types is good practice, but that doesn't eliminate most of the high value tests you'd have to write.

Haskell's QuickCheck, AFAIK the first prominent implementation of property-based testing, gained its popularity partly because it eliminated a good part of the tedium by inferring the sampling strategies from the types (which in idiomatic Haskell are, due to liberal use of opaque type synonyms, often quite a bit more specific than in any other non-dependently-typed language I've seen). Which does not free the program…

You'll find no argument from me there, property based testing has been a real game changer for me. I imagine it would have a fraction of the value without being able to leverage the type system to a great degree.

Re: Show HN: IHP v1.0 – Batteries-included web framework built on Haskell and Nix

#39

Post by _query »

ilrwbwrkhv wrote: post #35
_query wrote: post #33

Earlier quoted context omitted.

Check out the docs on editor integrations: https://ihp.digitallyinduced.com/Guide/editors.html With VSCode the editor integration and autocompletion should work really well. You can see a demo in this video: https://www.youtube.com/watch?v=_8_8XYO6rgY

The jsx seem not to have highlighting or completions?

There's a couple editor plugins to get you that: For VS Code: https://marketplace.visualstudio.com/items?itemName=s0kil.vs... for

For Sublime: https://packagecontrol.io/packages/Haskell%20HSX

Re: Show HN: IHP v1.0 – Batteries-included web framework built on Haskell and Nix

#40

Post by weatherlight »

belmont_sup wrote: post #37
mgomez wrote: post #17

I've been meaning to pick up either Haskell or OCaml for my next language. On the OCaml side, I see Cornell's free CS 3110 textbook recommended around here. Is there something similar on the Haskell side?

I’m going through Effective Haskell. https://pragprog.com/titles/rshaskell/effective-haskell/ Pretty great resource, but still WIP.

Same. Thus far its been pretty easy to follow along and I haven't ran into any show stopping issues.
Post reply on HN