4 ms·

Can you expand on what disappointed you about Haskell. I’m not looking to convert you or anything, just curious.

by throwaway17_17 4y ago

daosound 4y ago
Hi, do you have a link to your language? You teased it quite a bit and I'm very curious to learn much more.
- throwaway17_17 4y ago
  I didn’t intend to have the conversations I’d had on HN to appear like teasers (although that is a cool thought). I don’t have any public write ups on it or a public distribution point. It was pretty heavily argued that I was being unreasonable about not releasing, at a minimum, a blog about it for ‘fear’ of unwanted criticism. I don’t have a GitHub (all my code is proprietary for my job so it is never released) so I may try and set up a repo or try and find a place to host a blog.
  - daosound 4y ago
    Or you can just link a scribd or google docs link with details about the language's design...until you decide on where your blog will be.
    - throwaway17_17 4y ago
      That’s not a bad idea, and it would certainly be faster than working out where to host a blog.
- throwaway17_17 4y ago
  I’m not sure if you are checking this random post, but I talked myself into doing some writing on the language (in a presentable format as opposed to my usual .txt file scribbles). Since you are the only person who actively asked for details/info what kind of things would you want to read about? I could write a large amount about my particular beliefs about software, type theory, category theory, and language design, but I would end of writing unconnected ideas all over the place. So, I am trying to focus on presenting the language and using it as an example of the implementation of those topics and a jumping off point for further descriptions of ideas. I think I’m down to two primary options for presenting some general info as a starting point: a) doing a `front page` type thing laid out like the why-Koka page for the Koka language [1]. (essentially a brief section about each foundational theoretical aspect) Then having links put in for more theoretical/formal information as I write it up. b) just doing narrative style ‘blog’ post writings about whatever concepts people may want to hear about. I’m leaning towards option A, but without quite such a strong emphasis on how to use the language and more focus on what the language is. But if you think it would be more informative to just read randomly connected blogs let me know. I’ve never done this before so I don’t have a clue what other people find interesting. 1 - https://koka-lang.github.io/koka/doc/book.html#why https://koka-lang.github.io/koka/doc/book.html#why

Can you expand on what disappointed you about Haskell. I’m not looking to convert you or anything, just curious.

daosound 4y ago

Hi, do you have a link to your language? You teased it quite a bit and I'm very curious to learn much more.

throwaway17_17 4y ago
I didn’t intend to have the conversations I’d had on HN to appear like teasers (although that is a cool thought). I don’t have any public write ups on it or a public distribution point. It was pretty heavily argued that I was being unreasonable about not releasing, at a minimum, a blog about it for ‘fear’ of unwanted criticism. I don’t have a GitHub (all my code is proprietary for my job so it is never released) so I may try and set up a repo or try and find a place to host a blog.
- daosound 4y ago
  Or you can just link a scribd or google docs link with details about the language's design...until you decide on where your blog will be.
  - throwaway17_17 4y ago
    That’s not a bad idea, and it would certainly be faster than working out where to host a blog.
throwaway17_17 4y ago
I’m not sure if you are checking this random post, but I talked myself into doing some writing on the language (in a presentable format as opposed to my usual .txt file scribbles). Since you are the only person who actively asked for details/info what kind of things would you want to read about? I could write a large amount about my particular beliefs about software, type theory, category theory, and language design, but I would end of writing unconnected ideas all over the place. So, I am trying to focus on presenting the language and using it as an example of the implementation of those topics and a jumping off point for further descriptions of ideas. I think I’m down to two primary options for presenting some general info as a starting point: a) doing a `front page` type thing laid out like the why-Koka page for the Koka language [1]. (essentially a brief section about each foundational theoretical aspect) Then having links put in for more theoretical/formal information as I write it up. b) just doing narrative style ‘blog’ post writings about whatever concepts people may want to hear about. I’m leaning towards option A, but without quite such a strong emphasis on how to use the language and more focus on what the language is. But if you think it would be more informative to just read randomly connected blogs let me know. I’ve never done this before so I don’t have a clue what other people find interesting. 1 - https://koka-lang.github.io/koka/doc/book.html#why https://koka-lang.github.io/koka/doc/book.html#why