F# Casts @FSharpCasts
Quickly demonstrating the F# language and tools. Northern Virginia Joined February 2017-
Tweets87
-
Followers690
-
Following639
-
Likes113
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.
8
5
18
5K
3
View Details
@stacey_large @Uus_it @BernieSpofforth Davos was between Mon Jan 20 - Fri Jan 24, which probably meant he was back in the office Mon Jan 27th. On that day, cases had averaged a ~50% compounded daily growth rate for 10 days. I created a spreadsheet on Jan 27th to track the growth and I'm just a programmer.
F# Casts retweeted
Awesome feature @linqpad - just hightlight the code and press CTRL+SHIFT+B to benchmark with BenchmarkDotNet
@WillEhrendreich In my head, I think I’m working toward that goal but I’m spiking backwards to learn how the Fable compiler works by modifying a working transpiler. But I would love to use the Roslyn SDK to translate C# to the Fable AST or to push it to something Fantomas. What would you do?
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#
@Thoriumi @sforkmann BTW, Thank you for pointing this out. I'm not a fan of mixing exceptions with Result types, let alone replacing exceptions with Result types. They're two different animals and both deserve thoughtful consideration.
@Thoriumi @sforkmann I assumed that was obvious. The goal was to show you don't have to *always* return values in expressions, you can throw a runtime error.
Turning partial functions into total functions
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.
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.
F# Casts retweeted
Today's F# cast is brought to you by our "wheel watching" friends at @FriedFsharp!
F# Casts retweeted
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.
F# Casts retweeted
@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…)
Sergey Tihon has gone... @sergey_tihon
4K Followers 517 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. 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
Phillip Carter @_cartermp
6K Followers 359 Following Copilot Platform @GitHub. Formerly Observability @Honeycombio and F# lang/.NET tools @Microsoft
Angel D. Muñoz @angel_d_munoz
1K Followers 1K Following One of the 12 F# devs in the world https://t.co/VrDARa0uXQ
F# Online @fsharponline
2K Followers 8 Following Supporting the worldwide #fsharp community via online channels https://t.co/9R25QDnqh8 https://t.co/aTRv2VYgs8
Miguel de Icaza ᯅ�... @migueldeicaza
100K Followers 6K 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 231 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 729 Following Building @darklang. My name backwards is uh cats.
Damian Płaza @raimeyuu
1K Followers 6K Following Problem Solver/Solution Problemer. Engineer, baptized in control engineering. Passionate about people, software design, and modelling. Functional-first thinker.
Adam Granicz @granicz
2K Followers 1K Following CEO, IntelliFactory - Your Functional Experts, Caltech CS
SchlenkR @SchlenkR
602 Followers 225 Following OSS / F# JS C# TS You can hire me. Maker of #pxlclock
Mark Gray @MarkRGray
840 Followers 2K Following Traveller, dreamer, student. I run F# Hacks and Meetups and https://t.co/xkU0UsUdPY (@AwesomeFSharp) @summatic @Codurance #mathematics #astrophysics @OpenUniversity
Braidpoint @BraidpointTech
163 Followers 286 Following Deep Tech Solutions. Hardware. Software. #AI, classical, #quantum, Designer of Fidelity Framework (formerly https://t.co/7CPvPpBTD4). #cleflang
gakao one @GakaoOne
0 Followers 26 Following
Alek Cruickshank-Kuhn @AlekKuhn67690
86 Followers 3K Following
B. Hat @TGBlackHat
29 Followers 23 Following
Ufleebox @Ufleebox2787
11 Followers 214 Following
Letetooth @LetetoothMsHMn
21 Followers 605 Following
CriticalTHQ #NAFELLA ... @UnpackStation
356 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
17 Followers 276 Following
kgkoutis @kgkoutis3
36 Followers 1K Following
DanaMaugham @keFN21hnazZLnm
4 Followers 102 Following
Deanop @Deanop499790
17 Followers 894 Following Follow me, maybe it's the beginning of our fate, we can talk
Romain Deneau @DeneauRomain
116 Followers 131 Following C#/F#/TypeScript full-stack developer | Software crafter | Working @ d-edge 🏨
Andrew @andrewdobson11
6 Followers 119 Following
Daniel Jabłoński �... @openclue
26 Followers 365 Following
Guy Buss @ELuciusFTW
105 Followers 437 Following Mathematician turned software developer. Open-source enthusiast. Hooman companion. Recreational climber, poker and pool player. I❤️#fsharp 🦔 & #dotnet!
Mike Toolman @mike_toolman
3 Followers 181 Following
Kieran Bond @KieranBond_
197 Followers 2K Following Kieran in the morning, Kieran all day long || Write @ https://t.co/zVubZ15Y2W || Build things in work and play time
ＨＹＷＥ @_hywe_
7 Followers 45 Following Spatial configurations at a high level of abstraction. Node-based logic for architectural flows. Procedural, deterministic generation. Barrier-free access.
Jincz @Jinczing
31 Followers 1K Following
Chris @Norms_the_name
40 Followers 258 Following
Humphrey De Fluff @HumphreyDeFluff
6 Followers 236 Following
Pavel ✨ keenthinker @keenthinker
385 Followers 3K Following Writer and creator 🚀 Maker of https://t.co/HJ1qBMXzFW & https://t.co/Yf4ygA953r & https://t.co/VZb5taYGT0 🖼️📖⭐ #BuildInPublic .NET & Azure enthusiast
Nhất Thạch @nhatthach
47 Followers 333 Following
weixiao zhong @weixiaozhong
3 Followers 21 Following
Edward Wohlman @CreamCracked
999 Followers 4K Following Some software, some philosophy, and some other bits and bobs
Daniel 🦔 @DanielW_Kiwi
4K 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
5 Followers 22 Following
Serhii @svoychik
29 Followers 202 Following
vladimir svagr🎗☠... @VladimirSvagr
144 Followers 1K Following
Matteo Tosato @vishvamitra87
0 Followers 27 Following Sviluppo software. Mi interesso di scienze umane, psicologia del profondo e transpersonale.
wxxb789 @wxxb789
264 Followers 8K Following
this is @__a_username_
516 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 · Lean. i sometimes stream on https://t.co/NE9ol9kM96. DM me about exotic type systems 🗨️
Alessandro @AndIreGiu
474 Followers 1K Following Informatico per caso. Papà per sempre. Ducatista nei sogni. Liberale senza se e senza ma.
Ravindra Vairagi @vaishnavravi33
126 Followers 7K Following Full stack developer with expertise in https://t.co/5mPvVjJOQc, .Net Core, Angular, API, SQL and SQL server. Blog: https://t.co/xMC2W3UQFR
Vimal (વિમલ) @101V
161 Followers 1K Following
Sergey Tihon has gone... @sergey_tihon
4K Followers 517 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. 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
Phillip Carter @_cartermp
6K Followers 359 Following Copilot Platform @GitHub. Formerly Observability @Honeycombio and F# lang/.NET tools @Microsoft
Don Syme @dsymetweets
11K Followers 45 Following Find me elsewhere. https://t.co/H8XqNJyMcO https://t.co/U1RG0DBd3Z
F# Online @fsharponline
2K Followers 8 Following Supporting the worldwide #fsharp community via online channels https://t.co/9R25QDnqh8 https://t.co/aTRv2VYgs8
Miguel de Icaza ᯅ�... @migueldeicaza
100K Followers 6K 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 231 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 729 Following Building @darklang. My name backwards is uh cats.
Michal Strehovský @MStrehovsky
6K Followers 173 Following I help building the .NET runtime at Microsoft. My tweets are my own opinions and/or shitposts, not the official party line.
Damian Płaza @raimeyuu
1K Followers 6K Following Problem Solver/Solution Problemer. Engineer, baptized in control engineering. Passionate about people, software design, and modelling. Functional-first thinker.
Adam Granicz @granicz
2K Followers 1K Following CEO, IntelliFactory - Your Functional Experts, Caltech CS
Mark Gray @MarkRGray
840 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
356K Followers 810 Following I teach devs for a living. Author of Total TypeScript and AI Hero. Ex-@vercel. Used to be a voice coach.
Oleg 🇺🇦🐍 λ @TheOlegarchy
469 Followers 65 Following Originally from Ukraine, I moved to the US when I was 12. I’m a polyglot programmer, husband, father, and Oxford comma guru.
Investor Dev @snowballer_dev
256 Followers 5K Following Software developer and buy & hold investor. Holding a very pragmatic view for all. The world is complex so it demands rationality, scepticism but empathy
xtphnmdd @xtphnmdd
43 Followers 707 Following interets : droit procedure et programmation (python, f#...)
Dave Cook @dcook_net
241 Followers 89 Following Software Engineer, snowboarder, home baker and tired farther...
Matt Teichman @ElucidationsPod
2K Followers 3K Following Host of the Elucidations Podcast. Programmer @ UChicago DLDC. Adjunct Associate Professor of Computer Science. Emergent Ventures fellow. Views mine. 🦒
Ben Guenter @benguenter
29 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
302 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.
Brad Pillow @BradPillow
310 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
196 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
50 Followers 1K Following
Adrian Ericsson @ImNotEric
105 Followers 2K Following Husband, father, business owner, functional programmer, runner. Europhile, Afrophile, citizen of nowhere.
Paul Olav Ræstad @paulolav
26 Followers 307 Following
Guido Ziliotti @Gorgodrilla
44 Followers 2K Following
Bambang Purnomosidi D... @bpdp
1K Followers 3K Following Faculty at UTDI. On the way to leave the academia to pursue happiness in teaching and research. Also at https://t.co/jtefF8c7n6 (bpdp)
andrew_dean @andrew_dean
67 Followers 2K Following
Kevin Avignon @KAvignon
642 Followers 651 Following Senior Software Engineer @Petal - my thoughts are my own | Rails/.NET/BEAM
John Harman @JohnHarmanWho
232 Followers 518 Following Web developer, tech lover and farmer at heart.
Tony "Abolish ICE" Ar... @bascule
16K Followers 7K Following I don't use Twitter anymore. You can find me on Mastodon: https://t.co/DZ2JbWztoi
Ali @shishini
296 Followers 3K Following ★ Logic is good ★ 🇪🇬 🇨🇦 ★ Fédéraliste ★ Centriste ★ Decentralization is good ★ #GetYourPoppy
John Stovin 🇪🇺 @johnstovin
251 Followers 767 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
696 Followers 4K Following Software developer, loves FP and dynamical systems. Family guy, occasionally party guy. Amateur guitarist, amateur baker
Janahan Sivaraman @janahan888
2K Followers 457 Following Creator of "How To Get Promoted Beyond Senior Engineer": https://t.co/WQf9iLepIA • Published 50+ Newsletter Editions • தமிழ் மாணவர்
Fareez Ahamed 🇵�... @fareez_ahamed
397 Followers 101 Following Full Stack Web Developer. Reach me on https://t.co/gBg1j0TRkp https://t.co/eVqQEUiXev…
Arthur Borisow @hasrthur
5 Followers 481 Following
Andrew J. Willshire @ajwillshire
4K Followers 6K Following Independent analytics consultant Likes messing about with wood, tall ships, Excel, F#, and bass guitars. Sadly, my opinions are my own...
Avestura @avestura
491 Followers 298 Following ✨ I am Avestura, and I love anything STEM! 🌎 Personal Website: https://t.co/tvTRhlJdf9 📝 Blog Posts: https://t.co/hhV4KBUAjS 💻 GitHub: https://t.co/9qQz07X4ib
Amin Khansari @akhansari
505 Followers 725 Following Gardening where people, tech, product, and AIs meet. Passionate about the terminal, sustainable software, and product thinking.
Vimal (વિમલ) @101V
161 Followers 1K Following
Kanhaiya Lal @KLSaxena1
104 Followers 3K FollowingYou might like
Fable Compiler 🇺�...
@FableCompiler
3K Followers
Stachu Korick
@StachuDotNet
1K Followers
Maxime
@MangelMaxime
816 Followers
Eirik Tsarpalis
@eiriktsarpalis
2K Followers
Eugene Auduchinok
@auduchinok
802 Followers