User contributions
Jump to navigation
Jump to search
- 12:51, 4 May 2022 diff hist +392 User talk:Atravers Initial comments about recent upgrade
- 14:43, 3 May 2022 diff hist +1,868 m Open research problems/The I/O quandary
- 06:08, 3 May 2022 diff hist +203 m Tutorials ...
- 04:04, 3 May 2022 diff hist +94 m Tutorials ...
- 06:47, 29 April 2022 diff hist -1 m Open research problems/The I/O quandary
- 05:27, 28 April 2022 diff hist +54 m Output/Input Reference replaced
- 19:12, 27 April 2022 diff hist +1,010 m Open research problems/The I/O quandary Extra initial quotes
- 19:03, 27 April 2022 diff hist +208 m Open research problems/The I/O quandary Initial quotes reordered
- 04:21, 25 April 2022 diff hist +505 m IO Semantics Extra references added; existing one expanded
- 04:08, 22 April 2022 diff hist +1,351 IO at work Extra section about IO type being abstract
- 06:28, 21 April 2022 diff hist +518 m IO, partible-style Extra reference added
- 09:52, 20 April 2022 diff hist -63 m Open research problems/The I/O quandary Duplicate reference removed
- 22:12, 19 April 2022 diff hist -17 m Open research problems/The I/O quandary Improved organisation of selected content
- 22:00, 19 April 2022 diff hist +35 m Open research problems/The I/O quandary Various changes to selected paragraphs
- 21:38, 19 April 2022 diff hist -733 m Open research problems/The I/O quandary Section "On being denotative" reduced
- 19:31, 19 April 2022 diff hist -506 Open research problems/The I/O quandary Section "On being denotative" updated
- 19:22, 19 April 2022 diff hist +1,118 m Open research problems/The I/O quandary More references added
- 00:04, 12 April 2022 diff hist +1,381 IO, partible-style Sections reorganised; extra content added
- 21:30, 8 April 2022 diff hist +222 m Open research problems/The I/O quandary Minor rewrite to accommodate extra reference
- 22:52, 6 April 2022 diff hist -17 m Avoiding IO Minor grammatical changes current
- 22:37, 6 April 2022 diff hist +114 m Avoiding IO Lost reference restored
- 22:00, 6 April 2022 diff hist -1,320 m Avoiding IO Old name-supply example replaced; "last-resort" section extended with remark about "unsafeInterleaveIO"
- 06:55, 6 April 2022 diff hist +116 m Avoiding IO Lost remark about "unsafeIOtoST" edited and relocated
- 06:46, 6 April 2022 diff hist -34 m Avoiding IO ...
- 06:45, 6 April 2022 diff hist +15 m Avoiding IO Haskell's non-strict semantics mentioned; various other changes
- 06:20, 6 April 2022 diff hist +538 m Avoiding IO Parts of "fine print" transferred from "How to get rid of IO"
- 05:08, 6 April 2022 diff hist -1,076 m How to get rid of IO "Fine print" removed current
- 21:14, 5 April 2022 diff hist +637 m Avoiding IO Added FFI subsection
- 00:43, 5 April 2022 diff hist +838 m Open research problems/The I/O quandary Extra content for section "On being denotative"; other changes
- 04:44, 3 April 2022 diff hist +90 m How to get rid of IO Minor formatting changes; extra reference added
- 16:38, 2 April 2022 diff hist +50 m How to get rid of IO Quote reformatted
- 04:20, 2 April 2022 diff hist +19 m Partibles for composing monads Category "Arrow" added
- 04:18, 2 April 2022 diff hist +571 m Partibles for composing monads New comonad subsection
- 04:12, 2 April 2022 diff hist +125 m Partibles for composing monads Examples simplified
- 12:47, 1 April 2022 diff hist +9 m Open research problems/The I/O quandary
- 12:02, 1 April 2022 diff hist +19 m Monad tutorials timeline
- 00:06, 1 April 2022 diff hist +30 m Output/Input Reference replaced
- 00:05, 1 April 2022 diff hist -7 m IO Semantics Reference replaced
- 06:27, 31 March 2022 diff hist -51 m IO then abstraction
- 06:19, 31 March 2022 diff hist -19 m IO then abstraction Reference replaced
- 06:18, 31 March 2022 diff hist +491 m Open research problems/The I/O quandary Extra reference added
- 12:36, 29 March 2022 diff hist +1,013 m Output/Input ...
- 06:31, 29 March 2022 diff hist +846 m Output/Input More examples added
- 00:38, 29 March 2022 diff hist +508 m Open research problems/The I/O quandary Extra paragraph added
- 21:54, 28 March 2022 diff hist -4 m Open research problems/The I/O quandary Sections swapped
- 12:25, 28 March 2022 diff hist -36 m Open research problems/The I/O quandary Paragraph replaced
- 22:16, 25 March 2022 diff hist -2 m Research papers/Runtime systems
- 12:47, 24 March 2022 diff hist -307 m Open research problems/The I/O quandary Barely-topical references removed
- 12:04, 24 March 2022 diff hist +924 m Output/Input More examples added; minor formatting changes
- 12:02, 24 March 2022 diff hist +3 m Open research problems/The I/O quandary
- 20:02, 21 March 2022 diff hist +42 m Opting for oracles Note regarding Hackett-Hutton paper clarified
- 12:55, 21 March 2022 diff hist -101 m Opting for oracles Note regarding Hackett-Hutton paper rewritten
- 12:55, 21 March 2022 diff hist -135 m Open research problems/The I/O quandary Redundant references removed
- 12:35, 19 March 2022 diff hist +548 m Open research problems/The I/O quandary Extra reference added
- 04:02, 17 March 2022 diff hist +148 m Open research problems/The I/O quandary Extra reference added; various other changes
- 10:19, 16 March 2022 diff hist -2 m Open research problems/The I/O quandary
- 07:57, 16 March 2022 diff hist -87 m Open research problems/The I/O quandary
- 07:05, 16 March 2022 diff hist +22 m Open research problems/The I/O quandary >_< ...too much SO
- 22:12, 15 March 2022 diff hist -1,919 Talk:Open research problems/The I/O quandary Remaining content relocated to "The I/O quandary" current
- 22:11, 15 March 2022 diff hist +2,006 Open research problems/The I/O quandary Extra section added, based on remaining content from "Talk:The I/O quandary"
- 12:37, 15 March 2022 diff hist 0 m Open research problems/The I/O quandary
- 12:31, 15 March 2022 diff hist +1,044 Open research problems/The I/O quandary Extra subsection added, using selected content from "Talk:The I/O quandary"
- 12:31, 15 March 2022 diff hist -3,587 Talk:Open research problems/The I/O quandary Selected content relocated to "The I/O quandary"
- 12:04, 14 March 2022 diff hist -231 Talk:Open research problems/The I/O quandary Selected content relocated to "The I/O quandary"
- 12:03, 14 March 2022 diff hist +2,763 Open research problems/The I/O quandary Extra section added, based on selected content from "Talk:The I/O quandary"; other minor changes
- 22:31, 12 March 2022 diff hist 0 m Talk:Open research problems/The I/O quandary
- 22:17, 12 March 2022 diff hist -1,834 Talk:Open research problems/The I/O quandary Selected content transferred to "Open research problems"
- 22:17, 12 March 2022 diff hist +2,988 Open research problems/The I/O quandary Selected content transferred from "Talk:Open research problems"; various formatting changes; extra reference added
- 23:50, 10 March 2022 diff hist +330 m Unsafe functions Added initial quote
- 23:38, 10 March 2022 diff hist +79 m Tutorials Another external "I/O" reference
- 09:06, 4 March 2022 diff hist +236 m Monad tutorials timeline Another two...
- 08:52, 4 March 2022 diff hist +338 m Output/Input Extra example added
- 04:59, 4 March 2022 diff hist +1 m Open research problems
- 04:55, 4 March 2022 diff hist +491 m Opting for oracles Pertinent quote added
- 07:30, 3 March 2022 diff hist +7,810 N Talk:Open research problems/The I/O quandary Content relocated from "Talk:Open research problems"
- 07:30, 3 March 2022 diff hist -7,571 Talk:Open research problems I/O-related content relocated to "Talk:The I/O quandary" current
- 07:16, 3 March 2022 diff hist +25 m Open research problems/The I/O quandary Redundant reference removed
- 07:08, 3 March 2022 diff hist -1,862 Output/Input Questions relocated to "The I/O quandary"
- 07:06, 3 March 2022 diff hist +1,846 Open research problems/The I/O quandary Questions relocated from "Output/Input"
- 07:02, 3 March 2022 diff hist -10,690 Open research problems Content relocated from "I/O" section to "The_I/O_quandary"
- 06:58, 3 March 2022 diff hist +10,748 N Open research problems/The I/O quandary Content relocated from "I/O" section of "Open research problems"
- 14:34, 2 March 2022 diff hist +372 m Output/Input Extra example added
- 21:16, 28 February 2022 diff hist -4 m Talk:Open research problems Minor changes to FFI-based example
- 09:48, 22 February 2022 diff hist -26 m Opting for oracles Minor changes
- 09:33, 22 February 2022 diff hist -85 m Concurrency with oracles Minor changes
- 09:25, 22 February 2022 diff hist +6 m Avoiding IO Minor changes
- 09:18, 22 February 2022 diff hist -88 m Burton-style nondeterminism Minor changes current
- 07:59, 22 February 2022 diff hist +137 m Referential transparency Reference to Quine's book added
- 07:14, 22 February 2022 diff hist +357 m Referential transparency Article switched over to Strachey's original definition
- 23:48, 17 February 2022 diff hist +143 m Monad tutorials timeline ...
- 08:10, 8 February 2022 diff hist -845 m Opting for oracles Content updated using Augustsson-Rittri-Synek paper
- 07:47, 8 February 2022 diff hist +77 m Plainly partible Content updated using Augustsson-Rittri-Synek paper
- 10:56, 29 January 2022 diff hist +429 m IO then abstraction Another pertinent quote
- 22:43, 28 January 2022 diff hist +66 m Talk:Open research problems
- 22:33, 28 January 2022 diff hist +1,768 m Talk:Open research problems The connection between mathematics, functional languages and the I/O conundrum
- 20:10, 28 January 2022 diff hist +315 m Open research problems Another quote...
- 19:53, 28 January 2022 diff hist +91 m Research papers/Runtime systems Link updated
- 19:33, 28 January 2022 diff hist +143 m User:Atravers Link updated
- 03:25, 28 January 2022 diff hist -1,025 Research papers/Functional pearls Overhaul of presentation - no new content
- 00:06, 28 January 2022 diff hist +112 m Monad tutorials timeline Another one ...
- 01:29, 27 January 2022 diff hist 0 m Monad tutorials timeline
- 17:59, 24 January 2022 diff hist 0 m Plainly partible
- 16:14, 24 January 2022 diff hist +1,470 Research papers/Functional pearls "Offline" section cleared; per-year ordering of "Online" section restored
- 12:36, 14 January 2022 diff hist -25 m Output/Input Unlinked "IO, partible-style"
- 12:35, 14 January 2022 diff hist +80 m IO, partible-style Linked "Output/Input"
- 08:05, 10 January 2022 diff hist +766 m Open research problems Quotes from Reinke's thesis expanded
- 07:48, 10 January 2022 diff hist +1,226 m Open research problems Extra quotes from Claus Reinke's thesis
- 01:08, 10 January 2022 diff hist +294 m Tutorials "Alternate" I/O introduction added
- 05:08, 8 January 2022 diff hist -3 m Output/Input
- 04:58, 8 January 2022 diff hist +9 m IO inside
- 22:55, 7 January 2022 diff hist +397 m Open research problems Another quote...
- 06:35, 5 January 2022 diff hist -29 m Haskell IO for Imperative Programmers
- 05:37, 1 January 2022 diff hist +491 m Top level mutable state Relevant list of SO questions added current
- 05:09, 1 January 2022 diff hist +33 m Top level mutable state Problem solved: read "Purely Functional Global Variables" by Härmel Nestra
- 23:53, 30 December 2021 diff hist +246 m Monad tutorials timeline
- 21:37, 30 December 2021 diff hist -13 m Output/Input
- 21:30, 30 December 2021 diff hist +103 m Output/Input Extra article added
- 02:21, 30 December 2021 diff hist 0 m IO inside Undo revision 64900 by Atravers (talk)
- 00:25, 30 December 2021 diff hist +27 m IO inside More minor changes
- 00:02, 30 December 2021 diff hist +1,523 IO inside Simple-IO section expanded with time subsection
- 13:08, 27 December 2021 diff hist +5 m Open research problems Various formatting changes
- 13:04, 27 December 2021 diff hist +539 m Open research problems
- 01:08, 24 December 2021 diff hist +331 m IO then abstraction Extra quote added
- 11:33, 22 December 2021 diff hist -5 m IO Semantics
- 11:31, 22 December 2021 diff hist +209 m IO Semantics Various changes
- 09:43, 22 December 2021 diff hist +14 m IO Semantics
- 08:36, 22 December 2021 diff hist +298 m Output/Input Extra example added
- 08:25, 22 December 2021 diff hist +1,604 m IO Semantics Extra reading section added
- 07:14, 22 December 2021 diff hist +214 Sandbox Example of unexpected behaviour by using "Excercises" template current
- 07:29, 21 December 2021 diff hist +19 m Output/Input
- 21:32, 18 December 2021 diff hist +17 m Denotative programming timeline
- 21:32, 18 December 2021 diff hist +24 m Denotative
- 21:30, 18 December 2021 diff hist +2,302 N Denotative Initial content
- 21:36, 17 December 2021 diff hist +1,217 m Talk:Open research problems Suggestion extended with Agda-centric quote
- 22:27, 16 December 2021 diff hist 0 m IO inside
- 22:25, 16 December 2021 diff hist +17 m IO inside
- 22:20, 16 December 2021 diff hist +7 m IO inside
- 10:57, 16 December 2021 diff hist +2,906 IO inside Simple-I/O section expanded and rewritten
- 01:00, 16 December 2021 diff hist 0 m IO inside
- 11:52, 15 December 2021 diff hist +376 m QuotesPage Hutton's memorable monad quote added
- 13:05, 14 December 2021 diff hist +337 m Output/Input
- 12:52, 14 December 2021 diff hist +22 m Functional Reactive Programming
- 20:11, 12 December 2021 diff hist +304 m Monad tutorials timeline
- 12:14, 12 December 2021 diff hist +16 m IO inside Minor changes
- 05:27, 12 December 2021 diff hist +247 m Functional Reactive Programming
- 00:36, 12 December 2021 diff hist +103 m Monad tutorials timeline
- 00:17, 12 December 2021 diff hist +356 m Monad tutorials timeline Another one for the collection...
- 02:48, 11 December 2021 diff hist +181 m Functional Reactive Programming Extra blog-article reference
- 02:37, 11 December 2021 diff hist +54 m Denotative programming timeline Extra section added
- 01:55, 9 December 2021 diff hist +948 Talk:Open research problems Acoiding the I/O problem using the FFI
- 12:19, 6 December 2021 diff hist +231 m Output/Input Extra question and answer with reference
- 04:52, 5 December 2021 diff hist +11 m Output/Input Example type corrected >_<
- 20:05, 1 December 2021 diff hist +153 m User talk:Atravers Found list of all wiki pages
- 19:36, 1 December 2021 diff hist +168 m Tutorials Another local reference
- 11:40, 1 December 2021 diff hist +66 m Haskell IO for Imperative Programmers Various formatting changes
- 11:06, 1 December 2021 diff hist +9 m Haskell IO for Imperative Programmers Apostrophes restored
- 10:51, 1 December 2021 diff hist -9 m Haskell IO for Imperative Programmers Preliminary formatting changes
- 20:17, 27 November 2021 diff hist +368 m Output/Input
- 20:00, 27 November 2021 diff hist +285 m Output/Input
- 00:43, 27 November 2021 diff hist +13 m Output/Input Nits picked
- 00:28, 27 November 2021 diff hist -53 m Output/Input
- 10:54, 25 November 2021 diff hist +368 m Output/Input
- 21:49, 24 November 2021 diff hist +24 m Talk:Open research problems
- 21:47, 24 November 2021 diff hist +22 m Monad tutorials timeline
- 21:04, 24 November 2021 diff hist +136 m Monad tutorials timeline Cleanup of "pre-2000" section
- 20:55, 24 November 2021 diff hist +11 m Monad tutorials timeline Archive link for Winstanley's monad tutorial
- 20:27, 24 November 2021 diff hist +374 m Talk:Open research problems Added pertinent quote
- 06:21, 23 November 2021 diff hist +137 m Functional Reactive Programming Expanded examples
- 06:08, 23 November 2021 diff hist +208 m Functional Reactive Programming Expanded introduction to replace comments
- 23:21, 19 November 2021 diff hist +86 m Tutorials New external "I/O" reference
- 00:27, 19 November 2021 diff hist +165 m User:Atravers
- 14:57, 15 November 2021 diff hist +241 m Monad tutorials timeline
- 14:47, 15 November 2021 diff hist +295 m Monad tutorials timeline
- 13:53, 15 November 2021 diff hist +1,669 m Opting for oracles Examples of pseudodata in use added
- 16:49, 13 November 2021 diff hist +14 m Functional Reactive Programming "page 61" Haskell definitions corrected
- 22:48, 12 November 2021 diff hist +1,411 Functional Reactive Programming New history section
- 22:45, 12 November 2021 diff hist -186 m Functional Reactive Programming Redundant link removed >_<
- 22:27, 12 November 2021 diff hist +863 m Functional Reactive Programming Events described, added link to "Fran paper"
- 01:28, 12 November 2021 diff hist +168 m Output/Input Extra example added
- 01:22, 12 November 2021 diff hist +9 m Output/Input
- 01:20, 12 November 2021 diff hist -4 m IO, partible-style
- 01:16, 12 November 2021 diff hist +106 m User:Atravers
- 05:52, 9 November 2021 diff hist +31 m Output/Input
- 05:48, 9 November 2021 diff hist +12 m Disposing of dismissives ...
- 05:32, 9 November 2021 diff hist +2,900 N Disposing of dismissives Initial content
- 12:22, 8 November 2021 diff hist 0 m Output/Input
- 12:10, 8 November 2021 diff hist +393 m Output/Input Another example added
- 12:06, 8 November 2021 diff hist +75 m Output/Input Link to Yamashita's implementation of "OI a" added
- 03:18, 8 November 2021 diff hist -3 m Output/Input
- 21:43, 6 November 2021 diff hist +11 m Output/Input
- 20:29, 6 November 2021 diff hist +1 m Output/Input
- 00:02, 6 November 2021 diff hist +4 m Equational reasoning examples current
- 22:59, 5 November 2021 diff hist +85 m Pure
- 22:51, 5 November 2021 diff hist +454 m Referential transparency Informal definition replaced
- 22:32, 5 November 2021 diff hist +13 m Referential transparency
- 22:05, 5 November 2021 diff hist -452 m Output/Input Redundant Haskell question removed
- 22:00, 5 November 2021 diff hist +71 m FAQ Answer expanded
- 23:27, 4 November 2021 diff hist +81 m Output/Input Extra article added
- 09:00, 3 November 2021 diff hist +703 m Output/Input Another question answered
- 08:56, 3 November 2021 diff hist +72 m Output/Input Answer about Haskell expanded
- 04:56, 3 November 2021 diff hist +1 m Output/Input
- 04:48, 3 November 2021 diff hist +228 m Output/Input Answer about C expanded
- 00:24, 3 November 2021 diff hist +38 m Output/Input Added category
- 00:11, 3 November 2021 diff hist -29 m Output/Input Redundant link removed
- 00:09, 3 November 2021 diff hist +1,058 m Output/Input Various questions and answers added
- 13:52, 2 November 2021 diff hist +6,957 Output/Input New content
- 02:54, 2 November 2021 diff hist +257 m IO then abstraction Extra quote added
- 02:48, 2 November 2021 diff hist -2,044 Output/Input Content relocated to "IO then abstraction"
- 02:45, 2 November 2021 diff hist +2,294 N IO then abstraction Content relocated from "Output/Input"
- 13:36, 1 November 2021 diff hist +108 m IO, partible-style Reference to old Amanda language sources added
- 12:04, 1 November 2021 diff hist +1,255 m Open research problems Extra pertinent quotes added
- 12:03, 1 November 2021 diff hist +34 m UnsafePerformIO current
- 12:03, 1 November 2021 diff hist +224 m Monad tutorials timeline Another one for the collection...
- 12:02, 1 November 2021 diff hist +2,011 Output/Input All-new content and category!
- 11:35, 30 October 2021 diff hist -263 m Open research problems Duplicate link removed
- 11:21, 30 October 2021 diff hist +1 m User:Atravers
- 11:20, 30 October 2021 diff hist +1,640 m Open research problems Added links for I/O, state, and effect-related articles
- 09:59, 29 October 2021 diff hist -20 m IO, partible-style Minor clean-up
- 06:30, 29 October 2021 diff hist -514 IO, partible-style Content expanded and rearranged
- 00:44, 29 October 2021 diff hist +429 m IO, partible-style Extra quote added
- 23:07, 25 October 2021 diff hist +4 m Talk:Open research problems Textual improvements
- 21:54, 25 October 2021 diff hist +228 m Talk:Open research problems Extra paragraph added; spelling corrected;
- 06:36, 22 October 2021 diff hist +3,185 N Talk:Open research problems Left comment about the I/O problem and denotative languages
- 04:25, 22 October 2021 diff hist +4,895 Open research problems I/O problem added
- 04:08, 22 October 2021 diff hist +10 m Tutorials/Programming Haskell/String IO "Camel Book" link replaced current
- 03:18, 22 October 2021 diff hist -21 m Open research problems
- 00:41, 22 October 2021 diff hist -18 m Category:Theoretical foundations current
- 22:47, 21 October 2021 diff hist +123 m Open research problems Content reorganised; changes to formatting
- 21:48, 21 October 2021 diff hist +19 m Tutorials New local reference
- 01:34, 15 October 2021 diff hist +2,778 N Denotative programming timeline Collection of articles related to denotative programming, in the style of "Monad tutorials timeline"
- 14:12, 14 October 2021 diff hist -21 m BayHac2013/Denotative Programming Added link to Landin's paper; attempt to clarify grammar current
- 13:52, 14 October 2021 diff hist +51 m Burton-style nondeterminism Change of formatting
- 14:10, 8 October 2021 diff hist -7 m Plainly partible Description corrected; improved phrasing and punctuation; formatting changes
- 14:10, 8 October 2021 diff hist +13 m Opting for oracles Improved grammar; descriptions clarified
- 10:16, 6 October 2021 diff hist +13 m Talk:Parallelism vs. Concurrency Terminology changed
- 03:36, 5 October 2021 diff hist -77 m Research papers "DoHaskell" link dead
- 03:20, 5 October 2021 diff hist +1 m User:Atravers
- 02:52, 5 October 2021 diff hist +214 m User:Atravers
- 20:56, 4 October 2021 diff hist +16 m Talk:Parallelism vs. Concurrency Minor changes to text
- 13:26, 1 October 2021 diff hist +135 m Pure Extra reference added
- 13:17, 1 October 2021 diff hist +34 m Functional programming/Alternative 1 To be removed... current
- 01:16, 27 September 2021 diff hist -3 m Nitpicks Reference for "do"-notation nitpick added current
- 01:08, 27 September 2021 diff hist +576 Do notation considered harmful New "Alternatives" section; extra suggestion for alternate "do"-notation current
- 02:05, 24 September 2021 diff hist +42 m Tangible Value "Separating IO from logic..." link dead current
- 01:38, 24 September 2021 diff hist +17 m Tutorials Lost reference added >_<
- 04:56, 22 September 2021 diff hist +925 m Tutorials/Programming Haskell/String IO Various formatting and other minor changes
- 08:53, 21 September 2021 diff hist +9 m Monad (sans metaphors) current
- 08:53, 21 September 2021 diff hist +380 m Monad (sans metaphors) Added classic quote by Don Stewart
- 08:38, 21 September 2021 diff hist +585 Monad (sans metaphors) Section for "ST" monadic type added
- 08:11, 21 September 2021 diff hist +400 Monad (sans metaphors) Various formatting and other changes