. . . . . . . . . . . "A functional perspective on machine learning via programmable induction and abduction"^^ . . . . . . . . . . "2018-04-24" . . . . . . . . "We present a programming language for machine learning\r\nbased on the concepts of \u2018induction\u2019 and \u2018abduction\u2019 as encountered in\r\nPeirce\u2019s logic of science. We consider the desirable features such a language\r\nmust have, and we identify the \u2018abductive decoupling\u2019 of parameters\r\nas a key general enabler of these features. Both an idealised abductive\r\ncalculus and its implementation as a PPX extension of OCaml are\r\npresented, along with several simple examples."^^ . .