Jindřich Ivánek
@jindraivanek.bsky.social
Problem solving with functional programming. F# developer at
Ciklum CZ/SK
https://jindraivanek.hashnode.dev @jindraivanek@functional.cafe
Ciklum CZ/SK
https://jindraivanek.hashnode.dev @jindraivanek@functional.cafe
Reposted by Jindřich Ivánek
✍️ "Testing shows the presence of bugs, but never their absence." — Edsger W. Dijkstra
In the 1970s, Dijkstra advocated that verification should replace testing as the first approach to software quality. Testing "won", but what if this wasn't the end of the story? #fsharp speakez.ai/blog/verifyi...
In the 1970s, Dijkstra advocated that verification should replace testing as the first approach to software quality. Testing "won", but what if this wasn't the end of the story? #fsharp speakez.ai/blog/verifyi...
Verifying F#
From Functional Code to Verified Binaries: The Fidelity Framework Approach
speakez.ai
May 12, 2025 at 1:02 PM
✍️ "Testing shows the presence of bugs, but never their absence." — Edsger W. Dijkstra
In the 1970s, Dijkstra advocated that verification should replace testing as the first approach to software quality. Testing "won", but what if this wasn't the end of the story? #fsharp speakez.ai/blog/verifyi...
In the 1970s, Dijkstra advocated that verification should replace testing as the first approach to software quality. Testing "won", but what if this wasn't the end of the story? #fsharp speakez.ai/blog/verifyi...
Reposted by Jindřich Ivánek
🌟 The the first official release of the UCM Desktop app is here!
Browse your local codebase, click through to source definitions, and read the docs, all in a sleek new UI. ✨
github.com/unisonweb/uc...
Browse your local codebase, click through to source definitions, and read the docs, all in a sleek new UI. ✨
github.com/unisonweb/uc...
January 9, 2025 at 7:54 PM
🌟 The the first official release of the UCM Desktop app is here!
Browse your local codebase, click through to source definitions, and read the docs, all in a sleek new UI. ✨
github.com/unisonweb/uc...
Browse your local codebase, click through to source definitions, and read the docs, all in a sleek new UI. ✨
github.com/unisonweb/uc...
Reposted by Jindřich Ivánek
In order of preference depending what works
1. Use pipelined combination of existing functions
1. Use computed list/array/seq expression
2. Use computed list/array/seq expression with single clear local mutable state
3. Use fold
4. Use new list recursion that is really somehow unusual
1. Use pipelined combination of existing functions
1. Use computed list/array/seq expression
2. Use computed list/array/seq expression with single clear local mutable state
3. Use fold
4. Use new list recursion that is really somehow unusual
December 3, 2024 at 10:33 AM
In order of preference depending what works
1. Use pipelined combination of existing functions
1. Use computed list/array/seq expression
2. Use computed list/array/seq expression with single clear local mutable state
3. Use fold
4. Use new list recursion that is really somehow unusual
1. Use pipelined combination of existing functions
1. Use computed list/array/seq expression
2. Use computed list/array/seq expression with single clear local mutable state
3. Use fold
4. Use new list recursion that is really somehow unusual
Reposted by Jindřich Ivánek
F# Weekly #46, 2024 - .NET 9, F# Nullable Reference Types, New Home on BlueSky #fsharp sergeytihon.com/2024/11/17/f...
F# Weekly #46, 2024 – .NET 9, F# Nullable Reference Types, New Home on BlueSky
Welcome to F# Weekly, A roundup of F# content from this past week: News Nullable Reference Types in F# 9 – .NET Blog What’s New in Rider 2024.3 & F# support Announcing .NET 9 – .NET…
sergeytihon.com
November 17, 2024 at 12:39 PM
F# Weekly #46, 2024 - .NET 9, F# Nullable Reference Types, New Home on BlueSky #fsharp sergeytihon.com/2024/11/17/f...
