very huge typescript question

playground link: https://www.typescriptlang.org/play?#code/PTAEBcE8AcFMHMCuBDATgEwM4ChYA9oB7VcUAY0IDtNSBLTAeQCMArWM0gXlAAoA3ZABtEsAFyhElANaVCAd0oBKcQOGxQ9UIVbsuAPmygIMWIQBmoVSNCdboAETa2He6ABkby0OsBCO5URBQQBubFwCYlIKajpMADFJDloqG14rMQlpWQVlLzUNTFAEyiSUzgMjKDhzPOtbbnszRPBkyntQ8KISYzhQBikAHgAVPVSAbx6Mxyl22oyh0ABfUPwu0ir1AFFUVAHN0e4JjfF7WB3Z9PFNpY7VyMnQACVYTEDwYYAaUH3U-uHRgA+3x2ez0twi3SaJRaKUIgyGX32-G881yz1egneCO+ozGhlAqFg4EQqEooCOJhOcPsX3SN2wizCd0hzVaoDOu2xSMu3zRLzenxx5PxhOJpPJkxOHJpc3pjM69yhpTJ9HRAq5emRanEkhk8iUKhRBSe-Mxgp+eKMopJZJ4+KM9GYznAWpEincbntkxqrvUyEKFLgAH5xDRULRKPAlooAHQbGx2exhiPwVweL0AbWmMtO5wAujGI2RhOgXjxfaB-RLjqBk5Ho3GTIp8YpQvLmaQlTCVYx4YjNYSMeBxGqzRrcoO3sa-iNhVaiTaCabwI3evUHNS20yIZ3WSl6NtOf2eJPMSPl+a9BPl8bD6C50uxWTTyv4+vc6h2gzt2tQF22WYqCEAAtgAcoEgjIEwgiwJedpGDyCxAgEQSgECkilmYEawOgHz4hyxDiKBVDgUEUEwaC2B8kOAzEZQpGQdBsEjP2Kw7n+e5koBIEMeRzHHvhOyEaAdG8UxlG5L64hIaAKGCGhmSYdh6DuuUJo0aJEF8f8rEKiy0IAUBYFaeJGrwXMDCoIewkyXJCkYbAWGUDhCmaWR4n7HhRgEagIYiSRJkUfsVGiPiQKju8bmMRRLE4mFvBSaAtkQfZlBKc5Kk2KMEW0QF7kxXo-bupaGgWDwPkJtwdkAkCFXrg5Tk4cVXrWuKiXJah6FpY5ymqRURgDdxxn5bAvq0iilnWaglaFFF2n7K2+Lyg6ZXpJNQnTeu1VAmtVkbZVik9RlzUDY+i4cuVG2LUYy1neKcK+utQHTVWc2mVeW56buBkpJIcioMg0CWXBL7njRGpfJhyBvAAaii0m5EMbG-v+v2UP9gPA2ZUOw-DSWSaD6nqkVWVJcjiqcZkGNA0eOLmS+lkACKOdDmJw9qRNjv2CkIviONsyiflDCFSUKeWhM5eOpNDCdpW8Kqy4nsuTMs7jaiKLLRjRDQS5DqkDOoMzZis+A7MiB0p2tT2-RK0O7pBrrbwxnS4j86bKI+KEN3soImDqCVWtUDrbtm+o3AG0bJuhxbA1W7wL59fLva2289uO5iztGq7qsC+rXtLN+X0cT9XGQeAACygPml8ACqmoisuYPEziXl-pQ4jtYnOU1-2Ivd7pHbF8qf5l5X0DV6AdfmWY7dpHjMuk-3cUE43nNYiTalL-s5P6cPZij1XXK1-X85DpZcSz5L3NAuWiFdxePc4oorcz35neLw-vfUQKj8-DfKdnjXpee+NFf5XgfLQMq9BijKgAeAc+ShNbkCDqQYCgML762VqgC+Md5xPnjsuRO+9kAV0BnAr4aDoAX2uksH2fsHyBxiOnLgzCEG4LljwBWQ44EawYbHBc4pHRSB4V6U6DsZ4+DgZndWoiBodxfDNTIeoFCKK3h9L0iw6H+1kXHF8+cbpLULtgbWpBBypCGmJGCPAACMXwPzEHsItEAp0AB6QYwgmNANAICTFgLmIPtAW2XweBKFJmSdcAAGUADsLr2DIMgSgAByUg6BaB8FoKWUATBICgAiY48QD1rERKiWARBoRnGuPcc48AAALTQmhdTZDJKIHgQA

TS Playground - An online editor for exploring TypeScript and JavaS...

The Playground lets you write TypeScript or JavaScript online in a safe and sharable way.

nexxelOP•2/16/23, 2:20 PM

basically im trying to implement a result monad, it has two types, OkOk and ErrErr

nexxelOP•2/16/23, 2:20 PM

and helper functions to work with it

nexxelOP•2/16/23, 2:21 PM

in here i have a flatMapflatMap function which maps a Result of Ok type. If the Result is of Err type, leaves it untouched. The map function must return a Result

Brendonovich•2/16/23, 2:21 PM

mm yum so big and huge

BBrendonovich mm yum so big and huge

nexxelOP•2/16/23, 2:21 PM

yes

Nnexxel in here i have a `flatMap` function which maps a Result of Ok type. If the Resul...

nexxelOP•2/16/23, 2:21 PM

but the problem is that for some reason in the example i sent its inferring the Ok type as unknown

nexxelOP•2/16/23, 2:22 PM

its working in the compiled js, just have type errors which im not sure where im going wrong

nexxelOP•2/16/23, 2:22 PM

would love some help

Brendonovich•2/16/23, 2:24 PM

it's gotta be this part, idk if you noticed it

Brendonovich•2/16/23, 2:25 PM

it's tricky since TT doesn't have anything constraining it

Brendonovich•2/16/23, 2:25 PM

but ig u could say the same for errors aye

BBrendonovich it's gotta be this part, idk if you noticed it

nexxelOP•2/16/23, 2:34 PM

yeah it is

nexxelOP•2/16/23, 2:34 PM

but like

nexxelOP•2/16/23, 2:34 PM

idk what to change to fix it

nexxelOP•2/16/23, 2:35 PM

cause errors will always be like that

nexxelOP•2/16/23, 2:35 PM

and they are getting inferred correctly

Brendonovich•2/16/23, 2:41 PM

that's only being returned for the errerr tho, not the okok

Nnkalpak I've created a minimal example that abides by the rules outlined here: - `flatMa...

nexxelOP•2/16/23, 3:17 PM

fromNullablefromNullable just takes a value and turns it into a ResultResult of OkOk type and ErrErr if its either null or undefined

nexxelOP•2/16/23, 3:17 PM

will look at the codesandbox now

nexxelOP•2/16/23, 3:21 PM

so i guess the only easy way to do this is return a union of OkOk and ErrErr?

nexxelOP•2/16/23, 3:22 PM

i def don't want unions because in the future i have to make a matchmatch function which would be very hard to do on a union (i think)

nexxelOP•2/16/23, 3:23 PM

actually now that i think about it thinkspin

nexxelOP•2/16/23, 3:23 PM

maybe it could work

nexxelOP•2/16/23, 3:24 PM

match would take two functions, one would be the function that will run if the result is Ok(x)Ok(x), the other one will run if the result is an ErrErr

Brendonovich•2/16/23, 3:25 PM

map_or_elsemap_or_else hehe

nexxelOP•2/16/23, 3:25 PM

match is sexier

Brendonovich•2/16/23, 3:25 PM

yeah if you've just got results it's fine

nexxelOP•2/16/23, 3:26 PM

im hating library ts atm

nexxelOP•2/16/23, 3:26 PM

sucks to write

Brendonovich•2/16/23, 3:26 PM

aint it fun

Nnkalpak Yep, the ergonomics are non-existent

nexxelOP•2/16/23, 3:29 PM

yeah :(

very huge typescript question

Similar Threads

Similar Threads

Similar Threads