А что тут разнородного?

нет, цель приносить вэлью, соблюдая ссылочную прозрачность, а это просто либы, которые помогают это делать и решать проблемы заказчиков (заказчик один — сама же компания, это не аутсорс)

Можешь показать?

у меня был такой же стек на проде

дуби, хттп4с, коты и фс2

Это разве не дефолт?

ну кому-то акка/плей + слик дефолт)

мы все на анорме

как уныло, вроде как с одной стороны большие возможности и выразительность языка должны открывать двери для решения новых, принципиально сложных задач, которые без вот этой вот гибкости языка было бы почти невозможно решить, но с другой стороны все скатывается в то, как мы затащили ф с дыркой чтоб писать круды((

с чего вы взяли что это  были круды?

модуль круд адмики была джанге вообще

я не конкретно про ваш проект, а про дуби\хттпс\фс2 связку, которая вроде как дефолт если нужно писать круд с F

фс2 для крудов?)

> принципиально сложных задач, которые без вот этой вот гибкости языка было бы почти невозможно решить

Это какие например задачи?

когда задача требует дополнительных тайпсеф гарантий, манипуляций с аст и разного рода реврайт
https://github.com/github/semantic/blob/master/docs/why-haskell.md
мне вот этот пример приходит в голову

какие задачи требуют манипуляций с AST?)

а что не так? стриминг в крудах mauvais ton?

вот тут куча примеров

https://docs.microsoft.com/en-us/dotnet/fsharp/language-reference/computation-expressions

Вкратце мысль - ты можешь открыть контекст (например async {  …. }), в котором появляются дополнительные синтаксические конструкции работающие в этом контексте:

let! - это flatMap
do! - это flatMap, где должен быть юнит

async {
  let! result = getAsync()
  do! saveAsync result
  return result
}

при этом любую базовую конструкцию языка можно переопределить - for, while, try-catch, using и пр
as

ync {
  for x in xs do // здесь for переопределен таким образом что он чекает отмену контекста на каждой итерации и отменит весь блок сам. Никакого бойлерплейта
    do! someLongActionAsync() 
}

Можно в этот контекст добавить ленивости вычислений, можно заставить весь контекст возвращать не результат а АСТ и трансформить его в другой язык на лету
например

quer

y {
    for student in db.Student do
    where (student.StudentID = 1)
    select student
    exactlyOne
} // на выходе здесь AST, которое превращается в любой квери

ну

короче, там можно творить любую дичь в F#

что для вас круд? для меня create-read-update-delete типовый сервак, хз где тут стримы

grpc стриминг +  бд с реактивыми драйверами, которые позволяют вам данные стримить - чем вам не круд?