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

The Clean Language

clean.cs.ru.nl

Post reply on HN
Print view View original

21–30 of 48 posts

Re: The Clean Language

#21

Post by toolslive »

cies wrote: post #10
tempodox wrote: post #5

Earlier quoted context omitted.

The IO monad (in Haskell) will always be the same, no matter how much I/O you perform. A unique File type, for instance, will be different before and after I/O, reflecting that side effects are not idempotent. In other words, a change in mutable state is reflected in a change of type.

I'd love to see an example of this (the wikipedia page is not very clear to me). Is there a Clean or Idris program somewhere I can have a look at?

Mercury has them too:

https://www.mercurylang.org/information/doc-latest/mercury_r...

useful for things like file descriptors. The type system will, for example prevent sharing of your file descriptors between threads.

Re: The Clean Language

#22

Post by moffkalast »

tempodox wrote: post #3

Having never heard of this, I found the FAQ page an informative starting point. https://clean.cs.ru.nl/FAQ In simplistic terms, Clean seems to be a “better Haskell”. Edit: I just downloaded the bundle tar, looked at some sources and found out that vim has syntax coloring for Clean out of the box. Vim never ceases to amaze me. More Edit: Clean transpiles to C, which means that when you look at generated code, or just…

No post body was provided.

Re: The Clean Language

#23

Post by scoopertrooper »

schleck8 wrote: post #17
steve_taylor wrote: post #15

For a language called clean, it has a messy website.

How hard is it to include a syntax snippet? Same as with a lot of FOSS software which has a really long essay as explanation but not one screenshot of the GUI

There's a link to a page full of syntax examples in the first paragraph.

https://clean.cs.ru.nl/Quick_impression

Re: The Clean Language

#24

Post by lower »

Xophmeister wrote: post #11
cies wrote: post #8

Earlier quoted context omitted.

It's a pity this info is so hard to find. I had to click for a minute to find some example code, and thought: this is very much like Haskell. I wonder how it's better than Haskell, why not Idris/Coq/Adga, and why not contribute to any of the just mentioned projects. This info, combined with some code and a description of the target audience of the project would be very helpful indeed.

I'd never heard of it, either, but its Wikipedia page[1] says it's been around since 1987, so it's a little bit older than Haskell. [1]: https://en.wikipedia.org/wiki/Clean_(programming_language)

I remember looking at Clean at the time when Haskell98 was new. It had uniqueness types at the time and this seemed really cool for efficient destructive updates. But all the excitement was with Haskell.

Re: The Clean Language

#25

Post by andrepd »

moffkalast wrote: post #22
tempodox wrote: post #3

Having never heard of this, I found the FAQ page an informative starting point. https://clean.cs.ru.nl/FAQ In simplistic terms, Clean seems to be a “better Haskell”. Edit: I just downloaded the bundle tar, looked at some sources and found out that vim has syntax coloring for Clean out of the box. Vim never ceases to amaze me. More Edit: Clean transpiles to C, which means that when you look at generated code, or just…

Quoted post unavailable.

Nice meme, but many haskellers are interested in other programming languages, such as Idris.

Re: The Clean Language

#27

Post by tempodox »

moffkalast wrote: post #22
tempodox wrote: post #3

Having never heard of this, I found the FAQ page an informative starting point. https://clean.cs.ru.nl/FAQ In simplistic terms, Clean seems to be a “better Haskell”. Edit: I just downloaded the bundle tar, looked at some sources and found out that vim has syntax coloring for Clean out of the box. Vim never ceases to amaze me. More Edit: Clean transpiles to C, which means that when you look at generated code, or just…

Quoted post unavailable.

Only if you treat language as a religion :)

I suspect this is more a question of experience than of language. Getting too carried away with the idioms and properties of a specific language will be mitigated by learning about different computation models / type systems and the languages that implement them. Sooner or later you learn that software development is about trade-offs and you choose the right tool for the job.

Re: The Clean Language

#28

Post by [deleted] »

toolslive wrote: post #21
cies wrote: post #10

Earlier quoted context omitted.

I'd love to see an example of this (the wikipedia page is not very clear to me). Is there a Clean or Idris program somewhere I can have a look at?

Mercury has them too: https://www.mercurylang.org/information/doc-latest/mercury_r... useful for things like file descriptors. The type system will, for example prevent sharing of your file descriptors between threads.

[deleted]

Re: The Clean Language

#29

Post by rowanG077 »

I used clean at school. Honestly it's basically Haskell without any libraries, much, much shittier errors and a bit more arcane syntax.

I wouldn't really advise anyone to learn it since Haskell is superior in almost every way.

Re: The Clean Language

#30

Post by the_af »

moffkalast wrote: post #22
tempodox wrote: post #3

Having never heard of this, I found the FAQ page an informative starting point. https://clean.cs.ru.nl/FAQ In simplistic terms, Clean seems to be a “better Haskell”. Edit: I just downloaded the bundle tar, looked at some sources and found out that vim has syntax coloring for Clean out of the box. Vim never ceases to amaze me. More Edit: Clean transpiles to C, which means that when you look at generated code, or just…

Quoted post unavailable.

> At least according to the average Haskell programmer.

That's false.

Post reply on HN