#parametricity - Twitter Hashtag

over 6 years ago

"Explore #parametricity theorem and applications to practical #functionalprogramming! Join @data_fly at #scalax for a step-by-step interpretation of proofs based on Philip Wadler's paper "Theorems for free!" More info here: https://t.co/8czoilNmaV

0

2

0

Debasish (দেবাশিস্) Ghosh 🇮🇳

@debasishg

about 7 years ago

"the profunctor representation reveals a lattice structure among varieties of optics-structure that remains hidden with the concrete representations"- Reminder that generic representations reveal underlying patterns better than concrete ones https://t.co/KwiRlvmyzk #parametricity

debasishg's tweet photo. "the profunctor representation reveals a lattice structure among varieties of optics-structure that remains hidden with the concrete representations"- Reminder that generic representations reveal underlying patterns better than concrete ones https://t.co/KwiRlvmyzk #parametricity https://t.co/OLiCjjGtds

0

20

4

0

Functional Conference @FnConf

over 7 years ago

"Starting #Data61 Functional Programming Course" A rare opportunity get started at the Data61's #FunctionalProgramming Course at #FnConf18. In this workshop, Brian McKenna @puffnfresh covers #EquationalReasoning, #Parametricity and #TypeDrivenDevelopment. https://t.co/uvEqhMPfGp

FnConf's tweet photo. "Starting #Data61 Functional Programming Course"
A rare opportunity get started at the Data61's #FunctionalProgramming Course at #FnConf18.
In this workshop, Brian McKenna @puffnfresh covers #EquationalReasoning, #Parametricity and #TypeDrivenDevelopment.
https://t.co/uvEqhMPfGp https://t.co/BZfkrIasF7

0

3

2

0

JCConf Taiwan @jcconf

over 7 years ago

#JCConf 議程報報《#Parametricity in Scala》 @ScalaTaiwan 的發起人，同時也對各種 #Scala 知識有多年研究的 @weihsiu ，將會介紹 function 宣告上 parameter 跟 type 的設計，是如何引導出直覺好懂的實作方式。 https://t.co/QnIW7J3EIA

0

2

0

Functional Works @Functionalworks

over 7 years ago

#Parametricity is an essential step in convincing yourself that there is something more profound to #FunctionalProgramming than meets the eye 👀 Daniel Sebban shows us how in his article 'Understanding #Parametricity in #Scala' https://t.co/ler8Z7hLO6

0

5

0

Functional Works @Functionalworks

almost 8 years ago

#Parametricity in #Scala may seem like magic 🎩🐇 but @dsebban show's us otherwise in his latest article! Check it out below 👇 https://t.co/SBZ2Gmw2Jx

0

4

0

Filippo Sestini @FilippoSestini

almost 8 years ago

#Parametricity is mindblowing. Statically-enforced well-scoped, well-typed, and hygienic effectful code generation: https://t.co/5tj7PkHhcs All it takes is a universal quantifier. And they said a type signature tells you nothing about your code :) #Haskell

0

3

0

Functional Works @Functionalworks

almost 8 years ago

#Parametricity in #Scala may seem like magic 🎩🐇 but @dsebban show's us otherwise in his latest article! Check it out below 👇 https://t.co/fBjMso7YLF

0

4

0

Functional Works @Functionalworks

almost 8 years ago

#Parametricity in #Scala may seem like magic 🎩🐇 but @dsebban show's us otherwise in his latest article! Check it out below 👇 https://t.co/0BBNN68aHr

0

3

1

0

Functional Works @Functionalworks

almost 8 years ago

#Parametricity in #Scala may seem like magic 🎩🐇 but @dsebban show's us otherwise in his latest article! Check it out below 👇 https://t.co/NMPKP2G6BR

0

8

5

1

0

Dad×3_jack @Iceland_jack

almost 8 years ago

Requesting cool applications of #parametricity (especially #RankNTypes / higher-rank types) Something in the spirit of Janis Voigtländer's thesis (https://t.co/GXh8AOiVJn)

Iceland_jack's tweet photo. Requesting cool applications of #parametricity (especially #RankNTypes / higher-rank types)

Something in the spirit of Janis Voigtländer's thesis (https://t.co/GXh8AOiVJn) https://t.co/r5zmB3n4hS

6

2

1

0

Dad×3_jack @Iceland_jack

almost 8 years ago

Maybe you should also love #parametricity https://t.co/y4Nrbp52pH

0

5

0

Dad×3_jack @Iceland_jack

almost 8 years ago

#Parametricity is a superpower #Haskell

1

21

3

0

Dad×3_jack @Iceland_jack

about 8 years ago

What I like about this idea by @BanjoTragedy: combines #Coercible, #parametricity and *very* simple types doing the heavy lifting: newtype Named(name) a = Named a is just 'a' (with phantom 'name'), aka Tagged · Tagged https://t.co/m0YYYox6fV · reddit https://t.co/cDX14DU4Co

1

3

0

Dad×3_jack @Iceland_jack

about 8 years ago

The mortals want #DependentTypes before the gift of #parametricity has even been realized, what hubris

1

22

0

1

0

Dad×3_jack @Iceland_jack

about 8 years ago

Edward Kmett: [3:18:37] I use very little testing and I use a lot of #parametricity and such to reason about my code. #Haskell https://t.co/KaAZxCVQJ8

1

24

7

1

0