thekkid - Network

Church encodings are object oriented functional programming

Church encodings are object oriented functional programming

What do you think `2^3^2` evaluates to? ^ meaning power/exponentiation.

What do you think `2^3^2` evaluates to? ^ meaning power/exponentiation.

Wish I had an acct on types.pl

Wish I had an acct on types.pl

Do you consider the type of a data constructor part of it's intrinsic value?```type animal = | Bat | Owl | Foxtype baseball_equipment...

Do you consider the type of a data constructor part of it's intrinsic value?

```
type animal =
| Bat
| Owl
| Fox
type baseball_equipment =
| Bat
| Ball
| Glove
```
If two programs were to return `Bat : baseball_equpment` and `Bat : animal` are they returning the same value? Absent the static type checking of the programs.

The kids yearn for the types

The kids yearn for the types

Static type errors as an eager optimization over dynamic type errors.

Static type errors as an eager optimization over dynamic type errors.

The algebras have one.https://fosstodon.org/@thekkid/113482300439589724

The algebras have one.
https://fosstodon.org/@thekkid/113482300439589724

When you see ADT what do you think? #ProgrammingLanguages #Types #DataAbstractionAbstract Data TypeAlgebraic Data TypeNeither

When you see ADT what do you think? #ProgrammingLanguages #Types #DataAbstraction

Abstract Data Type
Algebraic Data Type
Neither

I don't understand how the zipper merge is supposed to work in practice.

I don't understand how the zipper merge is supposed to work in practice.

Hella context sensitive grammars

Hella context sensitive grammars

The spreadsheet will still exist in our hearts

The spreadsheet will still exist in our hearts

type-dependent parsing

type-dependent parsing

What is up with the #haskell wiki?

What is up with the #haskell wiki?

What's the equivalent of the uniform access principle for data construction? Instead of uniform notation for an attribute/method you...

What's the equivalent of the uniform access principle for data construction? Instead of uniform notation for an attribute/method you want uniform notation for a constructor and function. #ProgrammingLanguages

I don’t see how variants aren’t dynamic dispatch

I don’t see how variants aren’t dynamic dispatch

Is there a twitch-like streaming service centered around streaming VS-code + browser state rather than just a live video feed?

Is there a twitch-like streaming service centered around streaming VS-code + browser state rather than just a live video feed?

Changing a type definition in a code base should feel like making a database migration

Changing a type definition in a code base should feel like making a database migration

The biggest issue with micro-services was coupling deployment architecture with code structure.

The biggest issue with micro-services was coupling deployment architecture with code structure.

Of course"Of course, the notion of type soundness is relaxed to tolerate some kinds of run-time type errors."

Of course
"Of course, the notion of type soundness is relaxed to tolerate some kinds of run-time type errors."

#lambdacalculus #HalfLife

#lambdacalculus #HalfLife