search

opprop / immutability

The Practical Immutability for Classes and Objects (PICO) type system enforces transitive class and object immutability
Other
3 stars 5 forks source link

Default switch option `Mutable` to `Immutable` #56

Open Ao-senXiong opened 1 month ago

Ao-senXiong commented 1 month ago

Find out a way to add the option to switch the default of unannotated code from Mutable to Immutable.

Ao-senXiong commented 1 month ago

Also provide possible annotation to mark a file/package's default as immutable