notaeのブックマーク - はてなブックマーク

index
When You Should Use Lists in Haskell (Mostly, You Should Not) J. Waldmann, March 9, 2017. Introduction It seems that the designers of the programming language Haskell were madly in love with singly linked lists. They even granted notational privileges: e.g., the data constructor for a non-empty list (“cons”) uses just one letter (:) Looking at the Haskell standard, it also seems that singly linked
notae 2018/12/25
Haskell
リンク
index
Workshop on Haskell And Rewriting Techniques (HART) 2013 update: HART 2014 Haskell is an advanced purely-functional programming language. Rewriting is the science of replacing equals by equals and thus a very powerful method for dealing with equations. There are strong connections between Haskell programming and rewriting. Therefore, we announce a new workshop, International Workshop on Haskell An
notae 2014/06/25
FunctionalProgramming

Haskell

SAT

TermRewriting
リンク
1

はてなブックマーク