Rust Is Surprisingly Good as a Server Language

Re:Rust Is Surprisingly Good as a Server Language by estsauver on Monday July 13, 2020 @06:31AM (#23819211)

Thanks, I actually meant gradually typed systems, like rust typed or closure with heavy spec usage.

[ Parent | on HN ]

Re:Rust Is Surprisingly Good as a Server Language by setzer22 on Monday July 13, 2020 @10:16AM (#23821011)

As a spec user in production, I must say it's very nice usability-wise and can help alleviate most of the issues coming from a lack of a type system.

But god it's slow... Some static analysis support would also be hugely appreciated. Not being able to check everything doesn't meen you shouldn't attempt to check something! Many specs are type predicates anyway.

[ Parent | on HN ]

Re:Rust Is Surprisingly Good as a Server Language by slifin on Monday July 13, 2020 @07:48AM (#23819715)

Clojure has a java type system which can be partially enforced statically with clj-kondo

Clojure spec is great at system boundaries but it's hard to describe it is a type system, it's a predicate system it can define very arbitrary constraints mostly at runtime

[ Parent | on HN ]

Re:Rust Is Surprisingly Good as a Server Language by hellofunk on Monday July 13, 2020 @06:57AM (#23819383)

I think you mean Clojure. Closure is something different.

[ Parent | on HN ]

Re:Rust Is Surprisingly Good as a Server Language by estsauver on Monday July 13, 2020 @07:00AM (#23819396)

What a terrible day for autocorrect, thank you.

[ Parent | on HN ]