Pierre Chalamet's Avatar

Pierre Chalamet

@pchalamet

βš’οΈπŸ’‰πŸ§»πŸ”§πŸ—‘οΈπŸ“πŸš­πŸ¦„πŸŒ΄πŸΊπŸš€πŸŽΈπŸ’Ύ Founder of @MagnusOpera.io Making @terrabuild.io

180
Followers
179
Following
93
Posts
07.09.2023
Joined
Posts Following

Latest posts by Pierre Chalamet @pchalamet

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

03.03.2026 17:18 πŸ‘ 34 πŸ” 12 πŸ’¬ 4 πŸ“Œ 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...

28.02.2026 18:45 πŸ‘ 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 [<export>] 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/...

26.02.2026 12:12 πŸ‘ 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...

20.02.2026 21:24 πŸ‘ 2 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

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

20.02.2026 21:06 πŸ‘ 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/...

20.02.2026 20:35 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

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

12.02.2026 11:05 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
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/...

12.02.2026 11:05 πŸ‘ 0 πŸ” 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 !

12.02.2026 11:05 πŸ‘ 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/...

12.02.2026 11:05 πŸ‘ 3 πŸ” 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 πŸ™‚

09.02.2026 14:30 πŸ‘ 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.

09.02.2026 14:30 πŸ‘ 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 !

08.02.2026 21:43 πŸ‘ 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.

08.02.2026 21:43 πŸ‘ 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/...

08.02.2026 21:43 πŸ‘ 1 πŸ” 1 πŸ’¬ 2 πŸ“Œ 0

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

07.02.2026 20:14 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

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 😊

07.02.2026 18:37 πŸ‘ 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.

07.02.2026 18:37 πŸ‘ 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/...

07.02.2026 18:37 πŸ‘ 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/...

25.01.2026 19:27 πŸ‘ 4 πŸ” 4 πŸ’¬ 0 πŸ“Œ 0

Parenthood is hard πŸ™‚

24.01.2026 20:00 πŸ‘ 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...

18.01.2026 13:15 πŸ‘ 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.

13.09.2025 20:22 πŸ‘ 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 πŸ€—

11.09.2025 19:47 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

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

06.09.2025 17:23 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

the return of the ini files 😱

22.08.2025 16:09 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

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

20.08.2025 21:42 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Video thumbnail
21.07.2025 16:27 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

GitHub merge queues are a great tool but such a pita to configure and terribly buggy. Go in Hell @github.com 🀬

21.07.2025 16:19 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

The best thing I did last week was to disable copilot. For PR it’s useful but as a tool to get things done in IDE, what a waste of time. I just want smart completion based on my types, not this shit that understands nothing to what I’m doing. Unfortunately it seems IntelliSense is no more.

15.07.2025 20:04 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0