Update 29/02/2016
The call is now closed. Thanks to eveyone that submitted
This is a lightweight call for speakers for "Almost Functional", a one-off, free, evening event in Edinburgh on the 14th of April.
Please spread this URL far and wide.
lexi-lambda
/ Main.hs
Last active
December 21, 2024 10:20
Minimal Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| {-# LANGUAGE GeneralizedNewtypeDeriving #-} | |
| module Language.HigherRank.Main | |
| ( Expr(..) | |
| , EVar(..) | |
| , Type(..) | |
| , TVar(..) | |
| , TEVar(..) | |
| , runInfer | |
| ) where |
staltz
/ introrx.md
Last active
December 1, 2025 11:31
The introduction to Reactive Programming you've been missing
(by @andrestaltz)
If you prefer to watch video tutorials with live-coding, then check out this series I recorded with the same contents as in this article: Egghead.io - Introduction to Reactive Programming.
dypsilon
/ frontendDevlopmentBookmarks.md
Last active
November 16, 2025 11:36
A badass list of frontend development resources I collected over time.
Attention: the list was moved to
https://github.com/dypsilon/frontend-dev-bookmarks
This page is not maintained anymore, please update your bookmarks.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| /// This type is only every inhabited when S is nominally equivalent to T | |
| pub type Is <S, T> = Is_ <S, T>; | |
| priv struct Is_ <S, T>; | |
| // Construct a proof of the fact that a type is nominally equivalent | |
| // to itself. | |
| pub fn Is <T> () -> Is <T, T> { Is_ } | |
| pub impl <S, T> Is_ <S, T> { |