Category Archives: Functional Programming

New Month’s Resolutions: February 2019

It’s time to write down my resolutions for the new month. But first, a review of the past month’s ones:

– Continue WorldModel [pending]
– Continue Erlie [complete] see repo
– Continue Walang [complete] see repo
– Continue robotsim [complete] see repo
– Continue Elmie [pending]
– Continue PokerLib [pending]
– Continue SimpleNeuron [pending]
– Continue BlockchainJ [complete] see repo
– Continue Dexert [pending]
– Continue EthBridge [complete] see repo
– Continue SolidityCompiler [pending]
– Continue Idener [complete] see repo
– Record a talk about Smart Contracts programming [pending]
– Write experimental code for RskJ [complete] see repo

Additionally, I was working:

– Start simpledfs [complete] see repo
– Continue HuskyJS [complete] see repo
– Start EthPets [complete] see repo
– Start EthCollectibles [complete] see repo
– Improve ChineseP [complete] see repo
– Publishing PFuns, first version [complete] see repo
– Improving RskAPI [complete] see repo
– Improving SimpleJsonRpc [complete] see repo
– Improving SimpleUnit [complete] see repo

My new month’s resolutions:

– Continue simpledfs
– Continue Erlie
– Continue Walang
– Continue robotsim
– Continue Elmie
– Continue SimpleNeuron
– Continue BlockchainJ
– Continue Dexert
– Continue EthBridge
– Continue Idener
– Record a talk about Smart Contracts programming
– Write experimental code for RskJ

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

 

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