Would it make sense for Julia to adopt refinement types?

Name: [SOAP'23] Flux: Refinement types for Rust
Uploaded: 2024-07-04T19:27:48Z
Description: The authors of Flux made a presentation last year. [[SOAP'23] Flux: Refinement types for Rust]

Internals & Design

xiaoxi July 4, 2024, 7:27pm 9

The authors of Flux made a presentation last year.

1 Like

Topic		Replies	Views
HN comment on Julia vs Swift type checking and auto diff Machine Learning	24	2973	May 14, 2019
Does Julia syntax do enough to encourage type stability? Internals & Design type-stability	22	4973	February 22, 2017
Strict typing and restricting types in a method's signature General Usage	25	6318	December 3, 2016
Tutorial on using advanced type system in Julia? New to Julia	28	3194	January 27, 2020
Why type instability? General Usage question	24	10704	November 23, 2017

Would it make sense for Julia to adopt refinement types?

Related topics