Soupault is a tool that helps you create and manage static websites

Re:Soupault is a tool that helps you create and manage stati... by nine_k on Saturday October 09, 2021 @11:46PM (#28815586)

OK, give me one that has: (1) A Hindley-Milner type system with type inference, (2) Native or JIT compilation with good runtime speed, (3) Easy-to-understand execution model, and (4) garbage collection.

- OCaml has all of them, hands down. It is even getting reasonable parallel processing support as of recently.

- Haskell has beautiful implementations of 1, 2, and 4, but definitely not 3, which often leads to hilarious memory leaks.

- Rust has 1, 2, and 3, but 4, while possible, is not really ergonomic, and compile times are the longest.

- Typescript (with Ramda for kicks) has 3 and 4, and almost 3, but still not really 1.

- Java has 2, 3, and 4, but sadly not 1, and programming with immutable values is possible but the stdlib often resists it.

[ Parent | on HN ]

Re:Soupault is a tool that helps you create and manage stati... by zdragnar on Sunday October 10, 2021 @11:15PM (#28824264)

Common Lisp with Coalton added on will get you all of those.

I have dreams that the new java record classes will take the world by storm, but I imagine years of refuctoring getters and setters will be a hard habit to break for the community.

[ Parent | on HN ]

Re:Soupault is a tool that helps you create and manage stati... by nickcox on Sunday October 10, 2021 @01:26AM (#28815983)

[ Parent | on HN ]