jblueberry87.hashnode.net·Jan 23, 2023Solving system-F application with metavariablesWe've all been there before. You have a function you want to call, and a variable you want to call it with, but you just don't want to manually write instantiations when all the needed info is (probably) there! Warning - This is not particularly read...Discuss·52 readsType Inference
Chetan Mittalchetanmittaldev.hashnode.net·Apr 13, 2023Glad to be using Ruby since 2005I randomly reached OCaml while searching some stuff on Google. I had heard of this software programming language before during my Uni days, however, I never learned and used it. Maybe I picked up a scripting language TCL more quickly than some typed ...Discuss·47 readsRuby
Chetan Mittalchetanmittaldev.hashnode.net·Apr 13, 2023Glad to be using Ruby since 2005I randomly reached OCaml while searching some stuff on Google. I had heard of this software programming language before during my Uni days, however, I never learned and used it. Maybe I picked up a scripting language TCL more quickly than some typed ...Discuss·47 readsRuby
jblueberry87.hashnode.net·Jan 23, 2023Solving system-F application with metavariablesWe've all been there before. You have a function you want to call, and a variable you want to call it with, but you just don't want to manually write instantiations when all the needed info is (probably) there! Warning - This is not particularly read...Discuss·52 readsType Inference
