Picture

We Rate Types @WeRateTypes

just an endofunctor in the category of monoids Joined June 2017
  • Tweets
    17
  • Followers
    775
  • Following
    8
  • Likes
    17
WeRateTypes Profile Picture

We Rate Types @WeRateTypes

8 years ago

He zero, but he also succ

WeRateTypes Profile Picture

We Rate Types @WeRateTypes

8 years ago

Wowser look at all those lifetimes. So h*kij nonlexical, some sneaky control graph action at play. 'grats @rustlang github.com/rust-lang/rfcs…

WeRateTypes Profile Picture

We Rate Types @WeRateTypes

8 years ago

What a good type. Very well designed, excellent use of patterns. Rating rating = new Rating(Gang of Four / 10);

WeRateTypes Profile Picture

We Rate Types @WeRateTypes

8 years ago

Look at these types. Would rank highly. forall t . t/10

WeRateTypes Profile Picture

We Rate Types @WeRateTypes

8 years ago

Some haters are telling us our ints are 33 bits, but our chars are 11 bits so we're conforming to the standard. We give it CHAR_BIT/10.

WeRateTypes Profile Picture

We Rate Types @WeRateTypes

8 years ago

Look at this type @0xabad1dea found. Its a smol one but a good one. Not sure how many bits it is tho, -4,294,967,296/10

0xabad1dea Profile Picture

badidea 🪐 @0xabad1dea

8 years ago

Look at this type @0xabad1dea found. Its a smol one but a good one. Not sure how many bits it is tho, -4,294,967,296/10

WeRateTypes Profile Picture

We Rate Types @WeRateTypes

8 years ago

Wow, blown away by the proven correctness. Would let these types verify my cryptography any day. sha256/10

WeRateTypes Profile Picture

We Rate Types @WeRateTypes

8 years ago

We only rate types. Please don't send us adorable, delicious m̶o̶n̶a̶d̶s̶ burritos. Would unwrap gently. Some(Ok(13/10))

WeRateTypes Profile Picture

We Rate Types @WeRateTypes

8 years ago

Meet the simply typed lambda calculus. Normalizes so h*ckin strongly. Not turing complete, would apply anyway. λ/10

WeRateTypes Profile Picture

We Rate Types @WeRateTypes

8 years ago

Meet Hindley-Milner. Very classic type system. Would let it infer all my code any day. Γ/10

WeRateTypes Profile Picture

We Rate Types @WeRateTypes

8 years ago

Just setting up my Twitter. 155c01d3a70aa835842b9454bc6baccbafd3f7d6b636562ffac22b03e7423466

Trends for United States

Tigers
56,5 B posts
Darvish
3.839 posts
Tatis
2.903 posts
#RepDetroit
2.500 posts
Jihad
63,4 B posts
Estrada
10,8 B posts
Taillon
2.795 posts
Guardians
18,5 B posts
#BuiltForOctober
4.488 posts
Perez
48,6 B posts
#GuardsBall
4.586 posts
Cleveland
17,9 B posts
ALDS
7.276 posts
Project 2025
123 B posts
Will Vest
#Cubs
2.282 posts
Dolan
2.592 posts
Arraez
Dillon Dingler
1.098 posts
charli
37,5 B posts

You might like

Occasional OCaml programmer. Host of @signalsthreads. @yminsky@discuss.systems @yminsky.bsky.social https://t.co/kiUGRvWOO2
Yaron (Ron) Minsky
@yminsky
16K Followers
Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
Edward Kmett
@kmett
16K Followers
The Haskell Consultants
Well-Typed
@welltyped
6K Followers
Author of @dhall_lang, https://t.co/YzieN4kyo2, and principal engineer at @Mercury I'm a midwife to the hidden beauty in everything she/her 🏳️‍⚧️
gabby
@GabriellaG439
15K Followers
Has a thing for abstraction. Haskeller, Computer Scientist. Dances tango, swing and blues. Stand-up comedian and paraglider. 🦣 https://t.co/9Sjz02h8dL
Joachim Breitner
@nomeata
2K Followers
Mainly Haskell, sometimes J/?
Vanessa McHale
@vamchale
8K Followers
Haskell and SQL. Team Lead for Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!
Matt Parsons
@mattoflambda
5K Followers
From engineering to abstract mathematics and back
Andrey Mokhov
@andreymokhov
2K Followers
mathy, Computer Scientist, Engineer. Extrovert! https://t.co/P6pYt6qnbl, https://t.co/l5GDSjx0Aq, etc carter@mathstodon.xyz cartazio@hachyderm.io, etc etc
Carter T Schonwald
@cartazio
2K Followers