release: 0.4.0 - #53
Merged
Merged
Conversation
Two dogfooding reports from real programs, and the standard-library sweep they triggered. Language: * a `type` declaration can name an imported type, bare or module-qualified (#36) — the one gap that changed a program's architecture rather than its phrasing, forcing two modules into one file * field access resolves from the base's type when it is known, so two records may share a field name without prefixes (#37) * parameters destructure: tuples (#38), records (#40), and `_` * a direct self tail call lowers to a loop, so an interactive turn loop no longer walks the stack (#39, #41) Standard library — about 115 new members, taking every module to the F# core set: List (#42), Seq (#44), Set and Map (#46), String (#47), Option and Result (#48), then a member-by-member FSharp.Core audit (#51). Every built-in member now carries a one-line description and its complexity in hover and completion (#43, #49), enforced by tests. Fixes: * `pyfun run` on a single file gives the program its own stdin, so an interactive program is runnable by the command whose job is running programs (#35) * a partially applied lambda closes over its argument instead of being wrapped, so `List.map ((+) 2)` emits `lambda b: 2 + b` (#52) * every multi-argument callback's scheme put the effect variable on the wrong arrows, so `List.fold` could never accept an effectful folder (#51) * `Seq.empty` lowered to a bare `iter()`, a TypeError (#51) One source-incompatible change, which is why this is 0.4.0 and not 0.3.1: a dotted `extern` target whose module prefix cannot be decided from the text is now a compile error naming the `extern import` to add (#50). `sys.stdout.flush` used to emit `import sys.stdout` and fail at runtime; declaring `extern import sys` fixes it.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Bumps all four versioned artifacts per
RELEASING.md:Cargo.toml(+Cargo.lock),editors/vscode/package.json(+ a CHANGELOG entry), andeditors/jetbrains/build.gradle.kts.pyfun --versionreportspyfun 0.4.0.0.4.0 rather than 0.3.1, because one change is source-incompatible: a dotted
externtarget whose module prefix cannot be decided from the text is now a compile error (#50).sys.stdout.flushcompiled under 0.3.0 and failed at runtime withImportError; it now fails at check time with theextern import sysit needs. A.1would have told upgraders to expect only fixes.What's in it, since v0.3.0 — 21 commits from two dogfooding reports and the sweep they triggered:
Language. Imported types nameable in a
typedeclaration (#36, the one gap that changed a program's architecture rather than its phrasing); field access resolved from the base's type (#37); destructuring parameters for tuples (#38) and records (#40), plus_; a direct self tail call lowered to a loop (#39, #41).Standard library. About 115 new members taking every module to the F# core set —
List(#42),Seq(#44),Set/Map(#46),String(#47),Option/Result(#48) — then a member-by-memberFSharp.Coreaudit (#51). Every built-in member carries a one-line description and its complexity in hover and completion (#43, #49), enforced by tests.Fixes. Single-file
pyfun rungives the program its own stdin (#35); a partially applied lambda closes over its argument, soList.map ((+) 2)emitslambda b: 2 + b(#52); every multi-argument callback's scheme put the effect variable on the wrong arrows, soList.foldcould never accept an effectful folder (#51);Seq.emptylowered to a bareiter(), aTypeError(#51).After merge: tag
v0.4.0and push it, which publishespyfun-langto PyPI via Trusted Publishing and attaches the.vsixto the GitHub release. The editor artifacts are then published by hand perRELEASING.mdstep 3.