Comment by neonsunset

Comment by neonsunset 3 days ago

You have likely heard "functional core, imperative shell". This refers to having IO-heavy code that favors imperative patterns be written in C# and then have the actual domain logic core written in F# which is much better at expressing it. Because both languages are hosted on .NET, you simply achieve it by having two projects and having one reference another. It is very seamless F# and C# types are visible to each other if marked to be so.

The biggest advantage of F# is its gradual typing and full type inference which allows to massively reduce the amount of text required to describe application or domain logic. It is also extremely composable and I find doing async in F# somewhat nicer than in C# too. F# also has better nullability (or, rather, lack of thereof) assurances and, in my opinion, better UX for records.

gwbas1c 3 days ago

That's just like how C# and VB.Net can co-exist in the same project. Would you pick the pattern of:

1: C# Library with interfaces and/or abstract base classes

2: F# library with implementations of those interfaces and base classes

3: C# program (console, web service, GUI, ect) that specifies the implementations in Dependency Injection

Or is there a simpler way for C# and F# to co-exist in the same project (dll or exe)?

Reply View 4 replies

int_19h 2 days ago

You don't really need to split 1 & 2, since F# can define .NET interfaces and abstract classes just fine.
For that matter, you don't even need the interfaces if you wouldn't have had them in a C#-only solution. Just define the class in F# and use it directly from C#.
You still need a separate assembly for F#, but that doesn't imply dependency injection - again, just reference it and use it.

Reply View | 3 replies
- gwbas1c 2 days ago
  
  I've identified a possible use case for F# in a preexisting product; I'm looking for the simplest way to integrate F#.
  
  Reply View | 2 replies
  
  Lanayx 2 days ago
  
  F# excels in writing domain logic where main domain entities are defined as records and discriminated unions and logic is written in pure functions. Given that product is preexisting and domain entities must already be defined, I wonder what use case do you have in mind?
  
  Reply View | 1 reply
  
  gwbas1c 2 days ago
  
  Realtime control logic for infrastructure.
  The basic decision making logic needs to be very simple and easy to follow by scientists and people who aren't day-to-day software engineers: Basically, input some data, such as sensor readings, run it through an algorithm that makes decisions, and then output the decisions.
  
  Reply View | 0 replies