Type mismatch

@loothood · Регистрация: 07.06.2015

Студворк — интернет-сервис помощи студентам

Добрый день!

довольно частая ошибка(по крайней мере у меня)
я понимаю что она означает, я не понимаю как то нее избавиться
Пример кода:

F#
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
open System.IO
open System.Net
open Microsoft.FSharp.Control.WebExtensions
 
module trying =
    let getPage (url:string)  =
        async {
            try
                let req = WebRequest.Create(url)
                let! res = req.AsyncGetResponse()
                use stream = res.GetResponseStream()
                use asyncReader = new AsyncStreamReader(stream)
                return! asyncReader.ReadToEnd()
            with
            | _ as e -> printfn "error: %s" e.Message
            return None
      }

получаю ошибку в строке return! asyncReader.ReadToEnd() :
Type mismatch. Expecting a Async<unit> but give a Async<string>
ок
переделал

F#
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
open System.IO
open System.Net
open Microsoft.FSharp.Control.WebExtensions
 
module trying =
    let getPage (url:string) =
        async {
            try
                let req = WebRequest.Create(url)
                let! res = req.AsyncGetResponse()
                use stream = res.GetResponseStream()
                use reader = new StreamReader(stream)
                let! result = reader.AsyncReadToEnd()
                return Some result
            with
            | _ as e -> printfn "error: %s" e.Message
            return None
      }

Ошибка в строке return Some result :
Type mismatch. This expression was expected to have type unit but here has type 'a option
Что я делаю не так?
Где можно прочитать про приведения типов в f#
????

@Ev_Hyper · 09.11.2015, 19:27

loothood,

F#
1
2
3
4
5
6
7
8
    let getPage (url:string)  =
        async {
                let req = WebRequest.Create(url)
                let! res = req.AsyncGetResponse()
                use stream = res.GetResponseStream()
                use asyncReader = new AsyncStreamReader(stream)
                return! asyncReader.ReadToEnd()
        }

@loothood · 09.11.2015, 19:42 **[ТС]**

Ev_Hyper, спаибо
а как я мог бы сам догадаться до такого решения?

@Ev_Hyper · 09.11.2015, 19:46

А для проверки выполнения используйте Async.Catch

https://msdn.microsoft.com/en-... 53899.aspx

F#
1
2
3
4
5
6
7
8
let page = "http://nancyfx.ordfsg/"
page
|> trying.getPage
|> Async.Catch
|> Async.RunSynchronously
|> function
     | Choice1Of2 result     -> printfn "%A\n Async operation completed!" result
     | Choice2Of2 (ex : exn) -> printfn "Exception thrown: %s" ex.Message

Сообщение от loothood

а как я мог бы сам догадаться до такого решения?

незнаю

Просто нужно понять, что построители выражений по типу async, ... ожидают строго тот тип, который указан в названии.

Новые блоги и статьи Все статьи Все блоги /
Модульная разработка через nuget packages DevAlt 07.03.2026 Сложившийся в . Net-среде способ разработки чаще всего предполагает монорепозиторий в котором находятся все исходники. При создании нового решения, мы просто добавляем нужные проекты и имеем. . .	Модульный подход на примере F# DevAlt 06.03.2026 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .	Управление камерой с помощью скрипта OrbitControls.js на Three.js: Вращение, зум и панорамирование 8Observer8 05.03.2026 Содержание блога Финальная демка в браузере работает на Desktop и мобильных браузерах. Итоговый код: orbit-controls-threejs-js. zip. Сканируйте QR-код на мобильном. Вращайте камеру одним пальцем,. . .	SDL3 для Web (WebAssembly): Синхронизация спрайтов SDL3 и тел Box2D 8Observer8 04.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-sync-physics-sprites-sdl3-c. zip На первой гифке отладочные линии отключены, а на второй включены:. . .
SDL3 для Web (WebAssembly): Идентификация объектов на Box2D v3 - использование userData и событий коллизий 8Observer8 02.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-collision-events-sdl3-c. zip Сканируйте QR-код на мобильном и вы увидите, что появится джойстик для управления главным героем. . . .	Реалии Hrethgir 01.03.2026 Нет, я не закончил до сих пор симулятор. Эта задача сложнее. Не получилось уйти в плавсостав, но оно и к лучшему, возможно. Точнее получалось - но сварщиком в палубную команду, а это значит, в моём. . .	Ритм жизни kumehtar 27.02.2026 Иногда приходится жить в ритме, где дел становится всё больше, а вовлечения в происходящее — всё меньше. Плотный график не даёт вниманию закрепиться ни на одном событии. Утро начинается с быстрых,. . .	SDL3 для Web (WebAssembly): Сборка библиотек: SDL3, Box2D, FreeType, SDL3_ttf, SDL3_mixer и SDL3_image из исходников с помощью CMake и Emscripten 8Observer8 27.02.2026 Недавно вышла версия 3. 4. 2 библиотеки SDL3. На странице официальной релиза доступны исходники, готовые DLL (для x86, x64, arm64), а также библиотеки для разработки под Android, MinGW и Visual Studio. . . .

@loothood 97 / 78 / 12 Регистрация: 07.06.2015 Сообщений: 132 Записей в блоге: 12
	09.11.2015, 19:42 [ТС]
	Ev_Hyper, спаибо а как я мог бы сам догадаться до такого решения? 0