Category Archives: Functional Programming

Functional Programming: Links, News And Resources (25)

Previous Post

Benchmarks: GHCJS (Reflex, Miso) & Purescript (Pux, Thermite, Halogen)
https://medium.com/@saurabhnanda/benchmarks-fp-languages-libraries-for-front-end-development-a11af0542f7e

Daggy
https://github.com/fantasyland/daggy
Library for creating tagged constructors.

Lisp In Less Than 200 Lines Of C
https://carld.github.io/2017/06/20/lisp-in-less-than-200-lines-of-c.html

Greenspun’s tenth rule
https://en.wikipedia.org/wiki/Greenspun’s_tenth_rule

Pragmatic, balanced FP in JavaScript
https://github.com/getify/Functional-Light-JS
@FLJSBook on twitter. https://leanpub.com/fljs

Compose Conference – Modularity and Abstraction in Functional Programming
https://www.youtube.com/watch?v=oJOYVDwSE3Q

LambdaConf 2015 – How to Learn Haskell in Less Than 5 Years Chris Allen
https://www.youtube.com/watch?v=Bg9ccYzMbxc

LambdaConf 2015 – Modeling Data in Haskell for Beginners Chris Allen
https://www.youtube.com/watch?v=p-NBJm0kIYU

Stay tuned!

Angel “Java” Lopez
http://www.ajlopez.com
http://twitter.com/ajlopez

 

Functional Programming: Links, News And Resources (24)

Previous Post
Next Post

Monotonicity Types
https://infoscience.epfl.ch/record/231867/files/monotonicity-types.pdf

Duckling
https://github.com/facebook/duckling
Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.

Functional Programming Jargon
https://functional.works-hub.com/blog/Functional-Programming-Jargon

!!Yper
https://vimeo.com/216464016
Type-safe, statically checked composition of HTTP servers

Redoing Make – Haskell from Scratch #1
https://www.youtube.com/watch?v=zZ_nI9E9g0I&list=PLxj9UAX4Em-Ij4TKwKvo-SLp-Zbv-hB4B

Circulo de Aprendizaje: Functional Programming-TypeScript sesión 2
https://www.youtube.com/watch?v=Iwd4JLSk1d4

Akh
https://github.com/mattbierner/akh/
Javascript Monad and Monad Transformer Collection

Lenses
https://vimeo.com/56063074

Stay tuned!

Angel “Java” Lopez
http://www.ajlopez.com
http://twitter.com/ajlopez

 

Functional Programming: Links, News And Resources (23)

Previous Post
Next Post

Haskell Reflex
https://hackage.haskell.org/package/reflex
https://github.com/reflex-frp/reflex

Haskell Concur
https://github.com/ajnsit/concur

Haskell to JavaScript compiler, based on GHC
https://github.com/ghcjs/ghcjs

Haskell: difference between . (dot) and $ (dollar sign)
https://stackoverflow.com/questions/940382/haskell-difference-between-dot-and-dollar-sign

PureScript
http://www.purescript.org/
A strongly-typed functional programming language that compiles to JavaScript

Reactive Programming
https://en.wikipedia.org/wiki/Reactive_programming

Functional Reactive Programming
https://en.wikipedia.org/wiki/Functional_reactive_programming

Functional Reactive Animation
http://conal.net/papers/icfp97/
Conal Elliott and Paul Hudak

Stay tuned!

Angel “Java” Lopez
http://www.ajlopez.com
http://twitter.com/ajlopez

Functional Programming: Links, News And Resources (22)

Previous Post
Next Post

Objects, Identity, and Concept-formation
http://blog.higher-order.com/blog/2008/12/04/no-such-thing/

Javascript to Elm
http://jstoelm.com/

Category Theory For Programmers I – Monoids
http://adzz.github.io/code/2017/10/05/category-theory-for-programmers-part-1-monoids/

Category Theory for Programmers: The Preface
https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/

Software Foundations
https://softwarefoundations.cis.upenn.edu/
The Software Foundations series is a broad introduction to the mathematical underpinnings of reliable software.

Verified Functional Algorithms
https://softwarefoundations.cis.upenn.edu/vfa-current/index.html

David Spivak – Category Theory – Part 1 of 6 – λC 2017
https://www.youtube.com/watch?v=IBeceQHz2x8

Classic Papers in Programming Languages and Logic
https://www.cs.cmu.edu/~crary/819-f09/

Stay tuned!

Angel “Java” Lopez
http://www.ajlopez.com
http://twitter.com/ajlopez

 

Functional Programming: Links, News And Resources (21)

Previous Post
Next Post

Introduction to Elm
https://www.gitbook.com/book/csmith111/functional-reactive-programming-with-elm/details

A Farewell to Functional Reactive Programming
http://elm-lang.org/blog/farewell-to-frp

Elm Programming
http://elmprogramming.com/

Elm in Action
https://www.manning.com/books/elm-in-action

Functional Programming in Haskell: Supercharge Your Coding
https://www.futurelearn.com/courses/functional-programming-haskell

Functional Works Block
https://functional.works-hub.com/blog

Rolling your Own Blockchain in Haskell
https://functional.works-hub.com/blog/Rolling-your-Own-Blockchain-in-Haskell

Mental Models or Real-World-Metaphors for Functional Programming
https://softwareengineering.stackexchange.com/questions/245381/mental-models-or-real-world-metaphors-for-functional-programming

Stay tuned!

Angel “Java” Lopez
http://www.ajlopez.com
http://twitter.com/ajlopez

New Month’s Resolutions: October 2017

The end of new year is near. It’s time to write down my list of resolutions for a new month. Review of the previous month ones:

– Continue Yasold
– Continue BlockchainJ [complete] see repo
– Continue BlockchainSharp [complete] see repo
– Continue ChineseP [complete] see repo
– Continue TensorSharp [complete] see repo
– Continue SimpleTensor [complete] see repo
– Continue WikiExpert [pending]
– Continue Neurum [pending]
– Continue LLLJS [pending]
– Continue Elmie [pending]

Additionally, I worked on

– Improving RustScript [complete] see repo
– Improving BInte [complete] see repo
– Started simpleevm, Ethereum Virtual Machine in JavaScript [complete] see repo
– Improving SolidityCompiler [complete] see repo
– Writing EvmHook [complete] see repo
– Writing SimpleAbi [complete] see repo
– Improving RSharp [complete] see repo
– Improving EthSharp [complete] see repo
– Starting smartie, a new smart contract language compiler/transpiler [complete] see repo

My new resolutions are

– Continue smartie
– Continue simpleevm
– Continue BInte
– Continue Yasold
– Continue BlockchainJ
– Continue BlockchainSharp
– Continue ChineseP
– Continue TensorSharp
– Continue SimpleTensor
– Continue Elmie

Stay tuned!

Angel “Java” Lopez
https://github.com/ajlopez
http://www.ajlopez.com
https://twitter.com/ajlopez

New Month’s Resolutions: July 2017

We are in the second part of the year, a long year with interesting projects. Time to write the new month’s resolutions and review the past ones:

– Continue RskSharp [pending]
– Continue SimpleBlockchain [pending]
– Continue BlockchainSharp [complete] see repo
– Continue ChineseP [complete] see repo
– Continue TensorSharp [pending]
– Continue RSharp [complete] see repo
– Experiments with RSKJ fork [complete] see repo
– Continue Vyu [pending]
– Continue Domie [complete] see repo
– Continue Wordie [pending]

Also, I was working on:

– Start WikiExpert [complete] see repo
– Start PerProm [complete] see repo
– Start RskApi [complete] see repo
– Improve SharpGo [complete] see repo
– Improve Neurum [complete] see repo
– Improve ClojJS [complete] see repo
– Improve SimpleScraper [complete] see repo
– New Sample in SimpleGA [complete] see repo
– Start GenPrj [complete] see repo
– Start RskUtils [complete] see repo
– Start SimpleJsonRpc [complete] see repo
– Start HuskyJS [complete] see repo
– Improve Husky [complete] see repo

My new month’s resolutions:

– Continue RskSharp
– Continue SimpleBlockchain
– Continue BlockchainSharp
– Continue ChineseP
– Continue TensorSharp
– Continue RSharp
– Continue WikiExpert
– Continue SimpleGA
– Continue Neurum
– Continue HuskyJS

Stay tuned!

Angel “Java” Lopez*
http://www.ajlopez.com
http://twitter.com/ajlopez