Rendering HTML in cell output

[lihebi]

The python kernel supports outputing HTML via the IPython.display module:

from IPython.core.display import display, HTML
display(HTML('<h1>Hello, world!</h1>'))

In Julia, one can do the same thing via (from this post):

display("text/html", "<script>alert('hello')</script>")

I see iracket already supported rendering images, but I'm not sure how it is implemented. Maybe expose some API for HTML rendering? My use case is to generate some file links for downloading.

[lihebi]

Here are some snippets that may be related:

iracket/private/jupyter.rkt

Lines 106 to 124 in d2ffb50

	(define mime-type/c
	(or/c 'application/json
	'application/pdf
	'application/xml
	'image/gif
	'image/jpeg
	'image/png
	'image/bmp
	'image/svg+xml
	'image/tiff
	'text/csv
	'text/html
	'text/markdown
	'text/plain
	'text/rtf
	'text/xml
	'video/avi
	'video/mpeg
	'video/mp4))

iracket/private/kernel.rkt

Lines 133 to 135 in d2ffb50

	(define (make-display-html v)
	(define pin (value->special-html-input-port v))
	(cons 'text/html (xexpr->string `(code ,@(port->contents pin)))))

iracket/private/kernel.rkt

Lines 154 to 174 in d2ffb50

	;; value->special-html-input-port : Any -> InputPort
	;; Pretty-prints the value to a pipe and returns the input end. Pretty-printing
	;; produces mostly text, but images (and other convertible things) are embedded
	;; as xexpr specials in the port.
	(define (value->special-html-input-port v)
	(define-values (pin pout) (make-pipe-with-specials))
	(define (size-hook v d? out)
	(cond [(and (convertible? v) (convert v 'png-bytes)) 1]
	[else #f]))
	(define (print-hook v d? out)
	(define png-data (convert v 'png-bytes))
	(define img-src (format "data:image/png;base64,~a" (base64-encode png-data)))
	(define img-style
	"display: inline; vertical-align: baseline; padding: 0pt; margin: 0pt; border: 0pt")
	(write-special `(img ((style ,img-style) (src ,img-src))) out))
	(parameterize ((pretty-print-columns 'infinity)
	(pretty-print-size-hook size-hook)
	(pretty-print-print-hook print-hook))
	(pretty-print v pout))
	(close-output-port pout)
	pin)