# F# Weekly #13, 2021 - F# Type checker

**URL:** <https://forums.fsharp.org/t/f-weekly-13-2021-f-type-checker/1674>\
**Category:** General\
**Tags:** news\
**Created:** [March 27, 2021, 3:54pm UTC](https://forums.fsharp.org/t/f-weekly-13-2021-f-type-checker/1674 "2021-03-27T15:54:09Z")\
**Posts on this page:** 2\
**Page:** 1

<div class="post-metadata">

**Author:** ![sergey\_tihon](https://yyz2.discourse-cdn.com/flex030/user_avatar/forums.fsharp.org/sergey_tihon/32/25_2.png) [@sergey\_tihon](https://forums.fsharp.org/u/sergey_tihon)\
**Post date:** [March 27, 2021, 3:54pm UTC](https://forums.fsharp.org/t/f-weekly-13-2021-f-type-checker/1674/1 "2021-03-27T15:54:09Z")

</div>

Welcome to F# Weekly,

A roundup of F# content from this past week:

**News**

- [Loop alignment in .NET 6 | .NET Blog (microsoft.com)](https://devblogs.microsoft.com/dotnet/loop-alignment-in-net-6/)
- [Cloud-Native learning resources for .NET developers | .NET Blog (microsoft.com)](https://devblogs.microsoft.com/dotnet/cloud-native-learning-resources-for-net-developers/)

> <https://twitter.com/dzoukr/status/1375387780809945088>

**Videos and Slides**

- [F# Type checker - F# Compiler Community Session - YouTube](https://www.youtube.com/watch?v=EQ9fjOlmwws&ab_channel=F%23SoftwareFoundation)
- [Writing Our First Unit Test + Doing Math With Units of Measure | StonkWatch Ep.12 | Front-End Part.5](https://www.youtube.com/watch?v=K057g57reY0&ab_channel=BenGobeil)
- [Why I'm Using Falco Instead Of Saturn | How To Switch Your Backend In SAFE Stack | StonkWatch Ep.13](https://www.youtube.com/watch?v=DTy5gIUWvpo&ab_channel=BenGobeil)
- [.NET Diagnostics Expert - Module 01 - Lesson 02 - Symbols - YouTube](https://www.youtube.com/watch?v=wKi5FzxxA0s&ab_channel=Dotnetos)
- [C# Source Generators - YouTube](https://www.youtube.com/watch?v=cB66gOHConw&ab_channel=dotNET)

> <https://twitter.com/vzarytovskii/status/1375096191596298245>

**Blogs**

- [Announcing EFCore.FSharp](https://simonreynolds.ie/announcing-efcore-fsharp/) - Simon Reynolds
- Memstate [First Program - Learning F# (srid.github.io)](https://srid.github.io/learning-fsharp/01-first-program)
- [Type-safety across .Net and TypeScript – Generating TypeScript classes](https://www.planetgeek.ch/2021/03/23/type-safety-across-net-and-typescript-generating-typescript-classes/) - Urs Enzler
- [Grokking Monads](https://dev.to/choc13/grokking-monads-in-f-3j7f) - Matt Thornton
- [Grokking Monads, Imperatively](https://dev.to/choc13/grokking-monads-imperatively-394a) - Matt Thornton
- [Azure Blobs with F#](https://www.compositional-it.com/news-blog/azure-blobs-with-f/) - Akash Mair

**F# vNext**

> <https://twitter.com/dustinmoris/status/1375391824731340803>

- [Support attributes on lambda expressions · Issue #984 · fsharp/fslang-suggestions (github.com)](https://github.com/fsharp/fslang-suggestions/issues/984#issuecomment-808089799)
- [State of the project and future plans · Discussion #120 · DevrexLabs/memstate](https://github.com/DevrexLabs/memstate/discussions/120#discussioncomment-514852)
- New language suggestions
  - [Make Event's AddHandler/RemoveHandler thread-safe · Issue #992](https://github.com/fsharp/fslang-suggestions/issues/992)
  - [Using predicate functions on records pattern matching · Issue #991](https://github.com/fsharp/fslang-suggestions/issues/991)

> <https://twitter.com/_cartermp/status/1373715350139723776>

**Highlighted projects**

- [DevrexLabs/memstate](https://github.com/DevrexLabs/memstate): In-memory event-sourced ACID-transactional distributed object graph engine for .NET Standard
- [TheAngryByrd/Marten.FSharp](https://github.com/TheAngryByrd/Marten.FSharp): A set of FSharp wrappers around Marten
- [fsharplang-ru/pulsar-client-dotnet](https://github.com/fsharplang-ru/pulsar-client-dotnet): Apache Pulsar native client for .NET (C#/F#/VB)
- [Zaid-Ajaj/Snowflaqe](https://github.com/Zaid-Ajaj/Snowflaqe): A dotnet CLI to generate type-safe GraphQL clients for F# and Fable with automatic deserialization, static query verification and type checking
- [Compost.js: Composable data visualization library](https://compostjs.github.io/compost/)

**New Releases**

> <https://twitter.com/mitekm/status/1373775894934818816>

That’s all for now. Have a great week.

If you want to help keep F# Weekly going, [click here to jazz me with Coffee](https://www.buymeacoffee.com/sergeytihon)!

[![Buy Me A Coffee](https://cdn.buymeacoffee.com/buttons/v2/default-yellow.png)](https://www.buymeacoffee.com/sergeytihon)

&nbsp;

---

<div class="post-metadata">

**Author:** ![srid](https://yyz2.discourse-cdn.com/flex030/user_avatar/forums.fsharp.org/srid/32/858_2.png) [@srid](https://forums.fsharp.org/u/srid)\
**Post date:** [March 28, 2021, 8:21pm UTC](https://forums.fsharp.org/t/f-weekly-13-2021-f-type-checker/1674/2 "2021-03-28T20:21:26Z")

</div>

> [@sergey\_tihon](#):
>
> Memset [First Program - Learning F# (srid.github.io)](https://srid.github.io/learning-fsharp/01-first-program)

Thanks for the mention. 🙂 There is a typo: `memstate` (not memset).