Advertisement Β· 728 Γ— 90

Posts by Pierre Chalamet

Post image

Just released SwaggerProvider 4.0.0-beta01 that wrap nullable strings in Option<string>. Try it out and share your feedback! fsprojects.github.io/SwaggerProvi... #fsharp

5 days ago 14 1 0 0

That’s low 😳 Bass strings required ?

1 month ago 1 0 1 0

Better late than never. But it’s too late for me. Feels like a never finished product with support for legacy behavior (kernel access) and inefficiency baked in. Compatibility for 30 years is a nonsense. And bringing features Vista had is… Well… Wish you luck.

1 month ago 0 1 0 0
Fable Β· Announcing Fable 5 Release Candidate

The wait is over! Fable 5 Release Candidate is officially here.

After a year of hard work from the community, we're bringing you:
✨ .NET 10 & F# 10 support
🐍 A massive Python update (now powered by a Rust core & PyPI!)
🌐 Cleaner JS/TS Pojo bindings

fable.io/blog/2026/20...

#fsharp #fablecompiler

1 month ago 38 13 5 0
GitHub - ingted/Qwen3-4B-Instruct-2507-TorchSharp.fs Contribute to ingted/Qwen3-4B-Instruct-2507-TorchSharp.fs development by creating an account on GitHub.

"Pure-F# training/inference workflow around Qwen3-4B with NVFP4" by @ingted.bsky.social #fsharp github.com/ingted/Qwen3...

1 month ago 8 2 0 0
Preview
feat(type-provider): add FScript export type provider with strict runtime signature checks by pchalamet Β· Pull Request #2 Β· MagnusOpera/FScript Summary Adds a new MagnusOpera.FScript.TypeProvider package that projects [&lt;export&gt;] FScript functions into strongly-typed F# static methods. The provider: parses and type-checks scripts at ...

Seen your post, asked codex to implement a type provider for FScript... and boom, 40 minutes later it's done. What a world we live in.

github.com/MagnusOpera/...

1 month ago 1 0 0 0
Preview
GitHub - Tarmil/FSharp.Aspire.Hosting: Package to create Aspire App Hosts in F# Package to create Aspire App Hosts in F#. Contribute to Tarmil/FSharp.Aspire.Hosting development by creating an account on GitHub.

Ha yes, @tarmil.mastodon.tarmil.fr.ap.brid.gy did a bridge for that github.com/Tarmil/FShar...

2 months ago 2 0 0 0

That’s strange. Codex is happy to write F# and stay in the line.

2 months ago 0 0 1 0
Preview
GitHub - MagnusOpera/FScript: Functional language interpreter - F#/ML inspired Functional language interpreter - F#/ML inspired. Contribute to MagnusOpera/FScript development by creating an account on GitHub.

Hey you can try FScript too πŸ˜‡ REPL, vscode extension, purely interpreted, embeddable & no .net sdk !

github.com/MagnusOpera/...

2 months ago 1 0 0 0

I just miss an LSP and syntax coloration for VSCode now.
Probably it's the next thing to come πŸ˜‡

2 months ago 0 0 0 0
Advertisement
Preview
terrabuild/src/Terrabuild/Scripts at main Β· MagnusOpera/terrabuild Seamless CI/CD tool for building and deploying monorepos. Support HCL-like configuration, builds in containers, outputs caching, extensions. - MagnusOpera/terrabuild

For the curious, here are the extensions written for Terrabuild in FScript.

github.com/MagnusOpera/...

2 months ago 1 0 1 0

fscript is a demo host to play with the language but the real thing is to embed the language in your .net app !

For example, Terrabuild has been successfully adapted to use FScript for extensions: no more .net sdk dependency and no need to compile extensions with F#. Just write a script now !

2 months ago 0 0 1 0

FScript has grown a lot ! It's now a fully fledge embeddable functional language with nice features:
- tuples, records, unions, lists, options, map
- great matching ergonomics
- standard library for types
- embeddable with clear sandbox model
Enjoy !

Link to tutorial: github.com/MagnusOpera/...

2 months ago 4 2 1 0

My goal is to remove dependencies on .net SDK and to allow script execution in a sandboxed environment. I bet there are a lot of use cases for that - at least I have few ideas for that πŸ™‚

2 months ago 2 0 0 0

It misses a lot to be call a mini-F#. It’s just inspired by F# and goals are different of course. No obj support, no interface, limited types support. Pure functional lang with no mutability. Side fx (print, read file…) are host responsibilities.

2 months ago 0 0 1 0

Integration in Terrabuild is mostly done for extensions! Next is to focus on extension distribution (local and http) and documentation generator. Needless to say this will be a major improvement for Terrabuild. Really happy about FScript capabilities. Hope you will like it too !

2 months ago 0 0 0 0

- Built-in support for list, option, map, records with support runtime library.
- Pattern matching covers list-cons, tuple, option, record, and union-case patterns.
- Extensibility model is host-first and typed.

2 months ago 0 0 1 0
Preview
GitHub - MagnusOpera/FScript: Functional language interpreter - F#/ML inspired Functional language interpreter - F#/ML inspired. Contribute to MagnusOpera/FScript development by creating an account on GitHub.

I'm really happy with current state of FScript:
- F#/ML-style scripting focused on safe embedding: strong type inference, explicit host extensibility, and sandboxed execution.
- Hindley–Milner inference with optional parameter annotations.

github.com/MagnusOpera/...

2 months ago 1 1 2 0

πŸ˜… haha you are too fast @sergeytihon.com
I bet you have an automated repositories scanner πŸ˜ƒ

2 months ago 0 0 1 0
Advertisement

It's alpha software of course - developed in 1 day with Codex but it has quite great test coverage. And it's working pretty well indeed. Check the examples ! That's the incredible story 😊

2 months ago 0 0 0 0

I'm planning to use FScript to replace extensions in Terrabuild: using F# scripts requires installation of .net SDK - it's a bit heavy so I need to remove this dependency. FScript will also allow execution sandboxing. In next weeks, Terrabuild will have great security and full extensibility. Nice.

2 months ago 0 0 1 0
GitHub - MagnusOpera/FScript: Functional language interpreter - F#/ML inspired Functional language interpreter - F#/ML inspired. Contribute to MagnusOpera/FScript development by creating an account on GitHub.

Trend is to generate a compiler using LLM... So here is my contribution: FScript, an embeddable #fsharp lang inspired interpreter. Entirely developed with Codex, no shame πŸ˜ƒ
Execution is sandboxed and extensible, also support structural record annotation (think Typescript).
github.com/MagnusOpera/...

2 months ago 10 2 2 0
Preview
terrabuild/src/Terrabuild.Lang at main Β· MagnusOpera/terrabuild Seamless CI/CD tool for building and deploying monorepos. Support HCL-like configuration, builds in containers, outputs caching, extensions. - MagnusOpera/terrabuild

This is how I've implemented string interpolation in Terrabuild last year - it's easy once you understand lexer needs to be context sensitive (kind of aha moment) - at least with FsLexYacc. Link to implementation in #fsharp, as there are few simple materials on the topic.
github.com/MagnusOpera/...

2 months ago 4 4 0 0

Parenthood is hard πŸ™‚

2 months ago 1 0 1 0
Preview
GitHub - fsprojects/FSharp.MongoDB: Add support for F# types to .net MongoDB.Driver Add support for F# types to .net MongoDB.Driver. Contribute to fsprojects/FSharp.MongoDB development by creating an account on GitHub.

It's been a while I shall have completed FSharp.MongoDB - but literally had no time to spend on fixing a stack overflow.
Now it is feature complete and fully supports NRT πŸŽ‰

Enjoy F# + MongoDB ! #fsharp #mongodb

github.com/fsprojects/F...

3 months ago 13 5 1 0

It’s not fair to compare list with array. Until we have RFC 1094, I do not think there is much to brag about.

7 months ago 0 0 0 0

I love ChatGPT I must say for the brainstorming and everything I can learn from. It’s amazing how much β€œyes but” is encouraging to explore new ideas/pov just for fun without judgment. Can relate the β€œprivate” labeling πŸ€—

7 months ago 1 0 1 0

I love when ChatGPT writes "production-ready" code 😏

7 months ago 0 0 0 0
Advertisement

the return of the ini files 😱

7 months ago 1 0 0 0

Man, why the fuck are you hanging there ? Come back managing F# and why not C#.

8 months ago 0 0 0 0