René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Documenting how to construct algebraic datatypes from python","articleBody":"For interop, I'm having trouble calling a purescript function from python.  If I have:\r\n\r\n```purescript\r\njust :: Int -\u003e Maybe Int\r\njust = Just\r\n\r\naddMaybe :: Maybe Int -\u003e Maybe Int -\u003e Maybe Int\r\naddMaybe a b = (+) \u003c$\u003e a \u003c*\u003e b\r\n```\r\n\r\nThen this works:\r\n\r\n```python\r\nimport foo.Main.pure as Main\r\nprint(Main.addMaybe(Main.just(1))(Main.just(2)))\r\n```\r\n\r\nThis produces the wrong output (it yields nothing):\r\n\r\n```python\r\nimport foo.Main.pure as Main\r\nimport foo.Data.Maybe.pure as Maybe\r\nJust = Maybe.Just\r\nprint(Main.addMaybe({'value0': 3, '.t': Just})({'value0': 3, '.t': Just}))\r\n```\r\n\r\nand this crashes.\r\n\r\n```python\r\nimport foo.Main.pure as Main\r\nimport foo.Data.Maybe.pure as Maybe\r\nJust = Maybe.Just\r\nprint(Main.addMaybe(Just(1))(Just(2)))\r\n```\r\n\r\nThe first solution is of course fine, but it requires more boilerplate, and I'm assuming it must be possible to use the `Just` constructor or the `Nothing` constructor directly somehow.\r\n\r\nThanks!","author":{"url":"https://github.com/mikesol","@type":"Person","name":"mikesol"},"datePublished":"2020-08-07T06:49:12.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":5},"url":"https://github.com/35/purescript-python/issues/35"}