Ephox engineer Dylan Just continues his “Talks We Love” series on the blog discussing influential lectures in the world of Functional Programming. In this post, he highlights talks that explore the relationship between Logic and Type Theory.
The techniques and philosophies behind Functional Programming are considered the “bread-and-butter” within the Ephox Engineering team. Developer Dylan Just continues his two-part series on sharing the influential talks in FP that have been critical to the team’s success. In this post, he dives into the mathematical theory that underlies a lot of the core concepts functional programming, Category Theory.
Full text search and text replace are killer new features of WebRadar 5. In previous posts, we’ve discussed what these features are and what they can do to solve everyday problems. I thought we might take a dive under the hood to see what makes this functionality tick. I’ll discuss the “search” and “replace” features separately, as they present separate technical challenges.