#ocaml

[monaddecepticon]

I have a brain disease where I always switch up these operators. Just read the first "L" and my brain stops working.

[perfectly-abnormal-1]

Introduction

Hi, I'm [name]. You probably know me from such classics as being way too relatable with how much I yearn on twitter, obsessing over being kind to people online, playing too many rhythm games, functional programming, or being the number 1 speedrunner of the hit 1980s MS-DOS game Transport Tycoon Deluxe. If you don't know me for any of those things but they seem cool, feel free to say hi! please! i need friends! i really like meeting people! please be my friend! i beg you! i need people to talk about programming and transport tycoon and for you to tell me about all the things you enjoy too and hopefully we share some overlap and can be good friends and enjoy each others company!!!!!

[read-think-remain]

Haskell YouTube Recommendations

Programming - Why Haskell is Great - 10 minutes

The 'What' and 'Why' of Functional Programming Languages, a Lecture

Functional Programming & Haskell - Computerphile

Haskell Tutorial

Live Coding

jekor

Haskell at Work

Daniel Silverstone

Mitchell Rosen

entirelysubjective

HaskellLiveTV

Brian McKenna

alf42red (german, mostly OCaml)

Edward Kmett

Conner McDaniel

Talks

Edward Kmett

ICFP Video

Lambda World

Compose Conference

Curry Club Augsburg (german)

LambdaConf

Bay Area Haskell

Boston Haskell

jasonofthel33t

London Haskell

Brisbane Functional Programming Group

NYC Haskell User’s Group

BOB

Bartosz Milewski

Tutorials / Lectures

jasonofthel33t

Fortgeschrittene Funktionale Programmierung in Haskell (german)

LazyCasts

Podcasts

haskellcast

[tototavros]

pro tip for any language designer, if you use = for assignment, and have == and phys_equal in the base package, at least give a warning that you also use = for structural equality.

[sc52]

Whhyy is OCaml still such a pain to setup on Windows after all these years?!?! 🤷🤦

[neverprogrammingagain]

Hello there, long time no see this kind of errors in software

[monaddecepticon]

Going through the book Crafting intperpreters. But doing the Java parts in OCaml (I later plan to do the C parts in Rust) to make sure I understand the concepts and don't copy code without understanding.

We are implementing the visitor pattern for expressions. And I was like.

I know this, I'll use tagless final style

And I accidentally made it typesafe by getting carried away.

I'll have to revert 'a repr to just repr. But made a commit anyway to preserve it like this

[perfectly-abnormal-1]

Yearning for module type signatures

Stolen from my twitter; hoping itll get more interaction here

I've narrowed down my yearning to this; I do not pine for specific attributes of individuals, but for situations; I wish for specific scenarios, environments, etc as a baseline; my yearning for people can be summed up by "would they be found in these scenarios i wish for?"

There is no specific attribute of a human that I directly look or wish for; which is why i Like the abstract module type signature -> module that implements said signature metaphor. It just works!

All that is to say; what if you were a module that implemented the module type I wanted and i was a functor and i took you as input