├── .ci-scripts └── pr-label.bash ├── .gitattributes ├── .github ├── FUNDING.yml └── workflows │ ├── add-discuss-during-sync.yml │ ├── lint-action-workflows.yml │ ├── pr-labeled.yml │ ├── pr-opened.yml │ └── remove-discuss-during-sync.yml ├── 0000-template.md ├── CODE_OF_CONDUCT.md ├── README.md └── text ├── 0001-crypto.md ├── 0002-optimisation-inhibition.md ├── 0003-array-string-compact.md ├── 0004-string-array-trim.md ├── 0005-file-naming-guidelines.md ├── 0006-http-status.md ├── 0007-buffers.md ├── 0008-ponybench.md ├── 0009-copy-idiom.md ├── 0010-generic-type-inference.md ├── 0011-upsert-returns-value.md ├── 0012-extend-itertools.md ├── 0013-buffered-read-until.md ├── 0014-format.md ├── 0015-strings-cstrings-bytes.md ├── 0016-tcp-must-be-connected.md ├── 0017-tcp-backpressure.md ├── 0018-export.md ├── 0019-tcp-received-bool.md ├── 0020-more-iter-methods.md ├── 0021-custom-serialization.md ├── 0022-unsafe-operators.md ├── 0023-network-dont-provide-default-implementation-for-failures.md ├── 0024-concise-lambda-syntax.md ├── 0025-sugar-for-method-chaining.md ├── 0026-subtype-checking.md ├── 0027-program-annotations.md ├── 0028-behaviour-return-none.md ├── 0029-nuke-return-this.md ├── 0030-branch-prediction-intrinsics.md ├── 0031-remove-delegate.md ├── 0032-packed-structs.md ├── 0033-http-streaming.md ├── 0034-bare-ffi-lambdas.md ├── 0035-more-promise-methods.md ├── 0036-improved-persistent-map-api.md ├── 0037-arrays-as-sequences.md ├── 0038-cli-format.md ├── 0039-explicit-partial-calls.md ├── 0040-exhaustive-match.md ├── 0041-tcp-connection-notify-received-times.md ├── 0042-more-persistent-collections.md ├── 0043-gencap-write.md ├── 0044-match-iter.md ├── 0045-lambda-and-array-inference.md ├── 0046-more-random-methods.md ├── 0047-serialise-signature.md ├── 0048-change-String-join-to-take-iterable.md ├── 0049-improved-itertools-api.md ├── 0050-class-actor-fields-docstrings.md ├── 0051-remove-case-functions.md ├── 0052-improved-ponybench.md ├── 0053-compile-time-expression.md ├── 0054-subtyping-exclusion.md ├── 0055-remove-http-server-from-stdlib.md ├── 0056-buffered-reader-line-iso.md ├── 0057-ssl-alpn.md ├── 0058-partial-arithmetic.md ├── 0059-formal-viewpoint-adaptation.md ├── 0060-binary-heaps.md ├── 0061-modulo-operator.md ├── 0062-tcpconnection-hard-close.md ├── 0063-rename-maybe-pointer.md ├── 0064-llvm-cli-opts-integration.md ├── 0065-env-root-not-optional.md ├── 0066-iter-maybe.md ├── 0067-add-log-level-argument-to-logformatter.md ├── 0068-force-declaration-of-ffi-functions.md ├── 0069-string-add-iso.md ├── 0070-filepath-constructor.md ├── 0071-expose-scheduler-thread-info-in-stdlib.md ├── 0072-change-stdlib-object-capabilities-pattern.md ├── 0073-add-ponycheck-to-stdlib.md ├── 0074-remove-stdlib-logger.md ├── 0075-ansi-erase.md ├── 0076-introduce empty ranges.md ├── 0077-assign-param-syntax.md ├── 0078-remove-json-package-from-stdlib.md ├── 0079-constrained-types.md └── 0080-usize-indexing.md /.ci-scripts/pr-label.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/.ci-scripts/pr-label.bash -------------------------------------------------------------------------------- /.gitattributes: -------------------------------------------------------------------------------- 1 | text/**/*.md linguist-detectable 2 | -------------------------------------------------------------------------------- /.github/FUNDING.yml: -------------------------------------------------------------------------------- 1 | open_collective: ponyc 2 | -------------------------------------------------------------------------------- /.github/workflows/add-discuss-during-sync.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/.github/workflows/add-discuss-during-sync.yml -------------------------------------------------------------------------------- /.github/workflows/lint-action-workflows.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/.github/workflows/lint-action-workflows.yml -------------------------------------------------------------------------------- /.github/workflows/pr-labeled.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/.github/workflows/pr-labeled.yml -------------------------------------------------------------------------------- /.github/workflows/pr-opened.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/.github/workflows/pr-opened.yml -------------------------------------------------------------------------------- /.github/workflows/remove-discuss-during-sync.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/.github/workflows/remove-discuss-during-sync.yml -------------------------------------------------------------------------------- /0000-template.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/0000-template.md -------------------------------------------------------------------------------- /CODE_OF_CONDUCT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/CODE_OF_CONDUCT.md -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/README.md -------------------------------------------------------------------------------- /text/0001-crypto.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0001-crypto.md -------------------------------------------------------------------------------- /text/0002-optimisation-inhibition.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0002-optimisation-inhibition.md -------------------------------------------------------------------------------- /text/0003-array-string-compact.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0003-array-string-compact.md -------------------------------------------------------------------------------- /text/0004-string-array-trim.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0004-string-array-trim.md -------------------------------------------------------------------------------- /text/0005-file-naming-guidelines.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0005-file-naming-guidelines.md -------------------------------------------------------------------------------- /text/0006-http-status.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0006-http-status.md -------------------------------------------------------------------------------- /text/0007-buffers.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0007-buffers.md -------------------------------------------------------------------------------- /text/0008-ponybench.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0008-ponybench.md -------------------------------------------------------------------------------- /text/0009-copy-idiom.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0009-copy-idiom.md -------------------------------------------------------------------------------- /text/0010-generic-type-inference.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0010-generic-type-inference.md -------------------------------------------------------------------------------- /text/0011-upsert-returns-value.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0011-upsert-returns-value.md -------------------------------------------------------------------------------- /text/0012-extend-itertools.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0012-extend-itertools.md -------------------------------------------------------------------------------- /text/0013-buffered-read-until.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0013-buffered-read-until.md -------------------------------------------------------------------------------- /text/0014-format.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0014-format.md -------------------------------------------------------------------------------- /text/0015-strings-cstrings-bytes.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0015-strings-cstrings-bytes.md -------------------------------------------------------------------------------- /text/0016-tcp-must-be-connected.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0016-tcp-must-be-connected.md -------------------------------------------------------------------------------- /text/0017-tcp-backpressure.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0017-tcp-backpressure.md -------------------------------------------------------------------------------- /text/0018-export.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0018-export.md -------------------------------------------------------------------------------- /text/0019-tcp-received-bool.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0019-tcp-received-bool.md -------------------------------------------------------------------------------- /text/0020-more-iter-methods.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0020-more-iter-methods.md -------------------------------------------------------------------------------- /text/0021-custom-serialization.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0021-custom-serialization.md -------------------------------------------------------------------------------- /text/0022-unsafe-operators.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0022-unsafe-operators.md -------------------------------------------------------------------------------- /text/0023-network-dont-provide-default-implementation-for-failures.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0023-network-dont-provide-default-implementation-for-failures.md -------------------------------------------------------------------------------- /text/0024-concise-lambda-syntax.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0024-concise-lambda-syntax.md -------------------------------------------------------------------------------- /text/0025-sugar-for-method-chaining.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0025-sugar-for-method-chaining.md -------------------------------------------------------------------------------- /text/0026-subtype-checking.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0026-subtype-checking.md -------------------------------------------------------------------------------- /text/0027-program-annotations.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0027-program-annotations.md -------------------------------------------------------------------------------- /text/0028-behaviour-return-none.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0028-behaviour-return-none.md -------------------------------------------------------------------------------- /text/0029-nuke-return-this.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0029-nuke-return-this.md -------------------------------------------------------------------------------- /text/0030-branch-prediction-intrinsics.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0030-branch-prediction-intrinsics.md -------------------------------------------------------------------------------- /text/0031-remove-delegate.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0031-remove-delegate.md -------------------------------------------------------------------------------- /text/0032-packed-structs.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0032-packed-structs.md -------------------------------------------------------------------------------- /text/0033-http-streaming.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0033-http-streaming.md -------------------------------------------------------------------------------- /text/0034-bare-ffi-lambdas.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0034-bare-ffi-lambdas.md -------------------------------------------------------------------------------- /text/0035-more-promise-methods.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0035-more-promise-methods.md -------------------------------------------------------------------------------- /text/0036-improved-persistent-map-api.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0036-improved-persistent-map-api.md -------------------------------------------------------------------------------- /text/0037-arrays-as-sequences.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0037-arrays-as-sequences.md -------------------------------------------------------------------------------- /text/0038-cli-format.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0038-cli-format.md -------------------------------------------------------------------------------- /text/0039-explicit-partial-calls.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0039-explicit-partial-calls.md -------------------------------------------------------------------------------- /text/0040-exhaustive-match.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0040-exhaustive-match.md -------------------------------------------------------------------------------- /text/0041-tcp-connection-notify-received-times.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0041-tcp-connection-notify-received-times.md -------------------------------------------------------------------------------- /text/0042-more-persistent-collections.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0042-more-persistent-collections.md -------------------------------------------------------------------------------- /text/0043-gencap-write.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0043-gencap-write.md -------------------------------------------------------------------------------- /text/0044-match-iter.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0044-match-iter.md -------------------------------------------------------------------------------- /text/0045-lambda-and-array-inference.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0045-lambda-and-array-inference.md -------------------------------------------------------------------------------- /text/0046-more-random-methods.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0046-more-random-methods.md -------------------------------------------------------------------------------- /text/0047-serialise-signature.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0047-serialise-signature.md -------------------------------------------------------------------------------- /text/0048-change-String-join-to-take-iterable.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0048-change-String-join-to-take-iterable.md -------------------------------------------------------------------------------- /text/0049-improved-itertools-api.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0049-improved-itertools-api.md -------------------------------------------------------------------------------- /text/0050-class-actor-fields-docstrings.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0050-class-actor-fields-docstrings.md -------------------------------------------------------------------------------- /text/0051-remove-case-functions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0051-remove-case-functions.md -------------------------------------------------------------------------------- /text/0052-improved-ponybench.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0052-improved-ponybench.md -------------------------------------------------------------------------------- /text/0053-compile-time-expression.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0053-compile-time-expression.md -------------------------------------------------------------------------------- /text/0054-subtyping-exclusion.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0054-subtyping-exclusion.md -------------------------------------------------------------------------------- /text/0055-remove-http-server-from-stdlib.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0055-remove-http-server-from-stdlib.md -------------------------------------------------------------------------------- /text/0056-buffered-reader-line-iso.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0056-buffered-reader-line-iso.md -------------------------------------------------------------------------------- /text/0057-ssl-alpn.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0057-ssl-alpn.md -------------------------------------------------------------------------------- /text/0058-partial-arithmetic.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0058-partial-arithmetic.md -------------------------------------------------------------------------------- /text/0059-formal-viewpoint-adaptation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0059-formal-viewpoint-adaptation.md -------------------------------------------------------------------------------- /text/0060-binary-heaps.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0060-binary-heaps.md -------------------------------------------------------------------------------- /text/0061-modulo-operator.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0061-modulo-operator.md -------------------------------------------------------------------------------- /text/0062-tcpconnection-hard-close.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0062-tcpconnection-hard-close.md -------------------------------------------------------------------------------- /text/0063-rename-maybe-pointer.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0063-rename-maybe-pointer.md -------------------------------------------------------------------------------- /text/0064-llvm-cli-opts-integration.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0064-llvm-cli-opts-integration.md -------------------------------------------------------------------------------- /text/0065-env-root-not-optional.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0065-env-root-not-optional.md -------------------------------------------------------------------------------- /text/0066-iter-maybe.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0066-iter-maybe.md -------------------------------------------------------------------------------- /text/0067-add-log-level-argument-to-logformatter.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0067-add-log-level-argument-to-logformatter.md -------------------------------------------------------------------------------- /text/0068-force-declaration-of-ffi-functions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0068-force-declaration-of-ffi-functions.md -------------------------------------------------------------------------------- /text/0069-string-add-iso.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0069-string-add-iso.md -------------------------------------------------------------------------------- /text/0070-filepath-constructor.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0070-filepath-constructor.md -------------------------------------------------------------------------------- /text/0071-expose-scheduler-thread-info-in-stdlib.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0071-expose-scheduler-thread-info-in-stdlib.md -------------------------------------------------------------------------------- /text/0072-change-stdlib-object-capabilities-pattern.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0072-change-stdlib-object-capabilities-pattern.md -------------------------------------------------------------------------------- /text/0073-add-ponycheck-to-stdlib.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0073-add-ponycheck-to-stdlib.md -------------------------------------------------------------------------------- /text/0074-remove-stdlib-logger.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0074-remove-stdlib-logger.md -------------------------------------------------------------------------------- /text/0075-ansi-erase.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0075-ansi-erase.md -------------------------------------------------------------------------------- /text/0076-introduce empty ranges.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0076-introduce empty ranges.md -------------------------------------------------------------------------------- /text/0077-assign-param-syntax.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0077-assign-param-syntax.md -------------------------------------------------------------------------------- /text/0078-remove-json-package-from-stdlib.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0078-remove-json-package-from-stdlib.md -------------------------------------------------------------------------------- /text/0079-constrained-types.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0079-constrained-types.md -------------------------------------------------------------------------------- /text/0080-usize-indexing.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ponylang/rfcs/HEAD/text/0080-usize-indexing.md --------------------------------------------------------------------------------