Open abdulhdr1 opened 1 year ago
learning about hvm and the higher order co
ecosystem kind kindelia hvm
pt-br :brazil: https://www.youtube.com/watch?v=Su6-xTouDGk https://www.youtube.com/watch?v=U-hOgAXTCEc https://www.youtube.com/watch?v=wCS4B1bagu0
en-us :gb: https://news.ycombinator.com/item?id=35336113 https://pauloborba.cin.ufpe.br/publication/2021lazy_clone_-_a_pattern_to_improve_performance_and_maintainability_of_object_cloning/2021-Cartaxo-Lazy%20Clone%20%E2%80%93%20A%20Pattern%20to%20Improve%20Performance%20and%20Maintainability%20of%20Object%20Cloning.pdf https://news.ycombinator.com/item?id=35336113 https://core.ac.uk/download/pdf/81113716.pdf https://functional.works-hub.com/learn/dependent-types-explained-2e233 https://medium.com/@maiavictor/the-abstract-calculus-fe8c46bcf39c https://github.com/VictorTaelin/Interaction-Calculus https://zicklag.github.io/blog/interaction-nets-combinators-calculus/ https://sookocheff.com/post/fp/beta-reduction https://twitter.com/VictorTaelin/status/1588332432587005952 https://github.com/VictorTaelin/abstract-algorithm https://github.com/VictorTaelin/parallel_lambda_computer_tests/tree/master https://www.reddit.com/r/haskell/comments/10cv2to/higher_order_company/ https://www.youtube.com/watch?v=Dp-mQ3HxgDE https://higherorderco.github.io/Software-Foundations-In-Kind/docs/Kind/index.html https://github.com/VictorTaelin/Interaction-Type-Theory https://github.com/HigherOrderCO/HVM/blob/master/guide/HOW.md https://github.com/HigherOrderCO/Kindelia/blob/master/WHITEPAPER.md
learning about hvm and the higher order co
ecosystem kind kindelia hvm
pt-br :brazil: https://www.youtube.com/watch?v=Su6-xTouDGk https://www.youtube.com/watch?v=U-hOgAXTCEc https://www.youtube.com/watch?v=wCS4B1bagu0
en-us :gb: https://news.ycombinator.com/item?id=35336113 https://pauloborba.cin.ufpe.br/publication/2021lazy_clone_-_a_pattern_to_improve_performance_and_maintainability_of_object_cloning/2021-Cartaxo-Lazy%20Clone%20%E2%80%93%20A%20Pattern%20to%20Improve%20Performance%20and%20Maintainability%20of%20Object%20Cloning.pdf https://news.ycombinator.com/item?id=35336113 https://core.ac.uk/download/pdf/81113716.pdf https://functional.works-hub.com/learn/dependent-types-explained-2e233 https://medium.com/@maiavictor/the-abstract-calculus-fe8c46bcf39c https://github.com/VictorTaelin/Interaction-Calculus https://zicklag.github.io/blog/interaction-nets-combinators-calculus/ https://sookocheff.com/post/fp/beta-reduction https://twitter.com/VictorTaelin/status/1588332432587005952 https://github.com/VictorTaelin/abstract-algorithm https://github.com/VictorTaelin/parallel_lambda_computer_tests/tree/master https://www.reddit.com/r/haskell/comments/10cv2to/higher_order_company/ https://www.youtube.com/watch?v=Dp-mQ3HxgDE https://higherorderco.github.io/Software-Foundations-In-Kind/docs/Kind/index.html https://github.com/VictorTaelin/Interaction-Type-Theory https://github.com/HigherOrderCO/HVM/blob/master/guide/HOW.md https://github.com/HigherOrderCO/Kindelia/blob/master/WHITEPAPER.md