F# Casts @FSharpCasts
Quickly demonstrating the F# language and tools. Northern Virginia Joined February 2017-
Tweets87
-
Followers718
-
Following657
-
Likes114
Hello #fsharp Twitter! Did learning F# or some other functional programming seem to “unlock” something for you? If you have a story or comment about how it changed your trajectory or outlook, I’d love to hear from you. Reply in the comments or send me a DM.
Awesome feature @linqpad - just hightlight the code and press CTRL+SHIFT+B to benchmark with BenchmarkDotNet
Spent this afternoon making basic F# classes and record types transpile to C# classes and record types.
Github Copilot works surprising very well with F#
Part 2 - Using Cantor's unpairing function to map integers to our calculator language. (A recursive type) It's getting closer to being a total function. But what if we used unbounded bigints?
Generate: Int → Lang ???? Can we define a small recursive language and then map the set of integers to example instances of our language?
When two total functions (these should be uint, not int) map to each other in a special way, they can create a bijection. For this demo, we uniquely map the set of integers to a pair of integers and back.
Turning partial functions into total functions
F# is a pretty good at working with generics. If you see 'a or 'b or 'c (etc) in your function signature, it means you're defining a generic function. Maybe you did it on purpose, or maybe didn't give the F# compiler enough to infer the types you wanted.
Today's F# cast is brought to you by our "wheel watching" friends at @FriedFsharp!
Watching @shanselman video on @bletchleypark made me think - I have an hour on the train, let's port my own #fsharp Enigma emulator to @safe_stack! @FableCompiler is truly fantastic and makes this easy.
@FSharpCasts : #fsharp + #vim : Introduce Parameter (Up) checkout the full readme : github.com/cboudereau/vsv…
How to stop an agent. Soure Code: gist.github.com/sgoguen/e278a8…)
As soon as I saw @auchenberg's Browser Preview extension, I know I had to use it for an F# object printer for FSI based on @gmpl's original FsPad project. (github.com/gusty/FsPad/)
Use language native error handling whenever you can
Thanks @TomasJansson for the suggestion! So, how do you get rid of the pesky mutable keyword? share.linqpad.net/x6vfdl.linq
F# Agent Basics - share.linqpad.net/g6dfvm.linq More info - fsharpforfunandprofit.com/posts/concurre…

Sergey Tihon has gone... @sergey_tihon
4K Followers 491 Following I've gone to BlueSky: https://t.co/8P6Lb455s0
Isaac Abraham @isaac_abraham
7K Followers 3K Following Author of "Get Programming with F#" and "F# in Action". Founder of @compositionalit. .NET MVP. Azure. Guitar. Tottenham. Creator of 2-line PRs. British / German
Scott Wlaschin @ScottWlaschin
11K Followers 2K Following I believe that solutions emerge from the judicious study of discernible reality. @ScottWlaschin on fosstodon and bsky
Angel D. Muñoz 🦔 ... @angel_d_munoz
1K Followers 984 Following One of the 12 F# devs in the world https://t.co/VrDARa0uXQ
Onur.Works @OnurGumusDev
768 Followers 230 Following Creator of https://t.co/VqxqsDGm9r Best 3D BinPacker written in F# The greatest success in life is to embrace and live as your authentic self.
Miguel de Icaza ᯅ�... @migueldeicaza
98K Followers 5K Following Fun Stack Vibing. Started Xamarin, Mono, Gnome; was MSFT/.NET/Xamarin/Mono/VSMac/AI https://t.co/QkbDDWMXRf @migueldeicaza.bsky.social
Compositional IT @compositionalit
2K Followers 237 Following We believe in functional solutions for everyday software - bespoke software development and consultancy, and F# and Azure training, coaching and consultancy.
🇺🇦 John Azariah... @johnazariah
2K Followers 4K Following He/Him · @[email protected] · @[email protected] · https://t.co/7g7GxM6sxY · Meeanjin // Views are my own
Stachu Korick @StachuDotNet
1K Followers 708 Following Building @darklang. My name backwards is uh cats.
Damian Płaza @raimeyuu
1K Followers 5K Following Problem Solver/Solution Problemer. Engineer, baptized in control engineering. Passionate about people, software design, and modeling. Functional-first thinker.
Adam Granicz @granicz
2K Followers 1K Following CEO, IntelliFactory - Your Functional Experts, Caltech CS
SchlenkR @SchlenkR
603 Followers 222 Following OSS / F# JS C# TS You can hire me. Maker of #pxlclock
Mark Gray @MarkRGray
861 Followers 2K Following Traveller, dreamer, student. I run F# Hacks and Meetups and https://t.co/xkU0UsUdPY (@AwesomeFSharp) @summatic @Codurance #mathematics #astrophysics @OpenUniversity
Egueedie @Egueedie708
33 Followers 1K Following
Teehien @Teehien620
31 Followers 1K Following
B. Hat @TGBlackHat
0 Followers 13 Following
Uxeeahou @Uxeeahou8386
33 Followers 843 Following
Ufleebox @Ufleebox2787
11 Followers 229 Following
Letetooth @LetetoothMsHMn
21 Followers 631 Following
CriticalTHQ #NAFELLA ... @UnpackStation
412 Followers 3K Following Due process under the U.S. Constitution applies to all persons within the United States, not just citizens. Any person
Alex Deitz @atrain291
18 Followers 258 Following
kgkoutis @kgkoutis3
36 Followers 1K Following
DanaMaugham @keFN21hnazZLnm
5 Followers 106 Following
Deanop @Deanop499790
17 Followers 927 Following Follow me, maybe it's the beginning of our fate, we can talk
Romain Deneau @DeneauRomain
121 Followers 134 Following C#/F#/TypeScript full-stack developer | Software crafter | Working @ d-edge 🏨
Andrew @andrewdobson11
6 Followers 103 Following
Daniel Jabłoński �... @openclue
30 Followers 360 Following
Guy Buss @ELuciusFTW
113 Followers 441 Following Mathematician turned software developer. Open-source enthusiast. Hooman companion. Recreational climber, poker and pool player. I❤️#fsharp 🦔 & #dotnet!
Mike Toolman @mike_toolman
6 Followers 181 Following
Kieran Bond @KieranBond_
194 Followers 1K Following Senior Engineer at iress || Writer of https://t.co/zVubZ15Y2W || Games alumni @UniOfGlos || Builder of things
HYWE @_hywe_
7 Followers 45 Following Exploring spatial design configurations with a high level of abstraction in a web browser at https://t.co/DUbq4BjYWB. Early stages of development. Suggestions welcome.
Jincz @Jinczing
53 Followers 1K Following
Chris @Norms_the_name
41 Followers 254 Following
Humphrey De Fluff @HumphreyDeFluff
6 Followers 225 Following
Keenthinker @keenthinker
409 Followers 2K Following Writer and creator 🚀 Maker of https://t.co/pLHzUvAWCC & https://t.co/vZqMijAUlh 📖 ⭐ #BuildInPublic .NET & Azure enthusiast
Nhất Thạch @nhatthach
47 Followers 326 Following
weixiao zhong @weixiaozhong
3 Followers 21 Following
Edward Wohlman @CreamCracked
1K Followers 4K Following Some software, some philosophy, and some other bits and bobs
Daniel 🦔 @DanielW_Kiwi
3K Followers 3K Following Husband, father and software developer from the bottom of the world in NZ that likes F# a little too much.
Arun @Arunarnn
6 Followers 22 Following
Serhii @svoychik
32 Followers 180 Following
vladimir svagr 🙂�... @VladimirSvagr
162 Followers 1K Following
Matteo Tosato @vishvamitra87
0 Followers 27 Following Sviluppo software. Mi interesso di scienze umane, psicologia del profondo e transpersonale.
Ashraf Kharrubi @ashrafkharrubi
80 Followers 2K Following 'Human genius has its limits, but stupidity does not.' Alexander Dumas / Push envelope, fail, learn, succeed / retweets & likes ≠ endorsements / views my own
zzzzzzoo00oo @zzzzzzoo00oo
261 Followers 5K Following
this is @__a_username_
535 Followers 3K Following PL enthusiast - polyglot programmer; 160 chars is a lot to describe self. Opinions are own.
aron @Aron_Adler
3K Followers 3K Following ⊙ functional programming, dependent types. lean4 newbie. love thinking about type systems. jewish. not a p-zombie i promise.
Stephen Strickland @_sstrickland
97 Followers 400 Following ⚓️ ☩ lex orandi, lex credendi ☩ https://t.co/wcdlYzmDWX
Sanus Dubium @sanusdubium
391 Followers 1K Following We have been failed & seriously harmed by Gov policies aided by the opposition. Look at data & arguments & engage critical thinking. Likes&retweets≠ endorsement
Alessandro @AndIreGiu
465 Followers 1K Following Informatico per caso. Papà per sempre. Ducatista nei sogni. Liberale senza se e senza ma.
Ravindra Vairagi @vaishnavravi33
125 Followers 6K Following Full stack developer with expertise in https://t.co/5mPvVjJOQc, .Net Core, Angular, API, SQL and SQL server. Blog: https://t.co/xMC2W3UQFR
gaurav rampal @RampalGaurav
30 Followers 460 Following
Sergey Tihon has gone... @sergey_tihon
4K Followers 491 Following I've gone to BlueSky: https://t.co/8P6Lb455s0
Isaac Abraham @isaac_abraham
7K Followers 3K Following Author of "Get Programming with F#" and "F# in Action". Founder of @compositionalit. .NET MVP. Azure. Guitar. Tottenham. Creator of 2-line PRs. British / German
Scott Wlaschin @ScottWlaschin
11K Followers 2K Following I believe that solutions emerge from the judicious study of discernible reality. @ScottWlaschin on fosstodon and bsky
Don Syme @dsymetweets
11K Followers 1 Following Find me elsewhere. https://t.co/H8XqNJyMcO https://t.co/U1RG0DBd3Z
F# Online @fsharponline
2K Followers 0 Following Supporting the worldwide #fsharp community via online channels Please use Bluesky, posts to X are stopping https://t.co/aTRv2VYgs8
Onur.Works @OnurGumusDev
768 Followers 230 Following Creator of https://t.co/VqxqsDGm9r Best 3D BinPacker written in F# The greatest success in life is to embrace and live as your authentic self.
Miguel de Icaza ᯅ�... @migueldeicaza
98K Followers 5K Following Fun Stack Vibing. Started Xamarin, Mono, Gnome; was MSFT/.NET/Xamarin/Mono/VSMac/AI https://t.co/QkbDDWMXRf @migueldeicaza.bsky.social
Compositional IT @compositionalit
2K Followers 237 Following We believe in functional solutions for everyday software - bespoke software development and consultancy, and F# and Azure training, coaching and consultancy.
🇺🇦 John Azariah... @johnazariah
2K Followers 4K Following He/Him · @[email protected] · @[email protected] · https://t.co/7g7GxM6sxY · Meeanjin // Views are my own
Stachu Korick @StachuDotNet
1K Followers 708 Following Building @darklang. My name backwards is uh cats.
Michal Strehovský @MStrehovsky
7K Followers 177 Following Moved to Bluesky - https://t.co/Y20BvEBfjl. The account also bridges to Mastodon at @[email protected]
Damian Płaza @raimeyuu
1K Followers 5K Following Problem Solver/Solution Problemer. Engineer, baptized in control engineering. Passionate about people, software design, and modeling. Functional-first thinker.
Adam Granicz @granicz
2K Followers 1K Following CEO, IntelliFactory - Your Functional Experts, Caltech CS
Mark Gray @MarkRGray
861 Followers 2K Following Traveller, dreamer, student. I run F# Hacks and Meetups and https://t.co/xkU0UsUdPY (@AwesomeFSharp) @summatic @Codurance #mathematics #astrophysics @OpenUniversity
Matt Pocock @mattpocockuk
200K Followers 737 Following I teach devs for a living. Author of Total TypeScript and AI Hero. Ex-@vercel. Used to be a voice coach.
Oleg 🇺🇦🐍 λ @TheOlegarchy
507 Followers 68 Following Originally from Ukraine, I moved to the US when I was 12. I’m a polyglot programmer, husband, father, and Oxford comma guru.
Gustavo Bertolino @g_bertolino
253 Followers 4K Following Software developer diving into Clojure to build systems. Holding a very pragmatic view for all, for the world is complex. I'm also MA in philosophy of language
Bean, Coffee Bean @CoffeeGuard
119 Followers 1K Following alt, I like to joke around, it's just a joke right
xtphnmdd @xtphnmdd
47 Followers 720 Following interets : droit procedure et programmation (python, f#...)
Dave Cook @dcook_net
244 Followers 92 Following Software Engineer, snowboarder, home baker and tired farther...
Matt Teichman @ElucidationsPod
2K Followers 3K Following Host of the Elucidations Podcast. Programmer @ UChicago DLDC. CS Lecturer @ UChicago MPCS. Emergent Ventures fellow. Views mine. 🦒
Ben Guenter @benguenter
30 Followers 170 Following I am a software developer passionate about process automation and functional programming. I enjoy disk golf, board games, and video games.
Kurt Mueller @everybody_kurts
295 Followers 1K Following Former professional rubyist by day, now more of a generalist. Interested in F#, Haskell, Rust,and Elm. Okay at cycling, smoking meats, & pickleball. He / him.
Pinions @Pinions164
47 Followers 468 Following
Brad Pillow @BradPillow
335 Followers 4K Following Developer, volunteer, dancer, singer, kayaker, father, baker, photographer, armchair physicist, sci-fi lover…can one have too many hobbies?
Vlad Tira @vladtira
201 Followers 4K Following he/him. Trying real fucking hard to be kinder every day. I don’t speak for my employer. #BLM
Gautier Vaillant @gautiervaill
46 Followers 1K Following
Adrian Ericsson @ImNotEric
110 Followers 2K Following Husband, father, business owner, functional programmer, runner. Europhile, Afrophile, citizen of nowhere.
Paul Olav Ræstad @paulolav
27 Followers 308 Following
Guido Ziliotti @Gorgodrilla
46 Followers 2K Following
Bambang Purnomosidi D... @bpdp
1K Followers 3K Following Dean, Faculty of IT, @utdiofficial (formerly known as STMIK Akakom). Founded @ZimeraCorp. Also at https://t.co/GVTEpIWxzj
ßones_keys @Bones_sicario
1K Followers 1K Following A graphic designer, a keyboardist, a fast learner, a Chelsea/Real Madrid fan, web3 newbie
andrew_dean @andrew_dean
81 Followers 2K Following
Kevin Avignon @KAvignon
654 Followers 660 Following Senior Software Engineer @Petal - my thoughts are my own | Rails/.NET/BEAM
John Harman @JohnHarmanWho
234 Followers 514 Following Web developer, tech lover and farmer at heart.
Tony "Abolish ICE" Ar... @bascule
17K Followers 8K Following I don't use Twitter anymore. You can find me on Mastodon: https://t.co/DZ2JbWztoi
Ali @shishini
313 Followers 3K Following ★ Logic is good ★ 🇪🇬 🇨🇦 ★ Fédéraliste ★ Centriste ★ Decentralization is good ★ #GetYourPoppy
John Stovin 🇪🇺 @johnstovin
261 Followers 784 Following I have seen the fnords. Principal Software Engineer at @3Squared developing @RailSmart and other railway applications.
Igor Brejc 🇺🇦 �... @breki74
1K Followers 1K Following freelancer / owner of https://t.co/aqqMwrYgGz / author of https://t.co/a6HvlenPVx / OSM / cartography / SW development @[email protected]
ℙierangelo ℂecche... @pierangelocecc
708 Followers 4K Following Software developer, loves FP and dynamical systems. Family guy, occasionally party guy. Amateur guitarist, amateur baker
Janahan Sivaraman @janahan888
2K Followers 455 Following Creator of "How To Get Promoted Beyond Senior Engineer": https://t.co/WQf9iLepIA • Published 50+ Newsletter Editions • தமிழ் மாணவர்
Fareez Ahamed 🇵�... @fareez_ahamed
416 Followers 98 Following Full Stack Web Developer. Reach me on https://t.co/gBg1j0TRkp https://t.co/eVqQEUiXev…
Arthur Borisow @hasrthur
6 Followers 484 Following
Andrew J. Willshire @ajwillshire
3K Followers 5K Following Independent analytics consultant Likes messing about with wood, tall ships, Excel, F#, and bass guitars. Sadly, my opinions are my own...
razzmatazz @razzm
275 Followers 2K Following