31:T40a,renderCompilationStatus = (source, warnings, errors) => { const renderedWarnings = warnings && warnings.length >0 ? htl.html`

Compiler warnings

${toColumns(warnings).map(col => htl.html``)} ${toTable(warnings, source).map(row => htl.html` ${Object.values(row).map(cell => htl.html``)} `)}

${col}
${cell}

` : htl.html`No warnings
` const renderedErrors = errors ? htl.html`

Compiler errors

${toColumns(errors).map(col => htl.html``)} ${toTable(errors, source).map(row => htl.html` ${Object.values(row).map(cell => htl.html``)} `)}

${col}
${cell}

` : htl.html`No errors` return htl.html`${renderedWarnings}${renderedErrors}` }32:Tb58,example = `module Main where import Prelude import Data.Array (range, singleton, (..)) import Data.Maybe (Maybe(..), fromMaybe) import Data.Map (Map) import Data.Map as Map import Data.Foldable (fold) import Effect (Effect) import Effect.Console (log) -- Define the lattice structure for topics data Concern = Physical | Emotional | Cognitive | Social derive instance eqConcern :: Eq Concern derive instance showConcern :: Show Concern type Parameters = { p :: Number, q :: Number, m :: Number } type Topic = { name :: String, concern :: Concern, parameters :: Parameters } -- Define a lattice node for the topics type LatticeNode = { topic :: Topic, parents :: Array String } -- Example lattice structure (simplified) topics :: Map String LatticeNode topics = Map.fromFoldable [ Tuple "Fitness Trends" { topic: { name: "Fitness Trends", concern: Physical, parameters: { p: 0.03, q: 0.38, m: 1000 } }, parents: [] }, Tuple "Mental Health Awareness" { topic: { name: "Mental Health Awareness", concern: Emotional, parameters: { p: 0.02, q: 0.50, m: 800 } }, parents: [] }, Tuple "Technology Adoption" { topic: { name: "Technology Adoption", concern: Cognitive, parameters: { p: 0.05, q: 0.30, m: 1200 } }, parents: [] }, Tuple "Social Media Usage" { topic: { name: "Social Media Usage", concern: Social, parameters: { p: 0.04, q: 0.40, m: 1500 } }, parents: [] } ] -- Function to compute the next value in the Bass Diffusion Model bassModel :: Parameters -> Number -> Number -> Number bassModel {p, q, m} y = (p + q * y / m) * (m - y) -- Custom iterate function iterateN :: (a -> a) -> a -> Int -> Array a iterateN f x n = take n $ iterate f x where iterate f x = x : iterate f (f x) -- Generate the diffusion series diffusionSeries :: Parameters -> Int -> Array Number diffusionSeries params t = iterateN (bassModel params) 0 t -- Function to lazily construct DAG from specific root type DAG = Map String (Array String) buildDAG :: Map String LatticeNode -> String -> DAG buildDAG nodes root = go Map.empty (singleton root) where go :: DAG -> Array String -> DAG go dag [] = dag go dag (n:ns) = case Map.lookup n nodes of Nothing -> go dag ns Just node -> let newDag = Map.alter (\\x -> Just $ fromMaybe [] x <> node.parents) n dag in go newDag (ns <> node.parents) -- Function to display the DAG displayDAG :: DAG -> String displayDAG dag = foldMap (\\(Tuple k v) -> k <> " -> " <> show v <> "\\n") (Map.toUnfoldable dag) -- Main function to display results main :: Effect Unit main = do let dag = buildDAG topics "Fitness Trends" log $ displayDAG dag -- Generating diffusion series for demonstration let series = diffusionSeries (fromMaybe { p: 0.0, q: 0.0, m: 0.0 } (Map.lookup "Fitness Trends" topics >>= \\node -> Just node.topic.parameters)) 20 log $ show series `33:Taf4,trypurescript = `module Main where import Prelude import Data.Foldable (fold, foldMap, class Foldable) import Effect (Effect) import Effect.Console (logShow) text :: String -> String text = identity h1 :: String -> String h1 s = "

" <> s <> "

" h2 :: String -> String h2 s = "

" <> s <> "

" p :: String -> String p s = "

" <> s <> "

" ul :: String -> String ul s = "

" <> s <> "" li :: String -> String li s = "

" <> s <> "

" list :: forall f. Foldable f => f String -> String list = ul <<< foldMap (li) indent :: String -> String indent s = "

" <> s <> "

" code :: String -> String code s = "" <> s <> "" link :: String -> String -> String link url html = " url <> "\\" target=\\"_top\\">" <> html <> "" render :: String render = fold [ h1 (text "Try PureScript!") , p (text "Try out the examples below, or create your own!") , h2 (text "Examples") , list (map fromExample examples) , h2 (text "Share Your Code") , p (text "The contents of the text editor are stored in the URL. To share your code you can simply copy the URL.") , p (text "Additionally, a PureScript file can be loaded from GitHub from a gist or a repository. To share code using a gist, include the gist ID in the URL as follows:") , indent (p (code (text " try.purescript.org?gist="))) , p (fold [ text "The gist should contain PureScript module named " , code (text "Main") , text " in a file named " , code (text "Main.purs") , text " containing your PureScript code." ]) , p (text "To share code from a repository, include the path to the source file as follows:") , indent (p (code (text " try.purescript.org?github=////.purs"))) , p (fold [ text "The file should be a PureScript module named " , code (text "Main") , text " containing your PureScript code." ]) ] where fromExample { title, source } = link ("https://github.com/purescript/trypurescript/master/client/examples/" <> source) (text title) examples = [ { title: "Algebraic Data Types" , source: "ADTs.purs" } , { title: "Loops" , source: "Loops.purs" } , { title: "Operators" , source: "Operators.purs" } , { title: "Records" , source: "Records.purs" } , { title: "Recursion" , source: "Recursion.purs" } , { title: "Do Notation" , source: "DoNotation.purs" } , { title: "Type Classes" , source: "TypeClasses.purs" } , { title: "Generic Programming" , source: "Generic.purs" } , { title: "QuickCheck" , source: "QuickCheck.purs" } ] `34:[{"id":"6f40deb936bd75eae42893d683764ccb88a71c9bcc3e15c785b56a0afdfce87b9cd53e67885a65b409a003015d21dcd239bad13d3a8511f551e35de51ea399bb","href":"https://static.observableusercontent.com/files/6f40deb936bd75eae42893d683764ccb88a71c9bcc3e15c785b56a0afdfce87b9cd53e67885a65b409a003015d21dcd239bad13d3a8511f551e35de51ea399bb","name":"image.png","type":"image/png","lastModified":1702571906655.443,"size":14317}] 2f:{"title":"Topic Diffusion modeling","cells":[{"id":0,"value":"# Topic Diffusion modeling\n\nSee [Todo section](#cell-155) for some next steps ideas, and [Internals](#cell-91) for details on how this works. ","pinned":false,"hidden":false,"mode":"md"},{"id":85,"value":"## Source code","pinned":false,"hidden":false,"mode":"md"},{"id":436,"value":"Inputs.button([\n [\"Simple example\", () => set(viewof source, example)],\n [\"Try Purescript\", () => set(viewof source, trypurescript)],\n [\"Reset\", () => set(viewof source, 'module Main where\\n')]\n])","pinned":false,"hidden":false,"mode":"ojs"},{"id":7,"value":"viewof editor = PurescriptEditor('', \n // [myDefaultTheme]\n)\n// codeJar\n// viewof editor = Editor({ \n// language: 'haskell',\n// debounced: 2000\n// })\n// viewof source = Inputs.textarea()","pinned":false,"hidden":false,"mode":"ojs"},{"id":801,"value":"Inputs.button([\n [\"Compile\", () => viewof editor.dispatchEvent(new Event('input', {bubbles: true}))],\n])","pinned":false,"hidden":false,"mode":"ojs"},{"id":647,"value":"||\n| --- |--- | --- |\n|Compilation status|","pinned":false,"hidden":false,"mode":"md"},{"id":842,"value":"$${renderCompilationStatus(source, warnings, errors)}","pinned":false,"hidden":false,"mode":"html"},{"id":566,"value":"||\n| --- |--- | --- |\n|Displaying the `render` value as html|","pinned":false,"hidden":false,"mode":"md"},{"id":504,"value":"html = unsafe_html`${module.render}`","pinned":false,"hidden":false,"mode":"ojs"},{"id":684,"value":"||\n| --- |--- | --- |\n|Output `val`|","pinned":false,"hidden":false,"mode":"md"},{"id":685,"value":"module.val","pinned":true,"hidden":false,"mode":"ojs"},{"id":686,"value":"||\n| --- |--- | --- |\n|Run the `greet` function|","pinned":false,"hidden":false,"mode":"md"},{"id":687,"value":"module.greet(\"me\")","pinned":true,"hidden":false,"mode":"ojs"},{"id":690,"value":"||\n| --- |--- | --- |\n|Run `main`, a console effect, check your devtools.|","pinned":false,"hidden":false,"mode":"md"},{"id":689,"value":"module.main()","pinned":true,"hidden":false,"mode":"ojs"},{"id":155,"value":"mdPlus`## Todo\n\nReach out on the [purescript discord](https://purescript.org/chat) if you have ideas or want to help!\n\n- [x] Improve warnings and errors rendering\n- [x] Added a version of the original try purescript code sample.\n- [x] Make this notebook into a nicely importable notebook. https://observablehq.com/@jmatsushita/purescript\n- [x] Add syntax highlighting (used haskell)\n- [ ] Display error message locations better (inline ideally)\n- [ ] How would multiple modules work?\n- [ ] Display spinner while compiling`","pinned":false,"hidden":false,"mode":"ojs"},{"id":91,"value":"## Internals\n","pinned":false,"hidden":false,"mode":"md"},{"id":364,"value":"### Import the module\n","pinned":false,"hidden":false,"mode":"md"},{"id":618,"value":"ps = await Purescript(source)","pinned":true,"hidden":false,"mode":"ojs"},{"id":621,"value":"// module = ps.module\nmodule = (await Purescript(source)).module","pinned":true,"hidden":false,"mode":"ojs"},{"id":623,"value":"errors = ps.errors","pinned":true,"hidden":false,"mode":"ojs"},{"id":635,"value":"warnings = ps.warnings","pinned":true,"hidden":false,"mode":"ojs"},{"id":274,"value":"$31","pinned":true,"hidden":false,"mode":"ojs"},{"id":571,"value":"import { Purescript } from '@jmatsushita/purescript'","pinned":true,"hidden":false,"mode":"ojs"},{"id":576,"value":"Purescript","pinned":true,"hidden":false,"mode":"ojs"},{"id":168,"value":"And there we have it. A compiled module that's accessible from the notebook 🎉","pinned":false,"hidden":false,"mode":"md"},{"id":366,"value":"### Use an embedded code editor with Haskell syntax highlighting","pinned":false,"hidden":false,"mode":"md"},{"id":192,"value":"Reuse https://observablehq.com/@cmudig/editor, an inline code editor with syntax highlighting","pinned":false,"hidden":false,"mode":"md"},{"id":176,"value":"// import {Editor} from '@jmatsushita/editor'\nimport {CodeMirror, myDefaultTheme} from '@jmatsushita/codemirror'","pinned":false,"hidden":false,"mode":"ojs"},{"id":824,"value":"PurescriptEditor = async (doc = '', extensions = []) => {\n const {StreamLanguage} = await import(`https://jspm.dev/@codemirror/language@6.9.3`)\n const { haskell } = await import(`https://jspm.dev/@codemirror/legacy-modes/mode/haskell`);\n return CodeMirror(doc, {\n extensions: [myDefaultTheme, StreamLanguage.define(haskell), ...extensions]\n });\n}","pinned":true,"hidden":false,"mode":"ojs"},{"id":457,"value":"### Support persistence in local storage","pinned":false,"hidden":false,"mode":"md"},{"id":379,"value":"import {localStorageView} from '@tomlarkworthy/local-storage-view'","pinned":true,"hidden":false,"mode":"ojs"},{"id":462,"value":"If the local storage key doesn't exist, use this example as a default value.","pinned":false,"hidden":false,"mode":"md"},{"id":406,"value":"$32","pinned":false,"hidden":false,"mode":"ojs"},{"id":526,"value":"$33","pinned":false,"hidden":false,"mode":"ojs"},{"id":445,"value":"viewof source = localStorageView(\"sourceDiffTopic\", { defaultValue: example })","pinned":true,"hidden":false,"mode":"ojs"},{"id":717,"value":"// creating a fake source to subscribe from, together with a bound localStorageView didn't work.\n// Uncaught TypeError: e.closest is not a function\n// at inputs.min.js:40:1444\n// viewof source = Inputs.input()\n// viewof sourceStorage = localStorageView(\"sourceStorage\")\n// Inputs.bind(viewof source, viewof sourceStorage)\n// See reproducer here https://observablehq.com/d/f7e7508476855e8b#cell-264","pinned":true,"hidden":false,"mode":"ojs"},{"id":726,"value":"Inputs.bind(viewof editor, viewof source)","pinned":true,"hidden":false,"mode":"ojs"},{"id":382,"value":"// Note you need to get these the right way round to have the page load work correctly\n// Inputs.bind(viewof source, viewof sourceStorage)","pinned":true,"hidden":false,"mode":"ojs"},{"id":438,"value":"// set helper\nfunction set(input, value) {\n input.value = value;\n input.dispatchEvent(new Event(\"input\", {bubbles: true}));\n}","pinned":true,"hidden":false,"mode":"ojs"},{"id":371,"value":"### Make warnings and errors readable\n\nUse a bunch of utility functions to render the warnings and errors in an html table (using the built-in `Inputs.table` didn't seem to allow multiline cells)","pinned":false,"hidden":false,"mode":"md"},{"id":195,"value":"toTable = (array, source) => array ? array.map(row => objectFilter(objectMap(row, toReadableRow(source)), hideColumns)) : []","pinned":true,"hidden":false,"mode":"ojs"},{"id":290,"value":"hideColumns = k => k !== \"allSpans\" && k !== \"moduleName\" && k !== \"filename\" && k !== \"errorLink\"","pinned":true,"hidden":false,"mode":"ojs"},{"id":205,"value":"toColumns = array => array && array[0] ? Object.keys(array[0]).filter(hideColumns) : []","pinned":true,"hidden":false,"mode":"ojs"},{"id":237,"value":"toReadableRow = source => (v,k) => {\n switch(k) {\n case \"allSpans\": \n return JSON.stringify(v)\n\n case \"position\":\n // console.log(source.split(\"\\n\"))\n // console.log(source.split(\"\\n\").slice(v.startLine - 1, v.endLine))\n return source.split(\"\\n\").slice(v.startLine - 1, v.endLine).join(\"\\n\")\n \n default:\n return v;\n }\n}","pinned":true,"hidden":false,"mode":"ojs"},{"id":221,"value":"toTable(warnings, source)","pinned":true,"hidden":false,"mode":"ojs"},{"id":210,"value":"toColumns(warnings)","pinned":true,"hidden":false,"mode":"ojs"},{"id":200,"value":"warnings","pinned":true,"hidden":false,"mode":"ojs"},{"id":263,"value":"errors.contents","pinned":true,"hidden":false,"mode":"ojs"},{"id":285,"value":"toColumns(errors.contents)","pinned":true,"hidden":false,"mode":"ojs"},{"id":287,"value":"toTable(errors.contents, source)","pinned":true,"hidden":false,"mode":"ojs"},{"id":231,"value":"objectMap = (obj, fn) =>\n Object.fromEntries(\n Object.entries(obj).map(\n ([k, v], i) => [k, fn(v, k, i)]\n )\n )\n ","pinned":false,"hidden":false,"mode":"ojs"},{"id":295,"value":"objectFilter = (obj, fn) => Object.fromEntries(Object.entries(obj).\n filter(([key, val]) => fn(key)));","pinned":false,"hidden":false,"mode":"ojs"},{"id":667,"value":"import {mdPlus} from \"@tmcw/bonus-markdown-flavor\"","pinned":false,"hidden":false,"mode":"ojs"},{"id":521,"value":"function unsafe_html() {\n const span = document.createElement(\"span\");\n span.innerHTML = String.raw.apply(this, arguments);\n return span;\n}","pinned":true,"hidden":false,"mode":"ojs"}],"files":"$W34","stdlib":"1","titling":"auto"}