Idls and Functional Programming

It's fascinating that idls have that foundation that connects so well with the functional programming concepts that we want yeah i think it's mostly just that declarative style of everything when you have this this whatever you are trying to model whether it be apis or something domain specific. The sort of effect of interpreting the protocol can depend on the protocol like on for hp protocols you could interpret to IO because you just you just run that assuming you have some sort of client implementation. So being able to have that separation of of data model versus the effectful pieces is a very valuable thing that you can get to easily from an ideal and maybe scholars.