and what about this

infer expr = case expr of
Var name -> lookupVarType name ?env
App funExpr bodyExpr -> do
funType <-infer funExpr
(paramType, resultType) <- splitFunction funType
check paramType bodyExpr
pure resultType

I just published Flutter Error Handling in Depth: Either, Result Types & Global Error Boundaries medium.com/p/flutter-er...
#Flutter #FlutterDev #Dart #ErrorHandling #Either #ResultType #FlutterError #Crashlytics #Sentry #FlutterInterview #MobileDevelopment #TechInterview

Also ripped out the ResultType stuff after some more introspection.

where does this actually use the environment?

infer env expr = case expr of
Var name -> lookupVarType name env
App funExpr bodyExpr -> do
funType <- infer env funExpr
(paramType, resultType) <- splitFunction funType
check env paramType bodyExpr
pure resultType

Quick KQL for MFASweep detection. Bin of 1d works too :)

SigninLogs
| summarize uniqueCount = dcount(UserAgent), make_set(UserAgent),make_set(ResultType),make_set(IPAddress) by bin(TimeGenerated, 10m), UserPrincipalName
| where set_UserAgent has_all ('Android','Macintosh','iPhone','Windows phone')

i tried naming an entity in my graphql schema “ResultType” because it’s a type of a lab result…

i got hit by a lint rule saying it can’t end in the word “type”

touché linter

What is the difference between resultType and resultMap?

https://www.javapedia.net/mybatis-interview-questions/10593/what-is-the-difference-between-resulttype-and-resultmap

#javapedia #interviewquestions #programming #shorts #mybatis

、、、知らない記法だ、、、。
```c
typedef struct {
ResultType type;
union {
int value; // 成功時の値
char error_message[128]; // 失敗時のエラーメッセージ
};
} Result;
```

The flows that needed a held-open stream are replaced by a Multi Round-Trip Requests pattern. A server returns resultType: input_required when it needs user input mid-call. The client retries with answers attached. No persistent bidirectional connection required.

.@Microsoft @bing's election predictions, mapped: http://www.bing.com/search?filters=electionscenario%3a%22race%22+racetype%3a%22senate%22+resulttype%3a%22raceprediction%22+national%3a%22us%22&q=US+elections+2014+predictions

https://nvd.nist.gov/vuln/search#/nvd/home?keyword=openclaw&resultType=records

The list keeps on getting crazier the longer you look at it

https://nvd.nist.gov/vuln/search#/nvd/home?keyword=openclaw&resultType=records

The list keeps on getting crazier the longer you look at it

M365 Connector for Claude – Why SecOps Must Care

Monitoring the M365 Connector for Claude is critical because when ResultType=0, it means an Entra Global Admin has granted permissions, enabling Claude to directl…

🔁 RT @0x534c | reposted by @cyb3rops
https://x.com/0x534c/status/2040297460036485371