Su-Shee

Falsehoods Programmers Believe About "Women In Tech"

• We have absolutely no idea what we're doing in tech. Please explain the utmost basic things to us.

• We only do web design. Our whole reason of being in tech is to make things pretty. Consider us the doilies of the industry.

• We're not laughing about your joke, so we clearly need you explain it to us. In great detail.

• We're only in tech to find a husband, boyfriend or generally to get laid.

edmundsmith

Method for Emulating Higher-Kinded Types in Rust

Intro

I've been fiddling about with an idea lately, looking at how higher-kinded types can be represented in such a way that we can reason with them in Rust here and now, without having to wait a couple years for what would be a significant change to the language and compiler.

There have been multiple discussions on introducing higher-ranked polymorphism into Rust, using Haskell-style Higher-Kinded Types (HKTs) or Scala-looking Generalised Associated Types (GATs). The benefit of higher-ranked polymorphism is to allow higher-level, richer abstractions and pattern expression than just the rank-1 polymorphism we have today.

As an example, currently we can express this type:

kyhwana

#replace "<PAT TOKEN>" with your github PAT token, tested with "Update ALL user data" PAT token.

curl -q https://rms-support-letter.github.io/ | grep "href" | grep "github.com" | grep -v "\/\[" | awk -F "https://github.com/" '{ print $2 }'  | awk -F "\"\>" '{ print $1 }'   | sed 's/\///g' | sed '/^$/d' | xargs -I USER curl -i -X PUT -H "Authorization: token <pat token here>" -H "Accept: application/vnd.github.v3+json" https://api.github.com/user/blocks/USER