# The arch records whose scope is function

This index as JSON: https://banes-lab.com/json/api/facets/arch/scope/function

## Entries

- [Design by Contract](https://banes-lab.com/records/arch/design-by-contract.md)
- [Preconditions](https://banes-lab.com/records/arch/preconditions.md)
- [Postconditions](https://banes-lab.com/records/arch/postconditions.md)
- [Do Not Repeat Yourself (DRY)](https://banes-lab.com/records/arch/duplicate-code.md)
- [Composability](https://banes-lab.com/records/arch/composability.md)
- [Reusability](https://banes-lab.com/records/arch/reusability.md)
- [Determinism](https://banes-lab.com/records/arch/determinism.md)
- [Referential Transparency](https://banes-lab.com/records/arch/referential-transparency.md)
- [Pure Functions](https://banes-lab.com/records/arch/pure-functions.md)
- [Correctness](https://banes-lab.com/records/arch/correctness.md)
- [Specification-Based Testing](https://banes-lab.com/records/arch/specification-based-testing.md)
- [Property-Based Testing](https://banes-lab.com/records/arch/property-based-testing.md)
- [Defensive Programming](https://banes-lab.com/records/arch/defensive-programming.md)
- [Error Handling](https://banes-lab.com/records/arch/error-handling.md)
- [Time Complexity](https://banes-lab.com/records/arch/time-complexity.md)
- [Benchmarking](https://banes-lab.com/records/arch/benchmarking.md)
- [Type Safety](https://banes-lab.com/records/arch/type-safety.md)
- [Input Validation](https://banes-lab.com/records/arch/input-validation.md)
- [Stateless Processing](https://banes-lab.com/records/arch/stateless-processing.md)
- [State Isolation](https://banes-lab.com/records/arch/state-isolation.md)
- [Controlled Side Effects](https://banes-lab.com/records/arch/controlled-side-effects.md)