Pinboard (9diov)
https://pinboard.in/u:9diov/public/
recent bookmarks from 9diovNock Definition • Reference • developers.urbit.org2023-07-31T09:57:41+00:00
https://developers.urbit.org/reference/nock/definition
9diovfunctional vmhttps://pinboard.in/https://pinboard.in/u:9diov/b:c05f685b3906/Lambda Calculus in 400 Bytes2022-02-28T09:55:22+00:00
https://justine.lol/lambda/
9diovcalculus lambda functionalhttps://pinboard.in/https://pinboard.in/u:9diov/b:8e8ae62dd6f2/tylr2021-07-13T10:57:42+00:00
https://tylr.fun/
9diovui editor functional Languagehttps://pinboard.in/https://pinboard.in/u:9diov/b:e656c181d92e/GitHub - jamii/dida: Differential dataflow for mere mortals2021-06-17T10:50:53+00:00
https://github.com/jamii/dida
9diovdata functional distributed zighttps://pinboard.in/https://pinboard.in/u:9diov/b:0e3b6f052f7c/Why Y? Deriving the Y Combinator in JavaScript2021-05-04T11:07:07+00:00
http://raganwald.com/2018/09/10/why-y.html
9diovcombinator functionalhttps://pinboard.in/https://pinboard.in/u:9diov/b:490d42c71774/The Misunderstood Roots of FRP Can Save Programming | Future of Coding2021-02-15T13:19:05+00:00
https://futureofcoding.org/essays/dctp.html
9diovfunctional reactive denotationalhttps://pinboard.in/https://pinboard.in/u:9diov/b:49a74f2c282f/Names are not type safety2020-11-02T11:13:22+00:00
https://lexi-lambda.github.io/blog/2020/11/01/names-are-not-type-safety/
9diovhaskell type functionalhttps://pinboard.in/https://pinboard.in/u:9diov/b:6fe58ff5da81/Generalizing 'jq' and Traversal Systems using optics and standard monads | Hacker News2020-10-08T07:35:03+00:00
https://news.ycombinator.com/item?id=24710565
9diovjq monad functionalhttps://pinboard.in/https://pinboard.in/u:9diov/b:727b716bb23e/MIT 18.S097: Programming with Categories2020-09-03T15:32:03+00:00
http://brendanfong.com/programmingcats.html
9diovcourse haskell functionalhttps://pinboard.in/https://pinboard.in/u:9diov/b:053337f8d731/Understanding map and apply | F# for fun and profit2020-08-18T08:11:47+00:00
https://fsharpforfunandprofit.com/posts/elevated-world/#series-toc
9diovfunctional fsharphttps://pinboard.in/https://pinboard.in/u:9diov/b:559714e4ee08/Codata in action, or how to connect FP and OOP | Hacker News2020-08-10T15:05:23+00:00
https://news.ycombinator.com/item?id=24105755
9diovcodata functionalhttps://pinboard.in/https://pinboard.in/u:9diov/b:1bad026c1624/GitHub - zio/zio-prelude: A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration2020-08-02T12:02:18+00:00
https://github.com/zio/zio-prelude
9diovscala functionalhttps://pinboard.in/u:9diov/b:9d479111df11/Portal Abstractions with Sam Ritchie - CoRecursive Podcast2020-07-15T02:01:05+00:00
https://corecursive.com/050-sam-ritchie-portal-abstractions/
9diovfunctionalhttps://pinboard.in/https://pinboard.in/u:9diov/b:077be6c829e1/terminology - What is (functional) reactive programming? - Stack Overflow2020-07-14T14:44:39+00:00
https://stackoverflow.com/questions/1028250/what-is-functional-reactive-programming
9diovfunctional reactivehttps://pinboard.in/https://pinboard.in/u:9diov/b:44f2c3f7a0f3/(192) Quildreen Motta's answer to Is it best practice to write functional or object orientated JavaScript? - Quora2020-06-30T03:48:41+00:00
https://www.quora.com/Is-it-best-practice-to-write-functional-or-object-orientated-JavaScript/answer/Quildreen-Motta
9diovoop functional architecturehttps://pinboard.in/u:9diov/b:02a9fe1c4980/Programming Paradigms and the Procedural Paradox - LispCast2020-06-23T09:08:14+00:00
https://lispcast.com/procedural-paradox/
9diovoop functional paradigmhttps://pinboard.in/https://pinboard.in/u:9diov/b:9b433f1fe452/Manning | Grokking Simplicity2020-06-23T08:27:59+00:00
https://www.manning.com/books/grokking-simplicity
9diovbook functionalhttps://pinboard.in/https://pinboard.in/u:9diov/b:47eb363a74ef/The Algebraic Structure of Functions, illustrated using React components2020-06-12T08:25:27+00:00
https://jrsinclair.com/articles/2020/algebraic-structure-of-functions-illustrated-with-react-components/
9diovfunctional react javascript algebrahttps://pinboard.in/https://pinboard.in/u:9diov/b:08b2a2f834c7/ChrisPenner/comonads-by-example: Comonads By Example Conference talk2020-06-03T14:26:42+00:00
https://github.com/ChrisPenner/comonads-by-example
9diovcomonad functionalhttps://pinboard.in/https://pinboard.in/u:9diov/b:80f2d5e7cde3/Coeffects: The next big programming challenge - Tomas Petricek2020-06-03T10:34:32+00:00
http://tomasp.net/blog/2014/why-coeffects-matter/
9diovcoeffect functionalhttps://pinboard.in/https://pinboard.in/u:9diov/b:7510a60a65b7/Thinking Functionally: What is LINQ really? · louthy/language-ext Wiki · GitHub2020-05-22T08:11:22+00:00
https://github.com/louthy/language-ext/wiki/Thinking-Functionally:-What-is-LINQ-really%3F
9diovlinq monad functionalhttps://pinboard.in/https://pinboard.in/u:9diov/b:b9a031fba413/Pointless: a scripting language for learning and fun2020-04-22T04:20:13+00:00
https://ptls.dev/
9diovlanguage functionalhttps://pinboard.in/https://pinboard.in/u:9diov/b:2f4b6b8cdaba/The Unison language2020-04-20T09:28:43+00:00
https://www.unisonweb.org/
9diovfunctional concurrency Languagehttps://pinboard.in/https://pinboard.in/u:9diov/b:622981bcc9d3/Talks/Initial Algebras for the Uninitiated.pdf at 3babf57d01db905ef057624250543753acfde4cb · nickcowle/Talks · GitHub2020-03-14T10:01:37+00:00
https://github.com/nickcowle/Talks/blob/3babf57d01db905ef057624250543753acfde4cb/Initial%20Algebras%20for%20the%20Uninitiated.pdf
9diovfunctional fsharphttps://pinboard.in/https://pinboard.in/u:9diov/b:11115f379d69/Simon Peyton-Jones: Towards a Programming Language Nirvana | Charles | Channel 92020-03-13T10:29:33+00:00
https://channel9.msdn.com/blogs/charles/simon-peyton-jones-towards-a-programming-language-nirvana
9diovvideo functional programminghttps://pinboard.in/https://pinboard.in/u:9diov/b:38a2c23188db/Defunctionalisation - an underappreciated tool for writing good software | G Research2020-03-10T02:57:26+00:00
https://www.gresearch.co.uk/article/defunctionalisation/
9diovfunctional dsl defunctionalizationhttps://pinboard.in/https://pinboard.in/u:9diov/b:f7b4d4bda374/GitHub - KMahoney/squee: A Typed, Composable Database Query Language2020-02-29T02:54:09+00:00
https://github.com/KMahoney/squee
9diovsql query functionalhttps://pinboard.in/https://pinboard.in/u:9diov/b:0377912ce42e/Cover Page · GitBook2020-02-25T07:03:08+00:00
https://www.cs.cornell.edu/courses/cs3110/2020sp/textbook/
9diovfunctional ocaml course bookhttps://pinboard.in/https://pinboard.in/u:9diov/b:f950c298a925/Functional Core Reactive Shell | mokacoding2020-01-22T02:30:42+00:00
https://www.mokacoding.com/blog/functional-core-reactive-shell/
9diovfunctional architecturehttps://pinboard.in/https://pinboard.in/u:9diov/b:7a0844cdacc7/rise4fun2020-01-22T02:22:12+00:00
https://www.rise4fun.com/koka/tutorial
9diovkoka language functional effecthttps://pinboard.in/https://pinboard.in/u:9diov/b:f976dfb5f4ce/Understanding Parser Combinators | F# for fun and profit2020-01-07T07:43:08+00:00
https://fsharpforfunandprofit.com/posts/understanding-parser-combinators/
9diovparsing functional combinatorhttps://pinboard.in/https://pinboard.in/u:9diov/b:d4ea753616f6/Understanding Parser Combinators | F# for fun and profit2020-01-07T05:37:57+00:00
https://fsharpforfunandprofit.com/series/understanding-parser-combinators.html
9diovparser functionalhttps://pinboard.in/https://pinboard.in/u:9diov/b:e4615eb1ac0e/Functional approaches to dependency injection | F# for fun and profit2020-01-07T05:36:56+00:00
https://fsharpforfunandprofit.com/posts/dependency-injection-1/
9diovfunctional dependencyhttps://pinboard.in/https://pinboard.in/u:9diov/b:899f2c914115/Functional approaches to dependency injection | F# for fun and profit2020-01-07T03:08:46+00:00
https://fsharpforfunandprofit.com/posts/dependency-injection-1/#comment-3106115362
9diovfunctional dependencyhttps://pinboard.in/https://pinboard.in/u:9diov/b:539b880516c2/Typeclassopedia - HaskellWiki2020-01-02T03:56:45+00:00
https://wiki.haskell.org/Typeclassopedia
9diovhaskell functional typeclasshttps://pinboard.in/https://pinboard.in/u:9diov/b:928e53ac6e0f/To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus with Animated Reduction2019-12-06T08:06:41+00:00
http://dkeenan.com/Lambda/
9diovlambda functional combinatorhttps://pinboard.in/https://pinboard.in/u:9diov/b:236ca48f02ad/CardManagement/Fighting complexity in software development.md at master · atsapura/CardManagement · GitHub2019-12-04T11:05:52+00:00
https://github.com/atsapura/CardManagement/blob/master/article/Fighting%20complexity%20in%20software%20development.md
9diovfunctional fsharp complexityhttps://pinboard.in/https://pinboard.in/u:9diov/b:fae08c4a32e7/Types + Properties = Software: designing with types2019-11-28T13:30:54+00:00
https://blog.ploeh.dk/2016/02/10/types-properties-software-designing-with-types/
9diovtype functional fsharphttps://pinboard.in/u:9diov/b:533e8837739f/(21) Is there a problem that can be solved using functional programming but cannot be solved using imperative programming? - Quora2019-11-27T15:18:46+00:00
https://www.quora.com/Is-there-a-problem-that-can-be-solved-using-functional-programming-but-cannot-be-solved-using-imperative-programming
9diovfunctionalhttps://pinboard.in/https://pinboard.in/u:9diov/b:d81237bc9a18/Domain Modeling Made Functional - Scott Wlaschin - YouTube2019-11-09T00:35:36+00:00
https://m.youtube.com/watch?feature=youtu.be&v=Up7LcbGZFuo&t=508
9diovfunctionalhttps://pinboard.in/u:9diov/b:f0ffccc19b7b/Parse, don’t validate2019-11-08T03:53:27+00:00
https://lexi-lambda.github.io/blog/2019/11/05/parse-don-t-validate/
9diovhaskell functional typeshttps://pinboard.in/u:9diov/b:4cacd98017a0/The 3 levels of functional thinking - LispCast2019-11-08T01:12:07+00:00
https://lispcast.com/the-3-levels-of-functional-thinking/
9diovfunctional thinkinghttps://pinboard.in/u:9diov/b:5f9367ed5b68/Functional JS #3: State - DailyJS - Medium2019-10-28T01:46:41+00:00
https://medium.com/dailyjs/functional-js-3-state-89d8cc9ebc9e
9diovstate functional javascripthttps://pinboard.in/u:9diov/b:0c8c17e7f862/Thirteen ways of looking at a Turtle - Scott Wlaschin - YouTube2019-10-08T03:59:56+00:00
https://www.youtube.com/watch?v=AG3KuqDbmhM
9diovfunctional videohttps://pinboard.in/https://pinboard.in/u:9diov/b:756957dda102/Ruby Conf 12 - Y Not- Adventures in Functional Programming by Jim Weirich - YouTube2019-10-03T01:51:08+00:00
https://www.youtube.com/watch?v=FITJMJjASUs
9diovruby functional videohttps://pinboard.in/https://pinboard.in/u:9diov/b:a7cf383a8f1f/Tom Stuart - Refactoring Ruby with Monads - YouTube2019-10-03T01:46:48+00:00
https://www.youtube.com/watch?v=J1jYlPtkrqQ
9diovmonad ruby refactoring functional videohttps://pinboard.in/https://pinboard.in/u:9diov/b:10f1b46fba2f/What about an asynchronous Either? - magnetis backstage - Medium2019-10-01T05:43:20+00:00
https://medium.com/magnetis-backstage/what-about-an-asynchronous-either-e6d1fe813b5
9diovfunctional errorhttps://pinboard.in/u:9diov/b:dc01e2eb605f/getify/Functional-Light-JS: Pragmatic, balanced FP in JavaScript. @FLJSBook on twitter.2019-10-01T03:17:31+00:00
https://github.com/getify/Functional-Light-JS
9diovfunctional javascript bookhttps://pinboard.in/https://pinboard.in/u:9diov/b:6e13f5d221ca/Fantas, Eel, and Specification · Tom Harding2019-10-01T02:34:23+00:00
http://www.tomharding.me/fantasy-land/
9diovfunctional javascript specificationhttps://pinboard.in/https://pinboard.in/u:9diov/b:0839d1e4c661/Functional Programming (Fantasy Land JavaScript specification Guide) :: Functional Programming (Fantasy Land JavaScript specification Guide)2019-10-01T02:28:23+00:00
https://sanderv1992.github.io/fp/
9diovfunctional javascript specificationhttps://pinboard.in/https://pinboard.in/u:9diov/b:0ebc99ce4a63/On the Expressive Power of Programming Languages by Shriram Krishnamurthi [PWLConf 2019] - YouTube2019-10-01T01:10:11+00:00
https://www.youtube.com/watch?time_continue=3&v=43XaZEn2aLc
9diovfunctional programming Languagehttps://pinboard.in/https://pinboard.in/u:9diov/b:bb64fb8438ce/Overview | Folktale, a standard library for functional programming in JavaScript2019-09-27T08:58:08+00:00
https://folktale.origamitower.com/docs/v2.3.0/overview/
9diovfunctional javascript libraryhttps://pinboard.in/https://pinboard.in/u:9diov/b:fb0b1a72f69a/Ask HN: Relationship between OO and functional programming? | Hacker News2019-09-23T07:41:42+00:00
https://news.ycombinator.com/item?id=11808551
9diovoop functional alan-kayhttps://pinboard.in/https://pinboard.in/u:9diov/b:efed13f4a778/GitHub - Dobiasd/articles: thoughts on programming2019-09-19T08:55:48+00:00
https://github.com/Dobiasd/articles
9diovfunctional bloghttps://pinboard.in/https://pinboard.in/u:9diov/b:d8b990374862/articles/switching_from_imperative_to_functional_programming_with_games_in_Elm.md at master · Dobiasd/articles · GitHub2019-09-19T08:47:29+00:00
https://github.com/Dobiasd/articles/blob/master/switching_from_imperative_to_functional_programming_with_games_in_Elm.md
9diovgamedev functional elmhttps://pinboard.in/https://pinboard.in/u:9diov/b:86669ceb4e05/homoiconic/kestrel.markdown at master · raganwald-deprecated/homoiconic · GitHub2019-09-11T11:30:01+00:00
https://github.com/raganwald-deprecated/homoiconic/blob/master/2008-10-29/kestrel.markdown#readme
9diovfunctionalhttps://pinboard.in/https://pinboard.in/u:9diov/b:ff21f7f8d369/Reginald Braithwaite2019-09-11T11:29:32+00:00
https://raganwald.com/
9diovjavascript functional bloghttps://pinboard.in/https://pinboard.in/u:9diov/b:69fb215129e0/homoiconic/from_birds_that_compose_to_method_advice.markdown at master · raganwald-deprecated/homoiconic · GitHub2019-09-11T11:19:40+00:00
https://github.com/raganwald-deprecated/homoiconic/blob/master/2008-11-07/from_birds_that_compose_to_method_advice.markdown#readme
9diovruby functional metahttps://pinboard.in/https://pinboard.in/u:9diov/b:4bf3ab94c5c4/The algebra and calculus of algebraic data types | Hacker News2019-09-10T11:29:43+00:00
https://news.ycombinator.com/item?id=17942112
9diovtype algebra functionalhttps://pinboard.in/https://pinboard.in/u:9diov/b:f9706d28daf8/GitHub - selfrefactor/rambda: Faster and smaller alternative to Ramda2019-09-02T11:05:33+00:00
https://github.com/selfrefactor/rambda
9diovramda javascript library functionalhttps://pinboard.in/https://pinboard.in/u:9diov/b:01e1e8d7c884/GitHub - fantasyland/fantasy-land: Specification for interoperability of common algebraic structures in JavaScript2019-08-30T04:21:04+00:00
https://github.com/fantasyland/fantasy-land
9diovfunctional spec algebraic javascripthttps://pinboard.in/https://pinboard.in/u:9diov/b:cbf8e08d62aa/Tweag I/O - Linear typesmake performance more predictable2019-08-27T11:31:43+00:00
https://www.tweag.io/posts/2017-03-13-linear-types.html
9diovfunctional typehttps://pinboard.in/https://pinboard.in/u:9diov/b:0371d27655e8/Haskell for all: Why free monads matter2019-08-20T04:45:17+00:00
http://www.haskellforall.com/2012/06/you-could-have-invented-free-monads.html
9diovhaskell monad functionalhttps://pinboard.in/https://pinboard.in/u:9diov/b:ab4507909ee1/Modern Functional Programming: The Onion Architecture | Hacker News2019-08-20T04:36:17+00:00
https://news.ycombinator.com/item?id=12604767
9diovarchitecture functionalhttps://pinboard.in/https://pinboard.in/u:9diov/b:16a229a8cd43/A Modern Architecture for FP – John A De Goes2019-08-15T17:17:25+00:00
http://degoes.net/articles/modern-fp
9diovfunctional architecture monad haskellhttps://pinboard.in/https://pinboard.in/u:9diov/b:01173899cf63/Professor Frisby Introduces Composable Functional JavaScript from @drboolean on @eggheadio2019-08-13T10:46:16+00:00
https://egghead.io/courses/professor-frisby-introduces-composable-functional-javascript
9diovfunctional javascript video tutorialhttps://pinboard.in/https://pinboard.in/u:9diov/b:60715c3b80ad/Rust for functional programmers2019-08-12T17:30:17+00:00
https://science.raphael.poss.name/rust-for-functional-programmers.html
9diovrust functionalhttps://pinboard.in/https://pinboard.in/u:9diov/b:f59ebef300da/Read PureScript by Example | Leanpub2019-08-11T17:03:33+00:00
https://leanpub.com/purescript/read
9diovfunctional haskell purescript javascripthttps://pinboard.in/https://pinboard.in/u:9diov/b:bd84910d79e4/Pure Functions - Practical introduction to Functional Programming with JS2019-08-11T16:51:02+00:00
https://www.codingame.com/playgrounds/2980/practical-introduction-to-functional-programming-with-js/pure-functions
9diovfunctional javascripthttps://pinboard.in/https://pinboard.in/u:9diov/b:c3f409c2a519/Category Theory for Programmers: The Preface | Bartosz Milewski's Programming Cafe2019-07-31T03:16:19+00:00
https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/
9diovhaskell functional category mathhttps://pinboard.in/https://pinboard.in/u:9diov/b:e3271e3fb4c4/