Category Archives: Functional Programming

New Month’s Resolutions: May 2020

Still in lockdown, here in Buenos Aires. I had lot of job work. Time to write down my new month’s resolutions, but first, review of the previous one’s:

– Continue DeFiProt [complete] see repo
– Continue BlockchainJ [complete] see repo
– Continue RskAPI [complete] see repo
– Continue RLie [pending]
– Continue SimpleDraw [pending]
– Continue SimpleForth [complete] see repo
– Continue SimpleProlog [pending]
– Continue SimpleTensor [pending]
– Continue RustScript [pending]
– Continue genco [pending]
– Learning Elliptic Curves [pending]
– Learning Zero Knowledge Proof [pending]
– Learning Lightning Network [pending]
– Continue drawie [complete] see repo
– Continue solcom [complete] see repo
– Continue simplego [complete] see repo
– Continue RskUtils [complete] see repo
– Continue chinesep [pending]
– Continue OraWay [pending]
– Continue RkModel [pending]
– Start Synthex [complete] see repo
– Start Blomoji [pending]

Also I was working on:

– Continue Yasold [complete] see repo
– Continue evmasm [complete] see repo
– Continue EthBridge [complete] see repo

My new month’s resolutions:

– Continue DeFiProt
– Continue BlockchainJ
– Continue RskAPI
– Continue SimpleForth
– Continue SimpleProlog
– Continue genco
– Learning Elliptic Curves
– Learning Zero Knowledge Proof
– Learning Lightning Network
– Continue drawie
– Continue solcom
– Continue simplego
– Continue RskUtils
– Continue chinesep
– Continue OraWay
– Continue RkModel
– Continue Synthex
– Start Blomoji
– Continue Yasold
– Continue evmasm
– Continue EthBridge

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

 

New Month’s Resolutions: February 2020

The first month of the year passed. Time to write the resolutions for February. First, review the last month’s resolutions:

– Continue JPyScript [pending]
– Continue RLie [pending]
– Continue BelJS [pending]
– Continue BlockchainJ [complete] see repo
– Continue SimpleDraw [complete] see repo
– Start genco [pending]
– Continue Learning Elliptic Curves [complete]
– Continue EthSwap [pending]
– Continue RskAPI [complete] see repo

Additionally I was working on;

– Improve SimpleForth [complete] see repo

My new month’s resolutions:

– Continue RLie
– Continue BelJS
– Continue BlockchainJ
– Continue SimpleDraw
– Continue SimpleForth
– Start genco
– Continue Learning Elliptic Curves
– Continue EthSwap
– Continue RskAPI
– Start MonMark

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

 

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