Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
allisdust
on Nov 5, 2022
|
parent
|
context
|
favorite
| on:
The type system is a programmer's best friend
How does this get enforced for string content changed at runtime? Or does this apply for only to strings initialised in code.
pyjarrett
on Nov 5, 2022
[–]
You can enforce newtype on strings, or also use a dynamic predicate which checks at runtime.
https://ada-lang.io/docs/arm/AA-3/AA-3.2/#324--subtype-predi...
Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
