Big Data with Types (@BDTypeaholic) header
Big Data with Types (@BDTypeaholic) profile picture

Big Data with Types

@BDTypeaholic

Using Types to make Big Data easier

 San Francisco
Joined December 2013
  • Tweets253
  • Following58
  • Followers688
156Media
Photo by Big Data with Types (@BDTypeaholic)Photo by Big Data with Types (@BDTypeaholic)Photo by Big Data with Types (@BDTypeaholic)Photo by Big Data with Types (@BDTypeaholic)Photo by Big Data with Types (@BDTypeaholic)Photo by Big Data with Types (@BDTypeaholic)Photo by Big Data with Types (@BDTypeaholic)Photo by Big Data with Types (@BDTypeaholic)Photo by Big Data with Types (@BDTypeaholic)Photo by Big Data with Types (@BDTypeaholic)
Equational Reasoning - Proof of Replication haskellforall.com/2013/12/eq…
Image from Big Data with Types (@BDTypeaholic)
1
129
Programming with Dependent Types in Scala mooc-list.com/course/introdu…
Image from Big Data with Types (@BDTypeaholic)
112
A textbook on functional programming and data structures in OCaml, with an emphasis on semantics and software engineering. This book is the textbook for CS 3110 Data Structures and Functional Programming at Cornell University. cs3110.github.io/textbook/co…
Image from Big Data with Types (@BDTypeaholic)
11
2
63
4,184
This account is stopping posting due to changes in the way Twitter/X is run.
1
164
The Power of Equational Reasoning haskellforall.com/2013/12/eq…
Image from Big Data with Types (@BDTypeaholic)
1
198
Folding Unfolded - Polglot FP for fun and profit. slideshare.net/pjschwarz/fol…
Image from Big Data with Types (@BDTypeaholic)
130
The Problem of Effects in Rust without.boats/blog/the-probl… via @withoutboats
1
111
The case against Effect Systems (e.g., the IO data type) alexn.org/blog/2022/10/13/th…
Image from Big Data with Types (@BDTypeaholic)
2
8
914
Row Types in Haskell blog.vmchale.com/article/row… via @vamchale
Image from Big Data with Types (@BDTypeaholic)
3
23
2,592
Monadology in Haskell semantic.org/post/monadology…
Image from Big Data with Types (@BDTypeaholic)
1
Folding Unfolded - Polyglot FP for Fun and Profit slideshare.net/pjschwarz/fol… via @philip_schwarz
Folding Unfolded - Polyglot FP for Fun and Profit - Haskell and Scala

Folding Unfolded - Polyglot FP for Fun and Profit - Haskell and Scala

The document explains the relationship between recursive functions, structural induction, and recursive datatypes using natural numbers as a primary example. It introduces a recursive datatype called...

slideshare.net
1
1
According to Erik Meijer - this is the best book ever on Functional Programming xitter.gq/headinthebox/status/15…
Image from Big Data with Types (@BDTypeaholic)
Erik Meijer (@headinthebox) profile pictureErik Meijer
@headinthebox5 Apr 2022
Replying to @jer_gib
The *best* book ever written on Functional Programming ... doc.lagout.org/programmation…
4
21
Shen Scheme ported to Racket github.com/bitmappergit/shen…

GitHub - bitmappergit/shen-scheme: Shen/Scheme implementation

Shen/Scheme implementation. Contribute to bitmappergit/shen-scheme development by creating an account on GitHub.

github.com
Defining Abstract Data Types in Common Lisp github.com/stylewarning/cl-a…
Image from Big Data with Types (@BDTypeaholic)
Original Yale Haskell implemented in Common Lisp github.com/bitmappergit/clyd…
1
For some - Clean is a better Haskell clean.cs.ru.nl/FAQ
Image from Big Data with Types (@BDTypeaholic)
One Reason Typeclasses Are Useful coalton-lang.github.io/20211… via @stylewarning
Image from Big Data with Types (@BDTypeaholic)
1
2
F# support type classes or implicits github.com/fsharp/fslang-sug… Reflections on perceived culture
A roadmap for Higher Kinded Types in Rust smallcultfollowing.com/babys… via @nikomatsakis
Image from Big Data with Types (@BDTypeaholic)
1
Typeclasses in Coalton, a statically typed functional programming language built with Common Lisp. coalton-lang.github.io/20211… via @stylewarning @colescottsf
Image from Big Data with Types (@BDTypeaholic)
1
7
1
27
Load more